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

Joseph Roland Kiniry, Fintan Fairmichael

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	5592
ISSN	0302-9743
Publication status	Published - 2009
Externally published	Yes
Event	12th International Symposium on Component Based Software Engineering - East Stroudsburg, United States Duration: 24 Jun 2009 → 26 Jun 2009

Conference	12th International Symposium on Component Based Software Engineering
Country/Territory	United States
City	East Stroudsburg
Period	24/06/2009 → 26/06/2009

Cite this

@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

VL - 5592

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

T2 - 12th International Symposium on Component Based Software Engineering

Y2 - 24 June 2009 through 26 June 2009

ER -