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]
Official URL: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf
| 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: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
View Item |
Drucken
Impressum