2. FASE 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

Jean-Pierre Finance (Ed.): Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1577 Springer 1999, ISBN 3-540-65718-5

Invited Tutorial

Arie van Deursen, Paul Klint, Chris Verhoef:
Research Issues in the Renovation of Legacy Systems. 1-21

Invited Paper

Herbert Weber:
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). 22-29

Contributed Papers

Davide Ancona, Maura Cerioli, Elena Zucca:
A Formal Framework with Late Binding. 30-44
Candida Attanasio, Flavio Corradini, Paola Inverardi:
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. 45-59
Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi. 60-76
Eva Coscia, Gianna Reggio:
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. 77-97
Wan Fokkink, Chris Verhoef:
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. 98-113
Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
Dynamic Systems with Implicit State. 114-128
Kevin Lano, Andy Evans: Rigorous Development in UML. 129-144
Antónia Lopes, José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures. 144-160
Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland: On the Evolution of Reactive Components: A Process-Algebraic Approach. 161-175
V. A. Nepomniaschy:
Verification of Definite Iteration over Hierarchical Data Structures. 176-187
Tobias Nipkow, Leonor Prensa Nieto:
Owicki/Gries in Isabelle/HOL. 188-203
Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract). 204-218
Josef Tapken:
Implementing Hierarchical Graph-Structures. 219-233

Demos

Lynne Blair, Trevor Jones, Gordon S. Blair:
A Tool Suite for Multi-paradigm Specification. 234-238
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. 239-243

Last update Sun May 19 22:14:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page