The importance of flow in software development Jeff GrayBernhard Rumpe Editorial 05 September 2017 Pages: 927 - 928
From software extensions to product lines of dataflow programs Rui C. GonçalvesDon BatoryTaylor L. Riché Regular Paper 07 September 2015 Pages: 929 - 947
An approach based on the domain perspective to develop WSAN applications Taniro RodriguesFlávia C. DelicatoLuci Pirmez Regular Paper 25 September 2015 Pages: 949 - 977
Generating process model collections Zhiqiang YanRemco DijkmanPaul Grefen Regular Paper 13 October 2015 Pages: 979 - 995
Promoting traits into model-driven development Vahdat AbdelzadTimothy C. Lethbridge Regular Paper 07 November 2015 Pages: 997 - 1017
Process mining using BPMN: relating event logs and process models Anna A. KalenkovaWil M. P. van der AalstVladimir A. Rubin Regular Paper 20 October 2015 Pages: 1019 - 1048
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing Amador DuránDavid BenavidesAntonio Ruiz-Cortés Regular Paper 14 December 2015 Pages: 1049 - 1082
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols Dominique MéryMichael Poppleton Regular Paper 29 December 2015 Pages: 1083 - 1115
Model checking multi-level and recursive nets Mirtha Lina Fernández VeneroFlávio Soares Corrêa da Silva Regular Paper 02 January 2016 Pages: 1117 - 1144
On the formal interpretation and behavioural consistency checking of SysML blocks Jaco JacobsAndrew Simpson Regular Paper 21 December 2015 Pages: 1145 - 1178
Variability extraction and modeling for product variants Lukas LinsbauerRoberto Erick Lopez-HerrejonAlexander Egyed Regular Paper Open access 29 January 2016 Pages: 1179 - 1199
A model framework-based domain-specific composable modeling method for combat system effectiveness simulation Xiao-bo LiFeng YangYi-fan Zhu Regular Paper 25 January 2016 Pages: 1201 - 1222
A novel model-based testing approach for software product lines Ferruccio DamianiDavid FaitelsonShmuel Tyszberowicz Regular Paper 13 February 2016 Pages: 1223 - 1251