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 /
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS),...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
| Σειρά: | Lecture Notes in Computer Science,
3922 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Contributions
- A Programming Model for Service Oriented Applications
- Software Engineering: Emerging Goals and Lasting Problems
- Distributed Systems
- GPSL: A Programming Language for Service Implementation
- A Formal Approach to Event-Based Architectures
- Engineering Self-protection for Autonomous Systems
- Orthogonal Process Activities
- A Graph-Based Approach to Transform XML Documents
- OMake: Designing a Scalable Build Process
- Automatic Generation of Tutorial Systems from Development Specification
- A Software Implementation Progress Model
- Behavioral Models and State Machines
- Regular Inference for State Machines with Parameters
- Automated Support for Building Behavioral Models of Event-Driven Systems
- A Behavioral Model for Software Containers
- Empirical Studies
- An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings
- Evaluation of Expected Software Quality: A Customer’s Viewpoint
- Using Design Metrics for Predicting System Flexibility
- Requirements and Design
- Combining Problem Frames and UML in the Description of Software Requirements
- Amplifying the Benefits of Design Patterns: From Specification Through Implementation
- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts
- Concerned About Separation
- Model-Based Development
- Algebraic Specification of a Model Transformation Engine
- Fundamentals of Debugging Using a Resolution Calculus
- A Technique to Represent and Generate Components in MDA/PIM for Automation
- Validation and Verification
- Argus: Online Statistical Bug Detection
- From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
- Automated Systematic Testing of Open Distributed Programs
- Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
- Tool Demonstrations
- JAG: JML Annotation Generation for Verifying Temporal Properties
- LearnLib: A Library for Automata Learning and Experimentation
- Software Evolution
- Trace-Based Memory Aliasing Across Program Versions
- The Pervasiveness of Global Data in Evolving Software Systems
- Relation of Code Clones and Change Couplings.
