11. FASE 2008: Budapest, Hungary (Part of ETAPS 2008)

José Luiz Fiadeiro, Paola Inverardi (Eds.): Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4961 Springer 2008, ISBN 978-3-540-78742-6 BibTeX

Requirements and Architectures

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel:
Deriving Non-zeno Behavior Models from Goal Models Using ILP. 1-15
Electronic Edition (link) BibTeX
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. 16-30
Electronic Edition (link) BibTeX
Mikolás Janota, Goetz Botterweck:
Formal Approach to Integrating Feature and Architecture Models. 31-45
Electronic Edition (link) BibTeX

Models, Model Transformations I

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling:
Correctness-Preserving Configuration of Business Process Models. 46-61
Electronic Edition (link) BibTeX
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages. 62-76
Electronic Edition (link) BibTeX
Juan de Lara, Hans Vangheluwe:
Translating Model Simulators to Analysis Models. 77-92
Electronic Edition (link) BibTeX

Conceptual Models, UML

Colin Atkinson, Dietmar Stoll:
Orthographic Modeling Environment. 93-96
Electronic Edition (link) BibTeX
Achim D. Brucker, Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL. 97-100
Electronic Edition (link) BibTeX
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Towards Faithful Model Extraction Based on Contexts. 101-115
Electronic Edition (link) BibTeX
François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard:
Leveraging Patterns on Domain Models to Improve UML Profile Definition. 116-130
Electronic Edition (link) BibTeX

Service Engineering/Adaptable Services

Juliana Küster Filipe Bowles, Sotiris Moschoyiannis:
When Things Go Wrong: Interrupting Conversations. 131-145
Electronic Edition (link) BibTeX
Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar:
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. 146-162
Electronic Edition (link) BibTeX
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec:
Engineering Service Oriented Applications: From StPowla Processes to SRML Models. 163-178
Electronic Edition (link) BibTeX

Verification and Testing I

Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
A Logic of Graph Constraints. 179-198
Electronic Edition (link) BibTeX
Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. 199-214
Electronic Edition (link) BibTeX
Gabriel Ciobanu, Maciej Koutny:
Modelling and Verification of Timed Interaction and Migration. 215-229
Electronic Edition (link) BibTeX
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. 230-245
Electronic Edition (link) BibTeX

Verification and Testing II

Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
Contextual Integration Testing of Classes. 246-260
Electronic Edition (link) BibTeX
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte:
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. 261-275
Electronic Edition (link) BibTeX
Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien:
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms. 276-291
Electronic Edition (link) BibTeX
Jan Jürjens, Jörg Schreck, Yijun Yu:
Automated Analysis of Permission-Based Security Using UMLsec. 292-295
Electronic Edition (link) BibTeX

Objects and Components

Radu Kopetz, Pierre-Etienne Moreau:
Software Quality Improvement Via Pattern Matching. 296-300
Electronic Edition (link) BibTeX
Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz:
Object Composition in Scenario-Based Programming. 301-316
Electronic Edition (link) BibTeX
Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests. 317-331
Electronic Edition (link) BibTeX
Subhajit Datta, Robert van Engelen:
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. 332-346
Electronic Edition (link) BibTeX

Models, Model Transformations II

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. 347-361
Electronic Edition (link) BibTeX
Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Model-Driven Program Refactoring. 362-376
Electronic Edition (link) BibTeX
Artur Boronat, José Meseguer:
An Algebraic Semantics for MOF. 377-391
Electronic Edition (link) BibTeX
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. 392-406
Electronic Edition (link) BibTeX
Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft:
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. 407-422
Electronic Edition (link) BibTeX
Javier Cámara, Gwen Salaün, Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper). 423-427
Electronic Edition (link) BibTeX