default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 17
Volume 17, Number 1, February 2018
- Geri Georg, Jeff Gray
, Bernhard Rumpe, Martin Schindler:
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, Gabriele Taentzer, René Gerlach, Michael Guckert:
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, Thomas Kühne, Juan de Lara:
Editorial to the theme issue on multi-level modeling. 163-165 - Chris Partridge, Sergio de Cesare, Andrew Mitchell, James Odell:
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, Manfred A. Jeusfeld, Michael Schrefl:
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. 233-268 - Muzaffar Igamberdiev, Georg Grossmann, Matt Selway, Markus Stumptner:
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, Marc Palyart, Jean-Michel Bruel, David Lugato:
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, Achim Rettberg, Michel S. Soares:
Model-based requirements specification of real-time systems with UML, SysML and MARTE. 343-361
Volume 17, Number 2, May 2018
- Jeff Gray, Bernhard Rumpe:
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, Claudia Szabo, Vanea Chiprianov, Gavin Puddy, Marianne Rieckmann, Daniel Fraser, Cathlyn Aston:
Model-driven performance prediction of systems of systems. 415-441 - Christian Vögele, André van Hoorn, Eike Schulz, Wilhelm Hasselbring, Helmut Krcmar:
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, Sagar Sen:
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, Steffen Huber, Thomas Schlegel:
Toward an execution system for self-healing workflows in cyber-physical systems. 551-572 - Thomas Baier, Claudio Di Ciccio, Jan Mendling, Mathias Weske:
Matching events and activities by integrating behavioral aspects and label analysis. 573-598 - Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst:
Scalable process discovery and conformance checking. 599-631 - Andrea Burattin, Vered Bernstein, Manuel Neurauter, Pnina Soffer, Barbara Weber:
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, Cristina Cabanillas, Claudio Di Ciccio, Stefan Jablonski, Jan Mendling:
Mining team compositions for collaborative work in business processes. 675-693 - Ulrik Franke, Mika Cohen, Johan Sigholm:
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, Bernhard Rumpe:
UML customization versus domain-specific languages. 713-714 - Jordi Cabot, Alexander Egyed:
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, Jan Oliver Ringert:
A framework for relating syntactic and semantic model differences. 753-777 - Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara:
Quick fixing ATL transformations with speculative analysis. 779-813 - Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer:
Full contract verification for ATL using symbolic execution. 815-849 - Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand:
Model-based simulation of legal policies: framework, tool support, and validation. 851-883 - Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo:
Testing models and model transformations using classifying terms. 885-912 - Daniela Rabiser, Herbert Prähofer, Paul Grünbacher, Michael Petruzelka, Klaus Eder, Florian Angerer, Mario Kromoser, Andreas Grimmer:
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, Silvia Schreier:
Visual modeling of RESTful conversations with RESTalk. 1031-1051
Volume 17, Number 4, October 2018
- Jeff Gray, Bernhard Rumpe:
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é, Gilles Vanwormhoudt, Olivier Caron:
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, Hanêne Ben-Abdallah:
A model-driven development approach for context-aware systems. 1169-1195 - Zheng Cheng, Rosemary Monahan, James F. Power:
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, John Mylopoulos:
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, Benedek Izsó, István Ráth, Dániel Varró:
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 2026-04-27 22:59 CEST 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:
