Cover Image
Read Now

1
Published 1999
Springer London
Table of Contents: “... Through Domain Engineering -- 15 Formal Verification in Railways -- 16 Cleanroom Software Engineering...”
Cover Image
Read Now

2
by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999
Springer London
Table of Contents: “... The Transformational Approach -- 1.4 Silver Bullets -- No Silver Bullet: Essence and Accidents of Software Engineering...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

7
Published 1998
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

8
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... specification techniques -- Viewpoints and objects -- Teaching programming as engineering -- A course on formal...”