Ausgabe 4/2017
Inhalt (13 Artikel)
From software extensions to product lines of dataflow programs
- Regular Paper
Rui C. Gonçalves, Don Batory, João L. Sobral, Taylor L. Riché
An approach based on the domain perspective to develop WSAN applications
- Regular Paper
Taniro Rodrigues, Flávia C. Delicato, Thais Batista, Paulo F. Pires, Luci Pirmez
Process mining using BPMN: relating event logs and process models
- Regular Paper
Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
- Regular Paper
Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz-Cortés
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
- Regular Paper
Dominique Méry, Michael Poppleton
Model checking multi-level and recursive nets
- Regular Paper
Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
On the formal interpretation and behavioural consistency checking of SysML blocks
- Regular Paper
Jaco Jacobs, Andrew Simpson
Variability extraction and modeling for product variants
- Open Access
- Regular Paper
Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Alexander Egyed
A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
- Regular Paper
Xiao-bo Li, Feng Yang, Yong-lin Lei, Wei-ping Wang, Yi-fan Zhu
A novel model-based testing approach for software product lines
- Regular Paper
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel Tyszberowicz
