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]
Official URL: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2010 |
Editors: | Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve |
Creators: | Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; 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: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |