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. Springer 2005 Lecture Notes in Computer Science 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
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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team