Ausgabe 1/2019 Theme Sections on “Model-Driven Engineering for Component-Based Software Engineering” and “STAF 2015”
Inhalt (30 Artikel)
SoSyM reflections: the 2018 “State of the Journal” report
- Editorial
Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
Editorial to theme issue on model-driven engineering of component-based software systems
- Guest Editorial
Federico Ciccozzi, Jan Carlson, Patrizio Pelliccione, Massimo Tivoli
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
- Theme Section Paper
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints
- Open Access
- Theme Section Paper
Saad Mubeen, Thomas Nolte, Mikael Sjödin, John Lundbäck, Kurt-Lennart Lundbäck
Synthesis of verifiable concurrent Java components from formal models
- Theme Section Paper
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz
Multi-objective exploration of architectural designs by composition of model transformations
- Theme Section Paper
Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran
Using internal domain-specific languages to inherit tool support and modularity for model transformations
- Theme Section Paper
Georg Hinkel, Thomas Goldschmidt, Erik Burger, Ralf Reussner
Transactional execution of hierarchical reconfigurations in cyber-physical systems
- Theme Section Paper
Christian Heinzemann, Steffen Becker, Andreas Volk
Introduction to the STAF 2015 special section
- Guest Editorial
Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
F-Alloy: a relational model transformation language based on Alloy
- Special Section Paper
Loïc Gammaitoni, Pierre Kelsen
Change propagation and bidirectionality in internal transformation DSLs
- Special Section Paper
Georg Hinkel, Erik Burger
A systematic approach to constructing families of incremental topology control algorithms using graph transformation
- Special Section Paper
Roland Kluge, Michael Stein, Gergely Varró, Andy Schürr, Matthias Hollick, Max Mühlhäuser
Translation of ATL to AGT and application to a code generator for Simulink
- Special Section Paper
Elie Richa, Etienne Borde, Laurent Pautet
Type inference in flexible model-driven engineering using classification algorithms
- Open Access
- Special Section Paper
Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
Incremental execution of model-to-text transformations using property access traces
- Special Section Paper
Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos
Advanced and efficient execution trace management for executable domain-specific modeling languages
- Open Access
- Special Section Paper
Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
Experimental evaluation of a novel equivalence class partition testing strategy
- Special Section Paper
Felix Hübner, Wen-ling Huang, Jan Peleska
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
- Open Access
- Special Section Paper
Geoff Birch, Bernd Fischer, Michael Poppleton
A feature-based classification of formal verification techniques for software models
- Overview Paper
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
Effective product-line testing using similarity-based product prioritization
- Regular Paper
Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake
A model-driven approach for vulnerability evaluation of modern physical protection systems
- Regular Paper
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
Lessons learned from developing mbeddr: a case study in language engineering with MPS
- Regular Paper
Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen
Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique
- Regular Paper
Ben Roelens, Wout Steenacker, Geert Poels
DataMock: An Agile Approach for Building Data Models from User Interface Mockups
- Regular Paper
José Matías Rivero, Julián Grigera, Damiano Distante, Francisco Montero, Gustavo Rossi
Reusable specification templates for defining dynamic semantics of DSLs
- Open Access
- Regular Paper
Ulyana Tikhonova
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
- Regular Paper
Taffarel Brant-Ribeiro, Rafael D. Araújo, Igor E. Mendonça, Michel S. Soares, Renan G. Cattelan
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
- Regular Paper
Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michał Antkiewicz, Krzysztof Czarnecki
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
- Regular Paper
Marina Egea, Carolina Dania
