Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Σειρά: | Lecture Notes in Computer Science,
4422 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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
- 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
- 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.
