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 |
Drucken
Impressum