default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSTAF 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, Marino Miculan, Marco Peressotti:
Loose Graph Simulations. 109-126
Grand Challenges in Modeling (GRAND)
- Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit:
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, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann:
On the Need for Artifact Models in Model-Driven Systems Engineering Projects. 146-153 - Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard:
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, Benoît Combemale:
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, David Harel, Assaf Marron, Gera Weiss:
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, Sebastian Wrede, Philipp Cimiano:
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, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink:
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, Shekoufeh Kolahdouz Rahimi:
Translating UML-RSDS OCL to ANSI C. 317-330 - Jagadeeswaran Thangaraj, SenthilKumaran Ulaganathan:
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, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini:
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. 367-374 - Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio, Tamás Gergely, Scott Hansen, Dimitris S. Kolovos, Philippe Krief, Ioannis Korkontzelos, Stéphane Laurière, Jose Manrique Lopez de la Fuente, Pedro Maló, Richard F. Paige, Diomidis Spinellis, Cedric Thomas, Jurgen J. Vinju:
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). 375-384 - Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish:
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. 385-393 - Malgorzata Zofia Goraczek, Michael Sachs, Oliver Terbu, Lei Zhu, Birgit Scholz, Georg Egger-Sidlo, Sebastian Zehetbauer, Stefan Vogl:
Mobile Health ID Card - Demonstrating the Realization of an mHealth Application in Austria. 394-402 - Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn:
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 2025-02-21 19:41 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:
