1
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Achieving Critical System Survivability Through Software Architectures -- Reliability Support for the Model...

2
by Lemos, Rogério de
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services...

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... to Verification and Validation of Formal Software Models -- A Pattern-Based Approach for Modeling and Analyzing...

5
by Lemos, Rogério
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects: ...Software engineering...