Skip to main content

Software and Systems Modeling

Ausgabe 3/2018

Inhalt (13 Artikel)

Editorial

UML customization versus domain-specific languages

Jeff Gray, Bernhard Rumpe

Special Section Paper

Model development guidelines for UML-RT: conventions, patterns and antipatterns

Tuhin Kanti Das, Juergen Dingel

Special Section Paper

A framework for relating syntactic and semantic model differences

Shahar Maoz, Jan Oliver Ringert

Special Section Paper

Quick fixing ATL transformations with speculative analysis

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara

Special Section Paper

Full contract verification for ATL using symbolic execution

Bentley James Oakes, Javier Troya, Levi Lúcio, Manuel Wimmer

Special Section Paper

Model-based simulation of legal policies: framework, tool support, and validation

Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand

Special Section Paper

Testing models and model transformations using classifying terms

Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo

Open Access Special Section Paper

Multi-purpose, multi-level feature modeling of large-scale industrial software systems

Daniela Rabiser, Herbert Prähofer, Paul Grünbacher, Michael Petruzelka, Klaus Eder, Florian Angerer, Mario Kromoser, Andreas Grimmer

Special Section Paper

Configuring use case models in product families

Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany

Special Section Paper

Modeling context-aware and intention-aware in-car infotainment systems

Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer

Regular Paper

Visual modeling of RESTful conversations with RESTalk

Ana Ivanchikj, Cesare Pautasso, Silvia Schreier