default search action
STAF Workshops 2017: Marburg, Germany
- Martina Seidl, Steffen Zschaler:
Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10748, Springer 2018, ISBN 978-3-319-74729-3
Scalable Model Driven Engineering (BigMDE)
- Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu:
Injecting Execution Traces into a Model-Driven Framework for Program Analysis. 3-13 - Tamás Fekete
, Gergely Mezei:
Introduction of an OpenCL-Based Model Transformation Engine. 14-19 - Steven Kelly
Collaborative Modelling with Version Control. 20-29 - Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit:
A Java Bytecode Metamodel for Composable Program Analyses. 30-40
Graph Computation Models (GCM)
- Ernst Althaus, Andreas Hildebrandt, Domenico Mosca:
Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness. 43-59 - Alexandru Burdusel, Steffen Zschaler
Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation. 60-75 - Berthold Hoffmann, Mark Minas:
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. 76-91 - Ivaylo Hristakiev, Detlef Plump:
Checking Graph Programs for Confluence. 92-108 - Alessio Mansutti
Loose Graph Simulations. 109-126
Grand Challenges in Modeling (GRAND)
- Önder Babur
Models, More Models, and Then a Lot More. 129-135 - Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser:
On the Need for Temporal Model Repositories. 136-145 - Arvid Butting
On the Need for Artifact Models in Model-Driven Systems Engineering Projects. 146-153 - Jordi Cabot
Cognifying Model-Driven Software Engineering. 154-160 - Antonio García-Domínguez, Nelly Bencomo:
Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation. 161-171 - Martin Gogolla, Frank Hilken, Andreas Kästner:
Some Narrow and Broad Challenges in MDD. 172-177 - Steven Kelly
Modelling by the People, for the People. 178-183 - Vinay Kulkarni, Sreedhar Reddy:
From Building Systems Right to Building Right Systems - A Generic Architecture and Its Model Based Realization. 184-192 - Tanja Mayerhofer
The Tool Generation Challenge for Executable Domain-Specific Modeling Languages. 193-199 - Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum:
Toward Product Lines of Mathematical Models for Software Model Management. 200-216
Model-Driven Robot Software Engineering (MORSE)
- Gary Cornelius, Nico Hochgeschwender, Holger Voos
Model-Driven Interaction Design for Social Robots. 219-224 - Achiya Elyasaf
Towards Integration of Context-Based and Scenario-Based Development. 225-231 - Martin Gogolla, Antonio Vallecillo
(An Example for) Formally Modeling Robot Behavior with UML and OCL. 232-246 - Daniel Gritzner, Joel Greenyer
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications. 247-262 - Norman Köster
Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments. 263-279 - Christopher Werner, Sebastian Götz, Uwe Aßmann
A Simulation Framework to Analyze Knowledge Exchange Strategies in Distributed Self-adaptive Systems. 280-294
OCL and Textual Modeling (OCL)
- Robert Bill, Achim D. Brucker
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. 297-301 - Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickael Clavreul:
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph. 302-316 - Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi
Translating UML-RSDS OCL to ANSI C. 317-330 - Jagadeeswaran Thangaraj
Mapping USE Specifications into Spec#. 331-339 - Edward D. Willink:
Deterministic Lazy Mutable OCL Collections. 340-355 - Hao Wu
Step 0: An Idea for Automatic OCL Benchmark Generation. 356-364
Projects Showcase
- Elvira Albert, Pablo C. Cañizares
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. 367-374 - Alessandra Bagnato
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). 375-384 - Simos Gerasimou, Dimitris S. Kolovos
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. 385-393 - Malgorzata Zofia Goraczek
Mobile Health ID Card - Demonstrating the Realization of an mHealth Application in Austria. 394-402 - Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. 403-408 - Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. 409-416
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: