04017nam 2200601Ia 450 991048377160332120200520144314.01-280-38587-197866135637983-642-12029-610.1007/978-3-642-12029-9(CKB)2670000000010122(SSID)ssj0000399483(PQKBManifestationID)11245776(PQKBTitleCode)TC0000399483(PQKBWorkID)10376640(PQKB)10037201(DE-He213)978-3-642-12029-9(MiAaPQ)EBC3065140(PPN)149059795(EXLCZ)99267000000001012220100203d2010 uy 0engurnn|008mamaatxtccrFundamental Approaches to Software Engineering 13th international conference, FASE 2010 ; held as part of the joint European conferences on Theory and Practice of Software, ETAPS 2010 ; Paphos, Cyprus, March 20-28, 2010. Proceedings /David S. Rosenblum, Gabriele Taentzer (eds.)1st ed. 2010.New York Springer20101 online resource (XIII, 383 p. 127 illus.) Lecture notes in computer science,0302-9743 ;6013Bibliographic Level Mode of Issuance: Monograph3-642-12028-8 Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time Model Transformations in MOMENT2 -- Reusing Model Transformations While Preserving Properties -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation Systems -- Modeling Concepts -- Prescriptive Semantics for Big-Step Modelling Languages -- A Modular Model Composition Technique -- A Verifiable Modeling Approach to Configurable Role-Based Access Control -- Incremental Consistency Checking of Dynamic Constraints -- Verification -- Proving Consistency and Completeness of Model Classes Using Theory Interpretation -- Automatic Cross Validation of Multiple Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi-abductive Inference -- Analyzing the Impact of Change in Multi-threaded Programs -- Testing and Debugging -- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques -- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible -- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups -- Performance Modeling and Analysis -- Performance Modeling and Analysis of Context-Aware Mobile Software Systems -- A Process to Effectively Identify “Guilty” Performance Antipatterns.Lecture notes in computer science ;6013.FASE 2010ETAPS 2010Software engineeringCongressesComputer softwareCongressesSoftware engineeringComputer software005.1Rosenblum David Samuel1761208Taentzer Gabriele1761209ETAPS 2008(13th :2010 :Paphos, Cyprus)MiAaPQMiAaPQMiAaPQBOOK9910483771603321Fundamental Approaches to Software Engineering4200508UNINA