TU Darmstadt / ULB / TUbiblio

HATS - A Formal Software Product Line Engineering Methodology

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

Item Type: Conference or Workshop Item
Erschienen: 2010
Editors: Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve
Creators: Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter
Title: HATS - A Formal Software Product Line Engineering Methodology
Language: German
Title of Book: Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: 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)
Date Deposited: 31 Dec 2016 10:40
Official URL: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf
Identification Number: ClarkeDHJPWW10
Export:

Optionen (nur für Redakteure)

View Item View Item