Ausgabe 1/2017
Inhalt (16 Artikel)
SoSyM reflections of 2016: a journal status report
Geri Georg, Jeff Gray, Bernhard Rumpe, Martin Schindler
Introduction to the Software Engineering and Formal Methods 2013 special issue
Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
Constraint-based test generation for automotive operating systems
Yunja Choi, Taejoon Byun
Introduction to the theme issue on variability modeling of software-intensive systems
Andrzej Wąsowski, Thorsten Weyer
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems
Andrzej Wąsowski, Thorsten Weyer
Analysing the Linux kernel feature model changes using FMDiff
Nicolas Dintzner, Arie van Deursen, Martin Pinzger
The shape of feature code: an analysis of twenty C-preprocessor-based systems
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
Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola Accioly
Specification and automated validation of staged reconfiguration processes for dynamic software product lines
Malte Lochau, Johannes Bürdek, Stefan Hölzle, Andy Schürr
Statistical prioritization for software product line testing: an experience report
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
Variability testing in the wild: the Drupal case study
Ana B. Sánchez, Sergio Segura, José A. Parejo, Antonio Ruiz-Cortés
Analysing the cognitive effectiveness of the WebML visual notation
David Granada, Juan Manuel Vara, Marco Brambilla, Verónica Bollati, Esperanza Marcos
Eugenia: towards disciplined and automated development of GMF-based graphical model editors
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
Robert Heinrich, Philipp Merkle, Jörg Henss, Barbara Paech
An empirical approach toward the resolution of conflicts in goal-oriented models
Jameleddine Hassine, Daniel Amyot