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
Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
Editorial to theme issue on model-driven engineering of component-based software systems
Federico Ciccozzi, Jan Carlson, Patrizio Pelliccione, Massimo Tivoli
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Aamir M. Khan, Frédéric Mallet, Muhammad Rashid
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints
Saad Mubeen, Thomas Nolte, Mikael Sjödin, John Lundbäck, Kurt-Lennart Lundbäck
Synthesis of verifiable concurrent Java components from formal models
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz
Multi-objective exploration of architectural designs by composition of model transformations
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
Georg Hinkel, Thomas Goldschmidt, Erik Burger, Ralf Reussner
Transactional execution of hierarchical reconfigurations in cyber-physical systems
Christian Heinzemann, Steffen Becker, Andreas Volk
Introduction to the STAF 2015 special section
Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
F-Alloy: a relational model transformation language based on Alloy
Loïc Gammaitoni, Pierre Kelsen
Change propagation and bidirectionality in internal transformation DSLs
Georg Hinkel, Erik Burger
A systematic approach to constructing families of incremental topology control algorithms using graph transformation
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
Elie Richa, Etienne Borde, Laurent Pautet
Type inference in flexible model-driven engineering using classification algorithms
Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
Incremental execution of model-to-text transformations using property access traces
Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos
Advanced and efficient execution trace management for executable domain-specific modeling languages
Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
Experimental evaluation of a novel equivalence class partition testing strategy
Felix Hübner, Wen-ling Huang, Jan Peleska
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
Geoff Birch, Bernd Fischer, Michael Poppleton
A feature-based classification of formal verification techniques for software models
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
Effective product-line testing using similarity-based product prioritization
Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake
A model-driven approach for vulnerability evaluation of modern physical protection systems
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
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
Ben Roelens, Wout Steenacker, Geert Poels
DataMock: An Agile Approach for Building Data Models from User Interface Mockups
José Matías Rivero, Julián Grigera, Damiano Distante, Francisco Montero, Gustavo Rossi
Reusable specification templates for defining dynamic semantics of DSLs
Ulyana Tikhonova
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
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
Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michał Antkiewicz, Krzysztof Czarnecki
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
Marina Egea, Carolina Dania