دانلود کتاب Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

فهرست مطالب :

Front Matter....Pages 1-12
Front Matter....Pages 1-1
An Institution for Simple UML State Machines....Pages 3-18
Map-Based Transparent Persistence for Very Large Models....Pages 19-34
Composing Message Translators and Inferring Their Data Types Using Tree Automata....Pages 35-50
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications....Pages 51-65
Front Matter....Pages 67-67
BPEL Integration Testing....Pages 69-83
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines....Pages 84-99
Just Test What You Cannot Verify!....Pages 100-114
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme....Pages 115-129
Front Matter....Pages 131-131
A Generalized Formal Framework for Partial Modeling....Pages 133-148
Performance-Based Software Model Refactoring in Fuzzy Contexts....Pages 149-164
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin....Pages 165-168
Front Matter....Pages 169-169
Translation Validation for Clock Transformations in a Synchronous Compiler....Pages 171-185
Symbolic Detection of Assertion Dependencies for Bounded Model Checking....Pages 186-201
Verification of Loop Parallelisations....Pages 202-217
Model-Based Formal Reasoning about Data-Management Applications....Pages 218-232
Front Matter....Pages 233-233
Self-adaptive Software with Decentralised Control Loops....Pages 235-251
Model-Based Adaptation of Software Communicating via FIFO Buffers....Pages 252-266
Lazy TSO Reachability....Pages 267-282
A Variability-Based Approach to Reusable and Efficient Model Transformations....Pages 283-298
Front Matter....Pages 299-299
Exploring Scenario Exploration....Pages 301-315
Front Matter....Pages 299-299
Data-Oriented Characterization of Application-Level Energy Optimization....Pages 316-331
Resource Specification for Prototyping Human-Intensive Systems....Pages 332-346
The Prophecy of Undo....Pages 347-361
Back Matter....Pages 363-363