Ausgabe 3/2019 Theme Section on model-based design of Cyber-Physical Systems; MODELS 2016 Special Section; EMMSAD 2017 Special Section
Inhalt (33 Artikel)
Editorial to the theme section on model-based design of cyber-physical systems
- Editorial
Manfred Broy, Heinrich Daembkes, Janos Sztipanovits
Basic problems in multi-view modeling
- Theme Section Paper
Jan Reineke, Christos Stergiou, Stavros Tripakis
Rigorous design of cyber-physical systems
- Theme Section Paper
Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems
- Theme Section Paper
Siyuan Dai, Zhenkai Zhang, Xenofon Koutsoukos
Hybrid co-simulation: it’s about time
- Open Access
- Special Section Paper
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Guest editorial for the special section on MODELS 2016
- Guest Editorial
Jörg Kienzle, Alexander Pretschner
Metamodel specialization for graphical language support
- Special Section Paper
Audris Kalnins, Janis Barzdins
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
- Open Access
- Special Section Paper
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
- Correction
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Advanced prefetching and caching of models with PrefetchML
- Special Section Paper
Gwendal Daniel, Gerson Sunyé, Jordi Cabot
Handling index-out-of-bounds in safety-critical embedded C code using model-based development
- Open Access
- Special Section Paper
Gunter Blache
Guest editorial for EMMSAD’2017 special section
- Guest Editorial
Iris Reinhartz-Berger, Wided Guédria, Palash Bera
What practitioners really want: requirements for visual notations in conceptual modeling
- Special Section Paper
Dirk van der Linden, Irit Hadar, Anna Zamansky
Method engineering in information systems analysis and design: a balanced scorecard approach for method improvement
- Open Access
- Special Section Paper
Kurt Sandkuhl, Ulf Seigerroth
An experiment in model-driven conceptual database design
- Special Section Paper
Drazen Brdjanin, Goran Banjac, Danijela Banjac, Slavko Maric
Evaluating the comprehension of means-ends maps
- Special Section Paper
Jumana Nassour, Michael Elhadad, Arnon Sturm, Eric Yu
On leveraging the fruits of research efforts in the arena of business process modeling formalisms: a map-driven approach for decision making
- Special Section Paper
Afef Awadid, Selmin Nurcan, Sonia Ayachi Ghannouchi
A feature-based survey of model view approaches
- Regular Paper
Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer
Introducing probabilistic reasoning within Event-B
- Regular Paper
Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix
A model-driven framework for developing multi-agent systems in emergency response environments
- Regular Paper
Samaneh HoseinDoost, Tahereh Adamzadeh, Bahman Zamani, Afsaneh Fatemi
An integrated metamodel-based approach to software model refactoring
- Regular Paper
Mohammed Misbhauddin, Mohammad Alshayeb
Template-based model generation
- Regular Paper
Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Chang-Jun Hu
Transforming XML schemas into OWL ontologies using formal concept analysis
- Regular Paper
Mokhtaria Hacherouf, Safia Nait-Bahloul, Christophe Cruz
Consolidation of database check constraints
- Regular Paper
Nikola Obrenović, Ivan Luković, Sonja Ristić
Multidimensional context modeling applied to non-functional analysis of software
- Open Access
- Regular Paper
Luca Berardinelli, Marco Bernardo, Vittorio Cortellessa, Antinisca Di Marco
Enabling automated requirements reuse and configuration
- Regular Paper
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them
- Regular Paper
Dina Zayan, Atrisha Sarkar, Michał Antkiewicz, Rita Suzana Pitangueira Maciel, Krzysztof Czarnecki
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
- Open Access
- Regular Paper
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Tradeoffs in modeling performance of highly configurable software systems
- Regular Paper
Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, Alexander Grebhahn, Sven Apel
An integrated conceptual model for information system security risk management supported by enterprise architecture management
- Regular Paper
Nicolas Mayer, Jocelyn Aubert, Eric Grandry, Christophe Feltus, Elio Goettelmann, Roel Wieringa
Execution of UML models: a systematic review of research and practice
- Open Access
- Regular Paper
Federico Ciccozzi, Ivano Malavolta, Bran Selic
