default search action
Modellierung 2016: Karlsruhe, Germany
- Andreas Oberweis, Ralf H. Reussner:
Modellierung 2016, 2.-4. März 2016, Karlsruhe. LNI P-254, GI 2016, ISBN 978-3-88579-648-0
Modellbildung
- Matthias Frank, Stefan Zander:
Pushing the CIDOC-Conceptual Reference Model towards LOD by Open Annotations. 13-28 - Nebras Nassar, Thorsten Arendt, Gabriele Taentzer:
Deducing Model Metrics from Meta Models. 29-44 - Anna Vasileva, Doris Schmedding:
Vom Clean Model zum Clean Code. 45-60
Modellierungssprachen
- Dennis M. Riehle, Sven Jannaber, Arne Karhof, Oliver Thomas, Patrick Delfmann, Jörg Becker:
On the de-facto Standard of Event-driven Process Chains: How EPC is defined in Literature. 61-76 - Arne Karhof, Sven Jannaber, Dennis M. Riehle, Oliver Thomas, Patrick Delfmann, Jörg Becker:
On the de-facto Standard of Event-driven Process Chains: Reviewing EPC Implementations in Process Modelling Tools. 77-92 - Dimitri Plotnikov, Inga Blundell, Tammo Ippen, Jochen Martin Eppler, Abigail Morrison, Bernhard Rumpe:
NESTML: a modeling language for spiking neurons. 93-108
Modelltransformationen (Kurzbeiträge)
- Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern:
Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models. 109-116 - Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. 117-124 - Georg Hinkel, Thomas Goldschmidt:
Tool Support for Model Transformations: On Solutions using Internal Languages. 125-132 - Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe:
An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information. 133-140
Modellierungstechniken
- Timo Greifenberg, Klaus Müller, Alexander Roth, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann:
Variability in Template-based Code Generators for Product Line Engineering. 141-156 - Christoph Seidl, Tim Winkelmann, Ina Schaefer:
A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages. 157-172 - Stefan Gabriel, Christian Janiesch:
Konzeptionelle Modellierung ausführbarer Event Processing Networks für das Eventdriven Business Process Management (Kurzbeitrag). 173-180 - Stefan Berner:
BPM considered harmful (Kurzbeitrag). 181-188
Modellbasiertes Testen und Modellvalidierung
- Sebastian Fiss, Max E. Kramer, Michael Langhammer:
Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language. 189-204 - Martin Gogolla, Frank Hilken:
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. 205-220 - Carsten Kolassa, Markus Look, Klaus Müller, Alexander Roth, Dirk Reiß, Bernhard Rumpe:
TUnit - Unit Testing For Template-based Code Generators. 221-236
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.