TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave (2016):
Feature Nets: behavioural modelling of software product lines.
In: Software and System Modeling, 15 (4), pp. 1181-1206. DOI: 10.1007/s10270-015-0475-z,
[Article]

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Classen, Andreas ; Siegmund, Norbert (eds.) (2013):
Executable modelling of dynamic software product lines in the ABS language.
pp. 17-24, ACM, 5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013, DOI: 10.1145/2528265.2528266,
[Conference or Workshop Item]

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Bernardo, M. ; Issarny, V. (eds.) (2011):
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: LNCS, 6659, In: Formal Methods for Eternal Networked Software Systems, p. 417, Springer-Verlag, [Book Section]

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (eds.) (2011):
Modular Modelling of Software Product Lines with Feature Nets.
In: Lecture Notes in Computer Science, 7041, pp. 318-333, Springer, 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₂₂,
[Conference or Workshop Item]

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (eds.) (2010):
Feature Petri Nets.
pp. 99-106, Lancaster University, 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), [Conference or Workshop Item]

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (eds.) (2010):
HATS - A Formal Software Product Line Engineering Methodology.
In: Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea,
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), [Conference or Workshop Item]

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
In: Lecture Notes in Computer Science, 6957, pp. 204-224, Springer, 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₁₁,
[Conference or Workshop Item]

This list was generated on Tue Nov 30 03:59:53 2021 CET.