Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Front Matter....Pages I-XXXII
Front Matter....Pages 1-1
Separating Topological Noise from Features Using Persistent Entropy....Pages 3-12
An Accelerated MapReduce-Based K-prototypes for Big Data....Pages 13-25
Refinement Mining: Using Data to Sift Plausible Models....Pages 26-41
Towards Platform Independent Database Modelling in Enterprise Systems....Pages 42-50
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables....Pages 51-66
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems....Pages 67-82
Front Matter....Pages 83-97
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation....Pages 99-99
Approximating Parikh Images for Generating Deterministic Graph Parsers....Pages 101-111
SPO-Rewriting of Constrained Partial Algebras....Pages 112-128
Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem....Pages 129-144
Front Matter....Pages 145-160
Visual Notation and Patterns for Abstract State Machines....Pages 161-161
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL....Pages 163-178
Spatio-Temporal Models for Formal Analysis and Property-Based Testing....Pages 179-195
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models....Pages 196-206
Model-Based Generation of Natural Language Specifications....Pages 207-220
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives....Pages 221-231
“Boring Formal Methods” or “Sherlock Holmes Deduction Methods”?....Pages 232-241
Formal Model-Based Development in Industrial Automation with Reactive Blocks....Pages 242-252
Front Matter....Pages 253-261
Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming....Pages 263-263
Front Matter....Pages 265-273
Incremental Consistency Checking of Heterogeneous Multimodels....Pages 263-263
Continuing a Benchmark for UML and OCL Design and Analysis Tools....Pages 274-288
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy....Pages 289-302
Towards Model-Based Optimisation: Using Domain Knowledge Explicitly....Pages 303-316
Front Matter....Pages 317-329
On the Emergence of Patterns for Spreadsheets Data Arrangements....Pages 331-331
Towards an Automated Classification of Spreadsheets....Pages 333-345
Programming Communication with the User in Multiplatform Spreadsheet Applications....Pages 346-355
Fragment-Based Diagnosis of Spreadsheets....Pages 356-371
TrueGrid: Code the Table, Tabulate the Data....Pages 372-387
Views on UML Interactions as Spreadsheet Queries....Pages 388-393
Implementing Nested FOR Loops as Spreadsheet Formulas....Pages 394-400
SheetGit: A Tool for Collaborative Spreadsheet Development....Pages 401-414
Front Matter....Pages 415-420
Context-Aware Design of Reflective Middleware in the Internet of Everything....Pages 421-421
A Formal Approach to Error Localization and Correction in Service Compositions....Pages 423-435
Pure Edge Computing Platform for the Future Internet....Pages 436-444
Back Matter....Pages 445-457
....Pages 458-469