default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. FASE 2005: Edinburgh, UK (Part of ETAPS 2005)
- Maura Cerioli:
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 H. 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é Miguel 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-12 23:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
