Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 19
Volume 19, Number 1, January 2020
- Hüseyin Ergin, Jeff Gray
, Bernhard Rumpe, Martin Schindler:
SoSyM reflections: the 2019 "state of the journal" report. 1-4 - Antonio Bucchiarone, Jordi Cabot, Richard F. Paige, Alfonso Pierantonio:
Grand challenges in model-driven engineering: an analysis of the state of the research. 5-13 - Jeff Gray, Vinay Kulkarni:
Introduction to the special section of the 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS'17). 15-16 - Athanasios Zolotas, Horacio Hoyos Rodriguez, Stuart Hutchesson, Beatriz Sanchez Piña, Alan Grigg, Mole Li, Dimitrios S. Kolovos, Richard F. Paige:
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. 17-38 - Perdita Stevens:
Maintaining consistency in networks of models: bidirectional transformations in the large. 39-65 - Andreas Wortmann, Olivier Barais, Benoît Combemale, Manuel Wimmer:
Modeling languages in Industry 4.0: an extended systematic mapping study. 67-94 - Iván Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, José Miguel Mota, Javier Merchán Sánchez-Jara:
Applying static code analysis for domain-specific languages. 95-110 - Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer:
Thirteen years of SysML: a systematic mapping study. 111-169 - Gabriele De Vito, Filomena Ferrucci, Carmine Gravino:
Design and automation of a COSMIC measurement procedure based on UML models. 171-198 - Fazilat Hojaji, Bahman Zamani, Abdelwahab Hamou-Lhadj, Tanja Mayerhofer, Erwan Bousse:
Lossless compaction of model execution traces. 199-230 - Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik:
Heterogeneous megamodel management using collection operators. 231-260
Volume 19, Number 2, March 2020
- Jeff Gray, Bernhard Rumpe:
Compositional model analysis. 261-262 - Manuel Leduc, Thomas Degueule, Eric Van Wyk, Benoît Combemale:
The Software Language Extension Problem. 263-267 - Iris Reinhartz-Berger, Sérgio Guerreiro:
Guest editorial for EMMSAD'2018 special section. 269-270 - Haralambos Mouratidis, Shaun Shei, Aidan J. Delaney:
A security requirements modelling language for cloud computing environments. 271-295 - Noa Roy-Hubara, Arnon Sturm:
Design methods for the new database era: a systematic literature review. 297-312 - Sybren de Kinderen, Monika Kaczmarek-Heß:
On model-based analysis of organizational structures: an assessment of current modeling approaches and application of multi-level modeling in support of design and analysis of organizational structures. 313-343 - Constantina Ioannou, Indira Nurdiani, Andrea Burattin, Barbara Weber:
Mining reading patterns from eye-tracking data: method and demonstration. 345-369 - Janis Kampars, Jelena Zdravkovic, Janis Stirna, Janis Grabis:
Extending organizational capabilities with Open Data to support sustainable and dynamic business ecosystems. 371-398 - Jesús Sánchez Cuadrado, Arend Rensink:
Special section on ICMT at STAF 2018. 399-400 - Juri Di Rocco, Davide Di Ruscio, Johannes Härtel, Ludovico Iovino, Ralf Lämmel, Alfonso Pierantonio:
Understanding MDE projects: megamodels to the rescue for architecture recovery. 401-423 - Zheng Cheng, Massimo Tisi, Rémi Douence:
CoqTL: a Coq DSL for rule-based model transformation. 425-439 - Jean-Michel Bruel, Benoît Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe:
Comparing and classifying model transformation reuse approaches across metamodels. 441-465 - Mattia Salnitri, Konstantinos Angelopoulos, Michalis Pavlidis, Vasiliki Diamantopoulou, Haralambos Mouratidis, Paolo Giorgini:
Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach. 467-491 - Eneias Silva, Alessandro Ferreira Leite, Vander Alves, Sven Apel:
ExpRunA : a domain-specific approach for technology-oriented experiments. 493-526
Volume 19, Number 3, May 2020
- Jeff Gray, Bernhard Rumpe:
Modeling dynamic structures. 527-528 - Selmin Nurcan, Rainer Schmidt:
Special section of BPMDS'2017: enabling business transformation by business process modeling, development and support. 529-530 - Jens Gulden, Andrea Burattin, Amine Abbad Andaloussi, Barbara Weber:
From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking. 531-554 - Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish:
Enhancing secure business process design with security process patterns. 555-577 - John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen:
Editorial to the theme section on model-based engineering of smart systems. 579-580 - Mihai Neghina, Constantin-Bala Zamfirescu, Ken Pierce:
Early-stage analysis of cyber-physical production systems through collaborative modelling. 581-600 - Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
A framework for FMI-based co-simulation of human-machine interfaces. 601-623 - Juan Carlos Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Miguel da Costa Sousa:
Towards high-level fuzzy control specifications for building automation systems. 625-646 - Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf:
Benchmarking bidirectional transformations: theory, implementation, application, and assessment. 647-691 - Ferenc Attila Somogyi, Márk Asztalos:
Systematic review of matching techniques used in model-driven methodologies. 693-720 - Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi:
Transitive-closure-based model checking (TCMC) in Alloy. 721-740 - Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Ark: a constraint-based method for architectural synthesis of smart systems. 741-762 - Enyo José Tavares Gonçalves, Camilo C. Almendra, Miguel Goulão, João Araújo, Jaelson Castro:
Using empirical studies to mitigate symbol overload in iStar extensions. 763-784
Volume 19, Number 4, July 2020
- Hüseyin Ergin, Jeff Gray, Bernhard Rumpe:
Models as the subject of education. 785-786 - Trygve Mikkjel Heyerdahl Reenskaug:
Personal programming and the object computer. 787-824 - Andrzej Wasowski, Richard F. Paige, Øystein Haugen:
Guest editorial to the special section on MODELS 2018. 825-826 - Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris S. Kolovos, Jordi Cabot:
Scalable model views over heterogeneous modeling technologies and resources. 827-851 - Bernhard Westfechtel, Sandra Greiner:
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations. 853-888 - Peter Munk, Arne Nordmann:
Model-based safety assessment with SysML and component fault trees: application and lessons learned. 889-910 - Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov, Maged Khalil:
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures. 911-934 - Perdita Stevens:
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. 935-958 - Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, Juergen Dingel:
A model-based architecture for interactive run-time monitoring. 959-981 - Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. 983-1013 - Dorian Leroy, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoît Combemale, Wieland Schwinger:
Behavioral interfaces for executable DSLs. 1015-1043
Volume 19, Number 5, September 2020
- Gunter Mussbacher, Benoît Combemale, Jörg Kienzle, Silvia Abrahão, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel, Thomas Kühn, Sébastien Mosser, Houari A. Sahraoui, Eugene Syriani, Dániel Varró, Martin Weyssow:
Opportunities in intelligent modeling assistance. 1045-1053 - Anthony Anjorin, Alfonso Pierantonio, Salvador Trujillo, Huáscar Espinoza Ortiz:
Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018. 1055-1056 - Enes Yigitbas, Ivan Jovanovikj, Kai Biermeier, Stefan Sauer, Gregor Engels:
Integrated model-driven development of self-adaptive user interfaces. 1057-1081 - Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige:
Automatic generation of UML profile graphical editors for Papyrus. 1083-1106 - Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin:
A query-retyping approach to model transformation co-evolution. 1107-1138 - Jesús Sánchez Cuadrado:
A verified catalogue of OCL optimisations. 1139-1161 - Manuel F. Bertoa, Loli Burgueño, Nathalie Moreno, Antonio Vallecillo:
Incorporating measurement uncertainty into OCL/UML primitive datatypes. 1163-1189 - Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Jan Jürjens, Volker Riediger, Steffen Staab:
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements. 1191-1227 - Abel Gómez, Xabier Mendialdua, Konstantinos Barmpis, Gábor Bergmann, Jordi Cabot, Xabier De Carlos, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos, Juan de Lara:
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development. 1229-1261 - Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
Model-driven process enactment for NFV systems with MAPLE. 1263-1282 - Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin:
Modelling multi-criticality vehicular software systems: evolution of an industrial component model. 1283-1302
Volume 19, Number 6, November 2020
- Jens Gulden, Rainer Schmidt:
Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support. 1303-1305 - Ario Santoso, Michael Felderer:
Specification-driven predictive business process monitoring. 1307-1343 - Niek Tax, Irene Teinemaa, Sebastiaan J. van Zelst:
An interdisciplinary comparison of sequence modeling methods for next-element prediction. 1345-1365 - Marcin Hewelt, Luise Pufahl, Sankalita Mandal, Felix Wolff, Mathias Weske:
Toward a methodology for case modeling. 1367-1393 - Ioannis Routis, Mara Nikolaidou, Dimosthenis Anagnostopoulos:
Empirical evaluation of CMMN models: a collaborative process case study. 1395-1413 - Cristina Cabanillas, Lars Ackermann, Stefan Schönig, Christian Sturm, Jan Mendling:
The RALph miner for automated discovery and verification of resource-aware process models. 1415-1441 - Stefan Schönig, Lars Ackermann, Stefan Jablonski, Andreas Ermer:
IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution. 1443-1459 - Federico Ciccozzi, Antonio Cicchetti, Andreas Wortmann:
Editorial to theme section on interplay of model-driven and component-based software engineering. 1461-1463 - David Santiago Velasco Moncada:
Hazard-driven realization views for Component Fault Trees. 1465-1481 - Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró:
Mixed-semantics composition of statecharts for the component-based design of reactive systems. 1483-1517 - Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand:
Interface protocol inference to aid understanding legacy software components. 1519-1540 - Matias Urbieta, Sergio Firmenich, Gabriela Bosetti, Pedro Maglione, Gustavo Rossi, Miguel Angel Olivero:
MDWA: a model-driven Web augmentation approach - coping with client- and server-side support. 1541-1566 - Tao Chen, Michael Schiek, Jürgen Dammers, N. Jon Shah, Stefan van Waasen:
Requirement-driven model-based development methodology applied to the design of a real-time MEG data processing unit. 1567-1587
a service of 
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-04-22 20:56 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:
