8. FASE 2005: Edinburgh, UK (Part of ETAPS 2005)

Maura Cerioli (Ed.): Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3442 Springer 2005, ISBN 3-540-25420-X BibTeX

Invited Contributions

Gérard Berry:
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. 1
Electronic Edition (link) BibTeX
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Checking Memory Safety with Blast. 2-18
Electronic Edition (link) BibTeX

Web Services

Axel Martens:
Analyzing Web Service Based Business Processes. 19-33
Electronic Edition (link) BibTeX
Reiko Heckel, Leonardo Mariani:
Automatic Conformance Testing of Web Services. 34-48
Electronic Edition (link) BibTeX

Graph Grammars and Graph Transformations

Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation. 49-63
Electronic Edition (link) BibTeX
Gabriele Taentzer, Arend Rensink:
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. 64-79
Electronic Edition (link) BibTeX
Ralf Reussner, Jens Happe, Annegret Habel:
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. 80-95
Electronic Edition (link) BibTeX

Components

Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos:
Improving the Build Architecture of Legacy C/C++ Software Systems. 96-110
Electronic Edition (link) BibTeX
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel:
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. 111-126
Electronic Edition (link) BibTeX
Andreas Leicher, Jörn Guy Süß:
Augmenting UML Models for Composition Conflict Analysis. 127-140
Electronic Edition (link) BibTeX
Soo Ho Chang, Man Jib Han, Soo Dong Kim:
A Tool to Automate Component Clustering and Identification. 141-144
Electronic Edition (link) BibTeX

Product Lines

Imed Hammouda, Juha Hautamäki, Mika Pussinen, Kai Koskimies:
Managing Variability Using Heterogeneous Feature Variation Patterns. 145-159
Electronic Edition (link) BibTeX
Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. 160-174
Electronic Edition (link) BibTeX

Theory

Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference. 175-189
Electronic Edition (link) BibTeX
David A. Naumann:
Observational Purity and Encapsulation. 190-204
Electronic Edition (link) BibTeX
José M. Cañete, Francisco José Galán Morillo:
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. 205-219
Electronic Edition (link) BibTeX

Code Understanding and Validation

Marsha Chechik, Arie Gurfinkel:
A Framework for Counterexample Generation and Exploration. 220-236
Electronic Edition (link) BibTeX
Michael Eichberg, Thorsten Schäfer, Mira Mezini:
Using Annotations to Check Structural Properties of Classes. 237-252
Electronic Edition (link) BibTeX
Vladimir Jakobac, Alexander Egyed, Nenad Medvidovic:
Improving System Understanding via Interactive, Tailorable, Source Code Analysis. 253-268
Electronic Edition (link) BibTeX
Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff:
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. 269-272
Electronic Edition (link) BibTeX

The UML

Arjan J. Mooij, Nicolae Goga, Judi Romijn:
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. 273-288
Electronic Edition (link) BibTeX
Atanas Rountev, Scott Kagan, Jason Sawin:
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. 289-304
Electronic Edition (link) BibTeX
Jan Jürjens, Pasha Shabalin:
Tools for Secure Systems Development with UML: Security Analysis with ATPs. 305-309
Electronic Edition (link) BibTeX
Alexander Egyed, Wuwei Shen, Kun Wang:
Maintaining Life Perspectives During the Refinement of UML Class Structures. 310-325
Electronic Edition (link) BibTeX

Automatic Proofs and Provers

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems. 326-340
Electronic Edition (link) BibTeX
Daniel Hausmann, Till Mossakowski, Lutz Schröder:
Iterative Circular Coinduction for CoCasl in Isabelle/HOL. 341-356
Electronic Edition (link) BibTeX
Wojciech Mostowski:
Formalisation and Verification of Java Card Security Properties in Dynamic Logic. 357-371
Electronic Edition (link) BibTeX