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 and Proenca, Jose and Clarke, Dave :
Feature Nets: behavioural modelling of software product lines.
[Online-Edition: https://doi.org/10.1007/s10270-015-0475-z]
In: Software and System Modeling, 15 (4) pp. 1181-1206.
[Article] , (2016)

Muschevici, Radu and Clarke, Dave and Proenca, Jose
Classen, Andreas and Siegmund, Norbert (eds.) :

Executable modelling of dynamic software product lines in the ABS language.
[Online-Edition: http://doi.acm.org/10.1145/2528265.2528266]
In: 5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013. ACM
[Conference or Workshop Item] , (2013)

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Schafer, Ina and Schäfer, Jan and Schlatte, Rudolf and Wong, Peter
Bernardo, M. and Issarny, V. (eds.) :

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems. LNCS, 6659. Springer-Verlag , p. 417.
[Book Section] , (2011)

Muschevici, Radu and Proenca, Jose and Clarke, Dave
Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo (eds.) :

Modular Modelling of Software Product Lines with Feature Nets.
[Online-Edition: https://doi.org/10.1007/978-3-642-24690-6_22]
In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. In: Lecture Notes in Computer Science , 7041 . Springer
[Conference or Workshop Item] , (2011)

Muschevici, Radu and Clarke, Dave and Proenca, Jose
Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve (eds.) :

Feature Petri Nets.
[Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf]
In: 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). Lancaster University
[Conference or Workshop Item] , (2010)

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter
Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve (eds.) :

HATS - A Formal Software Product Line Engineering Methodology.
[Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf]
In: 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). Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea
[Conference or Workshop Item] , (2010)

Clarke, Dave and Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) :

Variability Modelling in the ABS Language.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11]
In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. In: Lecture Notes in Computer Science , 6957 . Springer
[Conference or Workshop Item] , (2010)

This list was generated on Sat Apr 20 00:47:40 2019 CEST.