default search action
Software and Systems Modeling, Volume 17
Volume 17, Number 1, February 2018
- Geri Georg, Jeff Gray
, Bernhard Rumpe
SoSyM reflections of 2017: a journal status report. 1-4 - Manfred Broy, Bernhard Rumpe
In memory of Bernhard Schätz, long- time friend and SoSyM editor. 5-7 - Juergen Dingel, Wolfram Schulte:
Guest editorial for the special section on MODELS 2014. 9-10 - Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. 11-33 - Steffen Vaupel
Model-driven development of mobile applications for Android and iOS supporting role-based app variability. 35-63 - Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel:
Leveraging annotation-based modeling with Jump. 65-89 - Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson:
Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice. 91-113 - Harald Störrle:
On the impact of size to the understanding of UML diagrams. 115-134 - István Dávid, István Ráth, Dániel Varró
Foundations for Streaming Model Transformations by Complex Event Processing. 135-162 - Colin Atkinson
Editorial to the theme issue on multi-level modeling. 163-165 - Chris Partridge, Sergio de Cesare
Formalization of the classification pattern: survey of classification modeling in information systems engineering. 167-203 - Victorio Albani de Carvalho, João Paulo A. Almeida
Toward a well-founded theory for multi-level conceptual modeling. 205-231 - Bernd Neumayr, Christoph G. Schuetz
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. 233-268 - Muzaffar Igamberdiev, Georg Grossmann
An integrated multi-level modeling approach for industrial-scale data interoperability. 269-294 - Daohua Wu, Eckehard Schnieder:
Scenario-based system design with colored Petri nets: an application to train control systems. 295-317 - Ileana Ober
On the use of models for high-performance scientific computing applications: an experience report. 319-342 - Fabíola Gonçalves C. Ribeiro, Carlos Eduardo Pereira
Model-based requirements specification of real-time systems with UML, SysML and MARTE. 343-361
Volume 17, Number 2, May 2018
- Jeff Gray
Software engineering methods in other engineering disciplines. 363-364 - Manfred Broy:
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views. 365-393 - Catalina M. Lladó, Kai Sachs:
Theme section on performance modelling and engineering of software and systems. 395-396 - Qiushi Wang, Katinka Wolter:
Accelerating task completion in mobile offloading systems through adaptive restart. 397-413 - Katrina Falkner
Model-driven performance prediction of systems of systems. 415-441 - Christian Vögele, André van Hoorn, Eike Schulz, Wilhelm Hasselbring
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction - a model-driven approach for session-based application systems. 443-477 - Stefano Di Alesio
Using UML/MARTE to support performance tuning and stress testing in real-time systems. 479-508 - Anshul Gandhi, Parijat Dube, Alexei A. Karve, Andrzej Kochut, Li Zhang:
Model-driven optimal resource scaling in cloud. 509-526 - Peter Buchholz, Sebastian Vastag:
Toward an analytical method for SLA validation. 527-545 - Selmin Nurcan, Rainer Schmidt
Special section of BPMDS'2015: enabling value creation via business process modeling, development, and support. 547-549 - Ronny Seiger
Toward an execution system for self-healing workflows in cyber-physical systems. 551-572 - Thomas Baier, Claudio Di Ciccio
Matching events and activities by integrating behavioral aspects and label analysis. 573-598 - Sander J. J. Leemans
Scalable process discovery and conformance checking. 599-631 - Andrea Burattin
Detection and quantification of flow consistency in business process models. 633-654 - Cornelia Haisjackl, Pnina Soffer, Shao Yi Lim, Barbara Weber
How do humans inspect BPMN models: an exploratory study. 655-673 - Stefan Schönig
Mining team compositions for collaborative work in business processes. 675-693 - Ulrik Franke
What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development. 695-711
Volume 17, Number 3, July 2018
- Jeff Gray
UML customization versus domain-specific languages. 713-714 - Jordi Cabot
Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15). 715-716 - Tuhin Kanti Das, Juergen Dingel:
Model development guidelines for UML-RT: conventions, patterns and antipatterns. 717-752 - Shahar Maoz
A framework for relating syntactic and semantic model differences. 753-777 - Jesús Sánchez Cuadrado
Quick fixing ATL transformations with speculative analysis. 779-813 - Bentley James Oakes
Full contract verification for ATL using symbolic execution. 815-849 - Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh
Model-based simulation of legal policies: framework, tool support, and validation. 851-883 - Frank Hilken, Martin Gogolla, Loli Burgueño
Testing models and model transformations using classifying terms. 885-912 - Daniela Rabiser, Herbert Prähofer, Paul Grünbacher
Multi-purpose, multi-level feature modeling of large-scale industrial software systems. 913-938 - Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany:
Configuring use case models in product families. 939-971 - Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes. 973-987 - Bernhard Westfechtel:
Case-based exploration of bidirectional transformations in QVT Relations. 989-1029 - Ana Ivanchikj, Cesare Pautasso
Visual modeling of RESTful conversations with RESTalk. 1031-1051
Volume 17, Number 4, October 2018
- Jeff Gray
Agile model-based system development. 1053-1054 - Marc Solé, Josep Carmona:
Encoding process discovery problems in SMT. 1055-1078 - Conrad Bock, Maged Elaasar:
Reusing metamodels and notation with Diagram Definition. 1079-1103 - Bernard Carré
On submodels and submetamodels with their relation - A uniform formalization through inclusion properties. 1105-1137 - Vlad Acretoaie, Harald Störrle, Daniel Strüber:
VMTL: a language for end-user model transformation. 1139-1167 - Imen Jaouadi, Raoudha Ben Djemaa
A model-driven development approach for context-aware systems. 1169-1195 - Zheng Cheng, Rosemary Monahan
Formalised EMFTVM bytecode language for sound verification of model transformations. 1197-1225 - Maris Jukss, Clark Verbrugge, Maged Elaasar, Hans Vangheluwe
Scope in model transformations. 1227-1252 - Tong Li, Jennifer Horkoff
Holistic security requirements analysis for socio-technical systems. 1253-1285 - Manar H. Alalfi, Elizabeth P. Antony, James R. Cordy:
An approach to clone detection in sequence diagrams and its application to security analysis. 1287-1309 - Federico Ciccozzi
On the automated translational execution of the action language for foundational UML. 1311-1337 - George Chatzikonstantinou, Kostas Kontogiannis:
Efficient parallel reasoning on fuzzy goal models for run time requirements verification. 1339-1364 - Gábor Szárnyas
The Train Benchmark: cross-technology performance evaluation of continuous model queries. 1365-1393
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-26 00:36 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: