Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2007, 2007
|
Edition: | 1st ed. 2007 |
Series: | Theoretical Computer Science and General Issues
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Ensuring Consistency Within Distributed Graph Transformation Systems
- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
- Design
- Towards Normal Design for Safety-Critical Systems
- A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement
- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
- A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces
- Specification
- Precise Specification of Use Case Scenarios
- Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams
- SDL Profiles – Formal Semantics and Tool Support
- Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
- Services
- A Service Composition Construct to Support Iterative Development
- Correlation Patterns in Service-Oriented Architectures
- Dynamic Characterization of Web Application Interfaces
- Testing
- A Prioritization Approach for Software Test Cases Based on Bayesian Networks
- Redundancy Based Test-Suite Reduction
- Testing Scenario-Based Models
- Integration Testing in Software Product Line Engineering: A Model-Based Technique
- Analysis.-Practical Reasoning About Invocations and Implementations of Pure Methods
- Finding Environment Guarantees
- Invited Contributions
- Software Product Families: Towards Compositionality
- Contract-Driven Development
- Evolution and Agents
- EQ-Mine: Predicting Short-Term Defects for Software Evolution
- An Approach to Software Evolution Based on Semantic Change
- A Simulation-Oriented Formalization for a Psychological Theory
- Model Driven Development
- Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework
- Information Preserving Bidirectional Model Transformations
- Activity-Driven Synthesis of State Machines
- Flexible and Extensible Notations for Modeling Languages
- Tool Demonstrations
- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
- S2A: A Compiler for Multi-modal UML Sequence Diagrams
- Distributed Systems
- Scenario-Driven Dynamic Analysis of Distributed Architectures
- Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software