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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dwyer, Matthew B. (Επιμελητής έκδοσης), Lopes, Antónia (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4422
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.

 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.