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 
Invited Papers
- Kent Beck:
Extreme Programming: A Humanistic Discipline of Software Development.
1-6
- Cliff B. Jones:
Some Mistakes I Have and What I Have Learned from Them.
7-20
Contributed Papers
- Robert Allen, Rémi Douence, David Garlan:
Specifying and Analyzing Dynamic Software Architectures.
21-37
- Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
Observational Proofs with Critical Contexts.
38-53
- Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Integrating AORTA with Model-Based Data Specification Languages.
54-70
- Robert Büssow, Robert Geisler, Marcus Klar:
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.
71-87
- Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.
88-106
- Martin Große-Rhode:
Algebra Transformation Systems and their Composition.
107-122
- Ali Hamie, John Howse, Stuart Kent:
Navigation Expresion in Object-Oriented Modelling.
123-137
- Reiko Heckel:
Compositional Verification of Reactive Systems Specified by Graph Transformation.
138-153
- Stefan Kahrs, Donald Sannella:
Reflections on the Design of a Specification language.
154-170
- Ulrike Lechner:
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.
171-187
- Tiziana Margaria, Bernhard Steffen:
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.
188-204
- Alexandre Mota, Augusto Sampaio:
Model-Checking CSP-Z.
205-220
- Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties.
221-238
- 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
- Hanne Riis Nielson, Torben Amtoft, Flemming Nielson:
Behaviour Analysis and Safety Conditions: A Case Study in CML.
255-269
- Anders Sandholm, Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services.
270-284
- Peter Scholz:
A Refinement Calculus for Statecharts.
285-301
Demos
Last update Sat May 25 02:52:44 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
