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. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33093-3
Invited Contributions
- Francisco Curbera: A Programming Model for Service Oriented Applications. 1
- Carlo Ghezzi: Software Engineering: Emerging Goals and Lasting Problems. 2
Distributed Systems
- Dominic Cooney, Marlon Dumas, Paul Roe: GPSL: A Programming Language for Service Implementation. 3-17
Orthogonal Process Activities
- Gabriele Taentzer, Giovanni Toffetti Carughi: A Graph-Based Approach to Transform XML Documents. 48-62
- Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa: Automatic Generation of Tutorial Systems from Development Specification. 79-92
Behavioral Models and State Machines
- Therese Berg, Bengt Jonsson, Harald Raffelt: Regular Inference for State Machines with Parameters. 107-121
- Benet Devereux, Marsha Chechik: Automated Support for Building Behavioral Models of Event-Driven Systems. 122-138
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
- Krzysztof Sacha: Evaluation of Expected Software Quality: A Customer's Viewpoint. 170-183
- Robby, Scott A. DeLoach, Valeriy A. Kolesnikov: Using Design Metrics for Predicting System Flexibility. 184-198
Requirements and Design
- Luigi Lavazza, Vieri Del Bianco: Combining Problem Frames and UML in the Description of Software Requirements. 199-213
- Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler: Amplifying the Benefits of Design Patterns: From Specification Through Implementation. 214-229
- Bernd Westphal, Tobe Toben: The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. 230-246
- Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz: Concerned About Separation. 247-261
Model-Based Development
- Artur Boronat, José A. Carsí, Isidro Ramos: Algebraic Specification of a Model Transformation Engine. 262-277
- Hyun Gi Min, Soo Dong Kim: A Technique to Represent and Generate Components in MDA/PIM for Automation. 293-307
Validation and Verification
- Bernhard K. Aichernig, Carlo Corrales Delgado: From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. 324-338
- Peter Csaba Ölveczky, Marco Caccamo: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. 357-372
Tool Demonstrations
- Alain Giorgetti, Julien Groslambert: JAG: JML Annotation Generation for Verifying Temporal Properties. 373-376
- Harald Raffelt, Bernhard Steffen: LearnLib: A Library for Automata Learning and Experimentation. 377-380
Software Evolution
- Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama: Trace-Based Memory Aliasing Across Program Versions. 381-395
- Fraser P. Ruffell, Jason W. A. Selby: The Pervasiveness of Global Data in Evolving Software Systems. 396-410
- Reto Geiger, Beat Fluri, Harald Gall, Martin Pinzger: Relation of Code Clones and Change Couplings. 411-425
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team