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
by Broy, Manfred, Rumpe, Bernhard
Published 1998
Springer Berlin Heidelberg
Subjects: ...Software engineering...

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

6
by Broy, Manfred, Rumpe, Bernhard
Published 2002
Springer Berlin Heidelberg
Subjects: ...Software engineering...

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

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

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

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

11
Published 1996
Springer Berlin Heidelberg
Subjects: ...Software engineering...

12
by Broy, Manfred, Stølen, Ketil
Published 2001
Springer New York
Subjects: ...Software engineering...

13
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Framework for Fast Fourier Transforms -- Intersecting Classes and Prototypes -- Software Engineering...

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

17
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Mathematical Methods in System and Software Engineering -- Unified Theories of Programming -- 3. Programming...

18
Published 2001
Springer Berlin Heidelberg
Table of Contents: .... Industrial Software Engineering: Closing the Gap -- A Method for Recovery and Maintenance of Software...

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

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