Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

Joseph Roland Kiniry, Fintan Fairmichael

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind5592
ISSN0302-9743
StatusUdgivet - 2009
Udgivet eksterntJa
Begivenhed12th International Symposium on Component Based Software Engineering - East Stroudsburg, USA
Varighed: 24 jun. 200926 jun. 2009

Konference

Konference12th International Symposium on Component Based Software Engineering
Land/OmrådeUSA
ByEast Stroudsburg
Periode24/06/200926/06/2009

Citationsformater