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 /
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 / [electronic resource] :
edited by Matthew B. Dwyer, Antonia Lopes.
- 1st ed. 2007.
- XVI, 442 p. online resource.
- Theoretical Computer Science and General Issues, 4422 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4422 .
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.
9783540712893
10.1007/978-3-540-71289-3 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
QA76.758
005.1
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.
9783540712893
10.1007/978-3-540-71289-3 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
QA76.758
005.1