9. FASE 2006: Vienna, Austria (Part of ETAPS 2006)

Luciano Baresi, Reiko Heckel (Eds.): Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922 Springer 2006, ISBN 3-540-33093-3 BibTeX

Invited Contributions

Francisco Curbera:
A Programming Model for Service Oriented Applications. 1
Electronic Edition (link) BibTeX
Carlo Ghezzi:
Software Engineering: Emerging Goals and Lasting Problems. 2
Electronic Edition (link) BibTeX

Distributed Systems

Dominic Cooney, Marlon Dumas, Paul Roe:
GPSL: A Programming Language for Service Implementation. 3-17
Electronic Edition (link) BibTeX
José Luiz Fiadeiro, Antónia Lopes:
A Formal Approach to Event-Based Architectures. 18-32
Electronic Edition (link) BibTeX
Manuel Koch, Karl Pauls:
Engineering Self-protection for Autonomous Systems. 33-47
Electronic Edition (link) BibTeX

Orthogonal Process Activities

Gabriele Taentzer, Giovanni Toffetti Carughi:
A Graph-Based Approach to Transform XML Documents. 48-62
Electronic Edition (link) BibTeX
Jason Hickey, Aleksey Nogin:
: Designing a Scalable Build Process. 63-78
Electronic Edition (link) BibTeX
Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa:
Automatic Generation of Tutorial Systems from Development Specification. 79-92
Electronic Edition (link) BibTeX
Dwayne Towell, Jason Denton:
A Software Implementation Progress Model. 93-106
Electronic Edition (link) BibTeX

Behavioral Models and State Machines

Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines with Parameters. 107-121
Electronic Edition (link) BibTeX
Benet Devereux, Marsha Chechik:
Automated Support for Building Behavioral Models of Event-Driven Systems. 122-138
Electronic Edition (link) BibTeX
Nigamanth Sridhar, Jason O. Hallstrom:
A Behavioral Model for Software Containers. 139-154
Electronic Edition (link) BibTeX

Empirical Studies

Daniela E. Damian, Filippo Lanubile, Teresa Mallardo:
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings. 155-169
Electronic Edition (link) BibTeX
Krzysztof Sacha:
Evaluation of Expected Software Quality: A Customer's Viewpoint. 170-183
Electronic Edition (link) BibTeX
Robby, Scott A. DeLoach, Valeriy A. Kolesnikov:
Using Design Metrics for Predicting System Flexibility. 184-198
Electronic Edition (link) BibTeX

Requirements and Design

Luigi Lavazza, Vieri Del Bianco:
Combining Problem Frames and UML in the Description of Software Requirements. 199-213
Electronic Edition (link) BibTeX
Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler:
Amplifying the Benefits of Design Patterns: From Specification Through Implementation. 214-229
Electronic Edition (link) BibTeX
Bernd Westphal, Tobe Toben:
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. 230-246
Electronic Edition (link) BibTeX
Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz:
Concerned About Separation. 247-261
Electronic Edition (link) BibTeX

Model-Based Development

Artur Boronat, José A. Carsí, Isidro Ramos:
Algebraic Specification of a Model Transformation Engine. 262-277
Electronic Edition (link) BibTeX
Daniel Köb, Franz Wotawa:
Fundamentals of Debugging Using a Resolution Calculus. 278-292
Electronic Edition (link) BibTeX
Hyun Gi Min, Soo Dong Kim:
A Technique to Represent and Generate Components in MDA/PIM for Automation. 293-307
Electronic Edition (link) BibTeX

Validation and Verification

Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff:
Argus: Online Statistical Bug Detection. 308-323
Electronic Edition (link) BibTeX
Bernhard K. Aichernig, Carlo Corrales Delgado:
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. 324-338
Electronic Edition (link) BibTeX
Koushik Sen, Gul Agha:
Automated Systematic Testing of Open Distributed Programs. 339-356
Electronic Edition (link) BibTeX
Peter Csaba Ölveczky, Marco Caccamo:
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. 357-372
Electronic Edition (link) BibTeX

Tool Demonstrations

Alain Giorgetti, Julien Groslambert:
JAG: JML Annotation Generation for Verifying Temporal Properties. 373-376
Electronic Edition (link) BibTeX
Harald Raffelt, Bernhard Steffen:
LearnLib: A Library for Automata Learning and Experimentation. 377-380
Electronic Edition (link) BibTeX

Software Evolution

Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama:
Trace-Based Memory Aliasing Across Program Versions. 381-395
Electronic Edition (link) BibTeX
Fraser P. Ruffell, Jason W. A. Selby:
The Pervasiveness of Global Data in Evolving Software Systems. 396-410
Electronic Edition (link) BibTeX
Reto Geiger, Beat Fluri, Harald Gall, Martin Pinzger:
Relation of Code Clones and Change Couplings. 411-425
Electronic Edition (link) BibTeX