Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Front Matter....Pages I-XXIX
Front Matter....Pages 1-1
Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection....Pages 3-10
The Synergy Between User Experience Design and Software Testing....Pages 11-21
Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems....Pages 22-31
Front Matter....Pages 33-33
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design....Pages 35-42
Behavioral Types for Component-Based Development of Cyber-Physical Systems....Pages 43-52
Refactoring Proofs with Tactician....Pages 53-67
Exploring the Role of Logic and Formal Methods in Information Systems Education....Pages 68-74
GuideForce: Type-Based Enforcement of Programming Guidelines....Pages 75-89
Front Matter....Pages 91-91
Clustering Formulation Using Constraint Optimization....Pages 93-107
Towards a Boosted Route Planner Using Individual Mobility Models....Pages 108-123
Design of a Business-to-Government Information Sharing Architecture Using Business Rules....Pages 124-138
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management....Pages 139-144
On Integrating Social and Sensor Networks for Emergency Management....Pages 145-160
Quantitative Modelling of Residential Smart Grids....Pages 161-175
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates....Pages 176-191
Probabilistic Modelling and Analysis of a Fish Population....Pages 192-197
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems....Pages 198-212
Front Matter....Pages 213-213
Distributed Coordinated Adaptation of Cloud-Based Applications....Pages 215-227
Fuzzy Description Logics for Component Selection in Software Design....Pages 228-239
Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns....Pages 240-252
Front Matter....Pages 213-213
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities....Pages 253-265
Towards Automatic Decision Support for Bike-Sharing System Design....Pages 266-280
Automated Synthesis of Protocol Converters with BALM-II....Pages 281-296
An Experimental Spatio-Temporal Model Checker....Pages 297-311
Dependable Composition of Software and Services in the Internet of Things: A Biological Approach....Pages 312-323
Back Matter....Pages 325-325