Artikel

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave (2016)
Feature Nets: behavioural modelling of software product lines.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-015-0475-z
Artikel, Bibliographie

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf (2012)
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, 14 (5)
doi: 10.1007/s10009-012-0250-1
Artikel, Bibliographie

Konferenzveröffentlichung

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Hrsg.: Classen, Andreas ; Siegmund, Norbert (2013)
Executable modelling of dynamic software product lines in the ABS language.
5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013.
doi: 10.1145/2528265.2528266
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Hrsg.: Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (2011)
Modular Modelling of Software Product Lines with Feature Nets.
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.
doi: 10.1007/978-3-642-24690-6_22
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Hrsg.: Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (2010)
Feature Petri Nets.
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).
Konferenzveröffentlichung, Bibliographie

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Hrsg.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
Variability Modelling in the ABS Language.
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.
doi: 10.1007/978-3-642-25271-6_11
Konferenzveröffentlichung, Bibliographie