LEADER 05603nam 22007455 450 001 9910768447803321 005 20251226203614.0 010 $a1-280-95157-5 010 $a9786610951574 010 $a3-540-71289-5 024 7 $a10.1007/978-3-540-71289-3 035 $a(CKB)1000000000490603 035 $a(EBL)3061521 035 $a(SSID)ssj0000297078 035 $a(PQKBManifestationID)11947352 035 $a(PQKBTitleCode)TC0000297078 035 $a(PQKBWorkID)10347005 035 $a(PQKB)11551293 035 $a(DE-He213)978-3-540-71289-3 035 $a(MiAaPQ)EBC3061521 035 $a(MiAaPQ)EBC6806093 035 $a(Au-PeEL)EBL6806093 035 $a(OCoLC)191468056 035 $a(PPN)12372693X 035 $a(BIP)14073179 035 $a(EXLCZ)991000000000490603 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering $e10th 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 /$fedited by Matthew B. Dwyer, Antonia Lopes 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (451 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4422 300 $a"The International Conference on Fundamental Approaches to Software Engineering (FASE)"--Pref. 311 08$a3-540-71288-7 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on evolution and agents, model driven development, tool demonstrations, distributed systems, specification, services, testing, analysis, and design. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4422 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs) 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a004 700 $aDwyer$b Matthew$f1963-$01233267 712 12$aETAPS 2007$f(2007 :$eBraga, Portugal) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768447803321 996 $aFundamental approaches to software engineering$92906192 997 $aUNINA