1. FASE 1998:
Lisbon,
Portugal (Part of ETAPS 1998)
Egidio Astesiano (Ed.):
Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.
Lecture Notes in Computer Science 1382 Springer 1998, ISBN 3-540-64303-6 BibTeX
@proceedings{DBLP:conf/fase/1998,
editor = {Egidio Astesiano},
title = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
booktitle = {FASE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1382},
year = {1998},
isbn = {3-540-64303-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Contributed Papers
- Robert Allen, Rémi Douence, David Garlan:
Specifying and Analyzing Dynamic Software Architectures.
21-37
Electronic Edition (Springer LINK) BibTeX
- Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
Observational Proofs with Critical Contexts.
38-53
Electronic Edition (Springer LINK) BibTeX
- Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Integrating AORTA with Model-Based Data Specification Languages.
54-70
Electronic Edition (Springer LINK) BibTeX
- Robert Büssow, Robert Geisler, Marcus Klar:
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.
71-87
Electronic Edition (Springer LINK) BibTeX
- Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.
88-106
Electronic Edition (Springer LINK) BibTeX
- Martin Große-Rhode:
Algebra Transformation Systems and their Composition.
107-122
Electronic Edition (Springer LINK) BibTeX
- Ali Hamie, John Howse, Stuart Kent:
Navigation Expresion in Object-Oriented Modelling.
123-137
Electronic Edition (Springer LINK) BibTeX
- Reiko Heckel:
Compositional Verification of Reactive Systems Specified by Graph Transformation.
138-153
Electronic Edition (Springer LINK) BibTeX
- Stefan Kahrs, Donald Sannella:
Reflections on the Design of a Specification language.
154-170
Electronic Edition (Springer LINK) BibTeX
- Ulrike Lechner:
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.
171-187
Electronic Edition (Springer LINK) BibTeX
- Tiziana Margaria, Bernhard Steffen:
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.
188-204
Electronic Edition (Springer LINK) BibTeX
- Alexandre Mota, Augusto Sampaio:
Model-Checking CSP-Z.
205-220
Electronic Edition (Springer LINK) BibTeX
- Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties.
221-238
Electronic Edition (Springer LINK) BibTeX
- Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed:
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.
239-254
Electronic Edition (Springer LINK) BibTeX
- Hanne Riis Nielson, Torben Amtoft, Flemming Nielson:
Behaviour Analysis and Safety Conditions: A Case Study in CML.
255-269
Electronic Edition (Springer LINK) BibTeX
- Anders Sandholm, Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services.
270-284
Electronic Edition (Springer LINK) BibTeX
- Peter Scholz:
A Refinement Calculus for Statecharts.
285-301
Electronic Edition (Springer LINK) BibTeX
Demos
Copyright © Sat May 16 23:11:47 2009
by Michael Ley (ley@uni-trier.de)
