دانلود کتاب Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

فهرست مطالب :

Front Matter ....Pages I-XXIV
Front Matter ....Pages 1-1
Injecting Execution Traces into a Model-Driven Framework for Program Analysis (Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu)....Pages 3-13
Introduction of an OpenCL-Based Model Transformation Engine (Tamás Fekete, Gergely Mezei)....Pages 14-19
Collaborative Modelling with Version Control (Steven Kelly)....Pages 20-29
A Java Bytecode Metamodel for Composable Program Analyses (Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit)....Pages 30-40
Front Matter ....Pages 41-41
Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness (Ernst Althaus, Andreas Hildebrandt, Domenico Mosca)....Pages 43-59
Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation (Alexandru Burdusel, Steffen Zschaler)....Pages 60-75
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars (Berthold Hoffmann, Mark Minas)....Pages 76-91
Checking Graph Programs for Confluence (Ivaylo Hristakiev, Detlef Plump)....Pages 92-108
Loose Graph Simulations (Alessio Mansutti, Marino Miculan, Marco Peressotti)....Pages 109-126
Front Matter ....Pages 127-127
Models, More Models, and Then a Lot More (Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit)....Pages 129-135
On the Need for Temporal Model Repositories (Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser)....Pages 136-145
On the Need for Artifact Models in Model-Driven Systems Engineering Projects (Arvid Butting, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann)....Pages 146-153
Cognifying Model-Driven Software Engineering (Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard)....Pages 154-160
Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation (Antonio Garcia-Dominguez, Nelly Bencomo)....Pages 161-171
Some Narrow and Broad Challenges in MDD (Martin Gogolla, Frank Hilken, Andreas Kästner)....Pages 172-177
Modelling by the People, for the People (Steven Kelly)....Pages 178-183
From Building Systems Right to Building Right Systems (Vinay Kulkarni, Sreedhar Reddy)....Pages 184-192
The Tool Generation Challenge for Executable Domain-Specific Modeling Languages (Tanja Mayerhofer, Benoit Combemale)....Pages 193-199
Toward Product Lines of Mathematical Models for Software Model Management (Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum)....Pages 200-216
Front Matter ....Pages 217-217
Model-Driven Interaction Design for Social Robots (Gary Cornelius, Nico Hochgeschwender, Holger Voos)....Pages 219-224
Towards Integration of Context-Based and Scenario-Based Development (Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss)....Pages 225-231
(An Example for) Formally Modeling Robot Behavior with UML and OCL (Martin Gogolla, Antonio Vallecillo)....Pages 232-246
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications (Daniel Gritzner, Joel Greenyer)....Pages 247-262
Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments (Norman Köster, Sebastian Wrede, Philipp Cimiano)....Pages 263-279
A Simulation Framework to Analyze Knowledge Exchange Strategies in Distributed Self-adaptive Systems (Christopher Werner, Sebastian Götz, Uwe Aßmann)....Pages 280-294
Front Matter ....Pages 295-295
Workshop in OCL and Textual Modelling (Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink)....Pages 297-301
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph (Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickaël Clavreul)....Pages 302-316
Translating UML-RSDS OCL to ANSI C (Kevin Lano, Sobhan Yassipour-Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz-Rahimi)....Pages 317-330
Mapping USE Specifications into Spec# (Jagadeeswaran Thangaraj, SenthilKumaran Ulaganathan)....Pages 331-339
Deterministic Lazy Mutable OCL Collections (Edward D. Willink)....Pages 340-355
Step 0: An Idea for Automatic OCL Benchmark Generation (Hao Wu)....Pages 356-364
Front Matter ....Pages 365-365
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools (Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez et al.)....Pages 367-374
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER) (Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio et al.)....Pages 375-384
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems (Simos Gerasimou, Dimitris Kolovos, Richard Paige, Michael Standish)....Pages 385-393
Mobile Health ID Card (Malgorzata Zofia Goraczek, Michael Sachs, Oliver Terbu, Lei Zhu, Birgit Scholz, Georg Egger-Sidlo et al.)....Pages 394-402
SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction (Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson et al.)....Pages 403-408
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems (Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud)....Pages 409-416
Back Matter ....Pages 417-418