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
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2008, 2008
|
Edition: | 1st ed. 2008 |
Series: | Theoretical Computer Science and General Issues
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- An Algebraic Semantics for MOF
- A Formal Framework for Developing Adaptable Service-Based Applications
- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications
- Clint: A Composition Language Interpreter (Tool Paper)
- A Logic of Graph Constraints
- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
- Modelling and Verification of Timed Interaction and Migration
- A Model Checking Approach for Verifying COWS Specifications
- Verification and Testing II
- Contextual Integration Testing of Classes
- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
- Automated Analysis of Permission-Based Security Using UMLsec
- Objects and Components
- Software Quality Improvement Via Pattern Matching
- Object Composition in Scenario-Based Programming
- Regular Inference for State Machines Using Domains with Equality Tests
- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.-Models, Model Transformations II
- Verification of Architectural Refactorings by Rule Extraction
- Formal Model-Driven Program Refactoring
- Requirements and Architectures
- Deriving Non-zeno Behavior Models from Goal Models Using ILP
- What’s in a Feature: A Requirements Engineering Perspective
- Formal Approach to Integrating Feature and Architecture Models
- Models, Model Transformations I
- Correctness-Preserving Configuration of Business Process Models
- Consistent Integration of Models Based on Views of Visual Languages
- Translating Model Simulators to Analysis Models
- Conceptual Models, UML
- Orthographic Modeling Environment
- HOL-OCL: A Formal Proof Environment for uml/ocl
- Towards Faithful Model Extraction Based on Contexts
- Leveraging Patterns on Domain Models to Improve UML Profile Definition
- Service Engineering/Adaptable Services
- When Things Go Wrong: Interrupting Conversations
- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
- Engineering Service Oriented Applications: From StPowla Processes to SRML Models
- Verification and Testing I