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

Joseph Roland Kiniry, Fintan Fairmichael

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	5592
ISSN	0302-9743
Status	Udgivet - 2009
Udgivet eksternt	Ja
Begivenhed	12th International Symposium on Component Based Software Engineering - East Stroudsburg, USA Varighed: 24 jun. 2009 → 26 jun. 2009

Konference	12th International Symposium on Component Based Software Engineering
Land/Område	USA
By	East Stroudsburg
Periode	24/06/2009 → 26/06/2009

Citationsformater

@article{fcc5c284521a424a9657c7addfd4d6de,

title = "Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations",

author = "Kiniry, {Joseph Roland} and Fintan Fairmichael",

year = "2009",

language = "English",

volume = "5592",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "12th International Symposium on Component Based Software Engineering, CBSE 2009 ; Conference date: 24-06-2009 Through 26-06-2009",

}

TY - JOUR

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

AU - Kiniry, Joseph Roland

AU - Fairmichael, Fintan

PY - 2009

Y1 - 2009

M3 - Journal article

SN - 0302-9743

VL - 5592

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 12th International Symposium on Component Based Software Engineering

Y2 - 24 June 2009 through 26 June 2009

ER -