Volume 16; Issue 1

Software & Systems Modeling

Volume 16; Issue 1

1

Analysing the cognitive effectiveness of the WebML visual notation

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 5.22 MB

english, 2017

2

Integrating business process simulation and information system simulation for performance prediction

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.36 MB

english, 2017

3

Constraint-based test generation for automotive operating systems

Choi, Yunja, Byun, Taejoon

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 970 KB

english, 2017

4

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

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 2.31 MB

english, 2017

5

Inferring physical units in formal models

Krings, Sebastian, Leuschel, Michael

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

6

Analysing the Linux kernel feature model changes using FMDiff

Dintzner, Nicolas, van Deursen, Arie, Pinzger, Martin

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.90 MB

english, 2017

7

Variability testing in the wild: the Drupal case study

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 2.06 MB

english, 2017

8

An empirical approach toward the resolution of conflicts in goal-oriented models

Hassine, Jameleddine, Amyot, Daniel

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 3.84 MB

english, 2017

9

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

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.35 MB

english, 2017

10

Introduction to the Software Engineering and Formal Methods 2013 special issue

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 515 KB

english, 2017

11

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

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 2.05 MB

english, 2017

12

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

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 3.53 MB

english, 2017

13

Statistical prioritization for software product line testing: an experience report

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

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 2.28 MB

english, 2017

14

Introduction to the theme issue on variability modeling of software-intensive systems

Wąsowski, Andrzej, Weyer, Thorsten

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 460 KB

english, 2017

15

Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems

Wąsowski, Andrzej, Weyer, Thorsten

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 309 KB

english, 2017

16

SoSyM reflections of 2016: a journal status report

Geri Georg,Jeff Gray,Bernhard Rumpe,Martin Schindler

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 590 KB

english, 2017