1
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Relational Model of Data for Large Shared Data Banks -- Software Engineering Economics -- The Functional...

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software...

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Software Engineering — From Auxiliary to Key Technology -- The Relevance of the Software Pioneers...

4
Published 1991
Springer Berlin Heidelberg
Subjects: ...Software engineering...

5
Published 1992
Springer Berlin Heidelberg
Subjects: ...Software engineering...

6
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... case study for software engineering with formal methods: A medical information system...

8
Published 1989
Springer Berlin Heidelberg
Subjects: ...Software engineering...

9
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... miniscoped linear temporal logic -- A formal approach to requirements engineering -- A two-phase approach...

10
Published 1991
Springer Berlin Heidelberg
Subjects: ...Software engineering...

11
by Broy, Manfred
Published 1993
Springer Berlin Heidelberg
Subjects: ...Electrical engineering...