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

Invited Contributions

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

Web Services

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

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
Gabriele Taentzer, Arend Rensink:
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. 64-79
Ralf Reussner, Jens Happe, Annegret Habel:
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. 80-95

Components

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

Product Lines

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

Theory

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

Code Understanding and Validation

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

The UML

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

Automatic Proofs and Provers

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