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