CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

HATS: A Formal Software Product Line Engineering Methodology

Dave Clarke ; Nikolay Diakov ; Reiner Hähnle (Institutionen för data- och informationsteknik (Chalmers) ; Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Einar Broch Johnsen ; German Puebla ; Balthasar Weitzel ; Peter Wong
Proceedings 1st International Workshop on Formal Methods in Software Product Line Engineering (Jeju Island, South Corea) (2010)
[Konferensbidrag, övrigt]


Denna post skapades 2010-10-27.
CPL Pubid: 128201

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)
Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)

Ämnesområden

Datavetenskap (datalogi)
Datalogi
Programvaruteknik

Chalmers infrastruktur