Zum Inhalt

Software and Systems Modeling

Ausgabe 1/2017

Inhalt (16 Artikel)

SoSyM reflections of 2016: a journal status report

  • Editorial

Geri Georg, Jeff Gray, Bernhard Rumpe, Martin Schindler

Introduction to the Software Engineering and Formal Methods 2013 special issue

  • Guest Editorial

Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo

Constraint-based test generation for automotive operating systems

  • Special Section Paper

Yunja Choi, Taejoon Byun

Inferring physical units in formal models

  • Special Section Paper

Sebastian Krings, Michael Leuschel

Analysing the Linux kernel feature model changes using FMDiff

  • Open Access
  • Theme Section Paper

Nicolas Dintzner, Arie van Deursen, Martin Pinzger

The shape of feature code: an analysis of twenty C-preprocessor-based systems

  • Theme Section Paper

Rodrigo Queiroz, Leonardo Passos, Marco Tulio Valente, Claus Hunsen, Sven Apel, Krzysztof Czarnecki

Empirical assessment of two approaches for specifying software product line use case scenarios

  • Theme Section Paper

Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola Accioly

Specification and automated validation of staged reconfiguration processes for dynamic software product lines

  • Theme Section Paper

Malte Lochau, Johannes Bürdek, Stefan Hölzle, Andy Schürr

Statistical prioritization for software product line testing: an experience report

  • Theme Section Paper

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

Variability testing in the wild: the Drupal case study

  • Theme Section Paper

Ana B. Sánchez, Sergio Segura, José A. Parejo, Antonio Ruiz-Cortés

Analysing the cognitive effectiveness of the WebML visual notation

  • Regular Paper

David Granada, Juan Manuel Vara, Marco Brambilla, Verónica Bollati, Esperanza Marcos

Eugenia: towards disciplined and automated development of GMF-based graphical model editors

  • Regular Paper

Dimitrios S. Kolovos, Antonio García-Domínguez, Louis M. Rose, Richard F. Paige

Integrating business process simulation and information system simulation for performance prediction

  • Regular Paper

Robert Heinrich, Philipp Merkle, Jörg Henss, Barbara Paech

    Bildnachweise
    AvePoint Deutschland GmbH/© AvePoint Deutschland GmbH, ams.solutions GmbH/© ams.solutions GmbH, Wildix/© Wildix, arvato Systems GmbH/© arvato Systems GmbH, Ninox Software GmbH/© Ninox Software GmbH, Nagarro GmbH/© Nagarro GmbH, GWS mbH/© GWS mbH, CELONIS Labs GmbH, USU GmbH/© USU GmbH, G Data CyberDefense/© G Data CyberDefense, Vendosoft/© Vendosoft, Kumavision/© Kumavision, Noriis Network AG/© Noriis Network AG, tts GmbH/© tts GmbH, Asseco Solutions AG/© Asseco Solutions AG, AFB Gemeinnützige GmbH/© AFB Gemeinnützige GmbH, Ferrari electronic AG/© Ferrari electronic AG, Doxee AT GmbH/© Doxee AT GmbH , Haufe Group SE/© Haufe Group SE, NTT Data/© NTT Data, Bild 1 Verspätete Verkaufsaufträge (Sage-Advertorial 3/2026)/© Sage, IT-Director und IT-Mittelstand: Ihre Webinar-Matineen in 2025 und 2026/© amgun | Getty Images