5. FASE 2002:
Grenoble,
France (Part of ETAPS 2002)
Ralf-Detlef Kutsche, Herbert Weber (Eds.):
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
Lecture Notes in Computer Science 2306 Springer 2002, ISBN 3-540-43353-8 BibTeX
@proceedings{DBLP:conf/fase/2002,
editor = {Ralf-Detlef Kutsche and
Herbert Weber},
title = {Fundamental Approaches to Software Engineering, 5th International
Conference, FASE 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
booktitle = {FASE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2306},
year = {2002},
isbn = {3-540-43353-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Formal Frameworks
Model and Program Analysis
Architecture Descriptions
Meta-Models
Formal Approaches towards UML
Requirements Engineering
- Reiner Hähnle, Kristofer Johannisson, Aarne Ranta:
An Authoring Tool for Informal and Formal Requirements Specifications.
233-248
Electronic Edition (Springer LINK) BibTeX
- Felix Bübl:
Introducing Context-Based Constraints.
249-263
Electronic Edition (Springer LINK) BibTeX
- Andreas Nonnengart, Georg Rock, Werner Stephan:
Formal Requirements Engineering Using Observer Models.
264-278
Electronic Edition (Springer LINK) BibTeX
- Oscar López, Miguel A. Laguna, Francisco José García Peñalvo:
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach.
279-293
Electronic Edition (Springer LINK) BibTeX
- Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini:
Meta-modeling Techniques Meet Web Application Design Tools.
294-307
Electronic Edition (Springer LINK) BibTeX
- Antonio Navarro, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, José Luis Sierra:
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications.
308-322
Electronic Edition (Springer LINK) BibTeX
Tool Demonstration
- João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro:
The Coordination Development Environment.
323-326
Electronic Edition (Springer LINK) BibTeX
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods.
327-330
Electronic Edition (Springer LINK) BibTeX
- Fei Xie, Vladimir Levin, James C. Browne:
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.
331-335
Electronic Edition (Springer LINK) BibTeX
- Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
336-340
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:11:48 2009
by Michael Ley (ley@uni-trier.de)