TY  - BOOK
AU  - Dwyer,Matthew B.
AU  - Lopes,Antónia
ED  - SpringerLink (Online service)
TI  - 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 
T2  - Lecture Notes in Computer Science,
SN  - 9783540712893
AV  - QA76.758 
U1  - 005.1 23
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Computer Science
KW  - Software Engineering/Programming and Operating Systems
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-540-71289-3
ER  -