MPG.eBooks - Search Results

1

VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Published 1987

Springer Berlin Heidelberg

Table of Contents: “... -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM...”

Read Now

2

VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Published 1990

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

3

Baltic Computer Science : Selected Papers

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

4

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

5

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

6

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001

Springer Berlin Heidelberg

Table of Contents: “.... Industrial Software Engineering: Closing the Gap -- A Method for Recovery and Maintenance of Software...”

Read Now

7

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... miniscoped linear temporal logic -- A formal approach to requirements engineering -- A two-phase approach...”

Narrow Search