04462nam 2200589 a 450 991048441310332120200520144314.03-540-78743-710.1007/978-3-540-78743-3(CKB)1000000000490602(SSID)ssj0000317836(PQKBManifestationID)11240625(PQKBTitleCode)TC0000317836(PQKBWorkID)10295592(PQKB)10989759(DE-He213)978-3-540-78743-3(MiAaPQ)EBC3068749(PPN)125218567(EXLCZ)99100000000049060220080220d2008 uy 0engurnn#008mamaatxtccrFundamental approaches to software engineering 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /Jose Luiz Fiadeiro, Paola Inverardi (eds.)1st ed. 2008.Berlin ;New York Springer20081 online resource (XIII, 434 p.)Lecture notes in computer science,0302-9743 ;4961LNCS sublibrary. SL 1, Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-540-78742-9 Includes bibliographical references and index.Requirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper).Lecture notes in computer science ;4961.LNCS sublibrary.SL 1,Theoretical computer science and general issues.Joint European Conferences on Theory and Practice of SoftwareEuropean Joint Conferences on Theory and Practice of SoftwareSoftware engineeringCongressesSoftware engineering005.1Fiadeiro Jose Luiz1961-1756321Inverardi Paola955553ETAPS 2008(2008 :Budapest, Hungary)MiAaPQMiAaPQMiAaPQBOOK9910484413103321Fundamental approaches to software engineering4198716UNINA