Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Evolution – Examples from the Air Traffic Management Domain -- Type-Driven Automatic Quotation of Concrete...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
“... cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
“... – component-based development methodologies – management of evolutions/iterations in the analysis, design...”