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),...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Baresi, Luciano (Editor ), Heckel, Reiko (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 3922
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares