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 BibTeX
@proceedings{DBLP:conf/fase/1999,
editor = {Jean-Pierre Finance},
title = {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},
booktitle = {FASE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1577},
year = {1999},
isbn = {3-540-65718-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Tutorial
Invited Paper
- Herbert Weber:
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract).
22-29 BibTeX
Contributed Papers
- Davide Ancona, Maura Cerioli, Elena Zucca:
A Formal Framework with Late Binding.
30-44 BibTeX
- Candida Attanasio, Flavio Corradini, Paola Inverardi:
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
45-59 BibTeX
- Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi.
60-76 BibTeX
- Eva Coscia, Gianna Reggio:
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.
77-97 BibTeX
- Wan Fokkink, Chris Verhoef:
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.
98-113 BibTeX
- Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
Dynamic Systems with Implicit State.
114-128 BibTeX
- Kevin Lano, Andy Evans:
Rigorous Development in UML.
129-144 BibTeX
- Antónia Lopes, José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures.
144-160 BibTeX
- Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach.
161-175 BibTeX
- V. A. Nepomniaschy:
Verification of Definite Iteration over Hierarchical Data Structures.
176-187 BibTeX
- Tobias Nipkow, Leonor Prensa Nieto:
Owicki/Gries in Isabelle/HOL.
188-203 BibTeX
- Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract).
204-218 BibTeX
- Josef Tapken:
Implementing Hierarchical Graph-Structures.
219-233 BibTeX
Demos
Copyright © Sat May 16 23:11:47 2009
by Michael Ley (ley@uni-trier.de)
