Slides of the Talks

Thursday, December 4, 1997

Opening

No slides available

Motivation and Objectives of the VSE Project

(M. Ullmann, BSI)
Ppt file (seems to be corrupt, 56 KB), Html (several files, created from ppt sources), Gzipped Postscript (seems to be corrupt but prints sometimes, 48 KB).

Functional Modeling and Modular Deduction in VSE

(Prof. Dr. W. Reif, Universität Ulm)
Gzipped postscript file (110 KB),

Demands to Deduction arising from Formal Software Development

(Dr. D. Hutter, DFKI)
Gzipped postscript file (630 KB).

Secure Digital Signatures: An Application of VSE

(Prof. Dr. W. Reif, M. Balser, Universität Ulm)
Gzipped postscript file (42 KB).

Software Development in VSE - Introduction to the Demo-Example

(A. Wolpers, DFKI)
Gzipped postscript file (680 KB), Complete dvi/ps sources (40 KB).

Friday, December 5, 1997

Software Development in VSE - Demonstration of VSE in Small Groups

(A. Wolpers, DFKI) No slides available, see Introduction to the Demo-Example

VSE-II: An Overview of Ongoing Work

(Dr. habil. W. Stephan, DFKI)
Gzipped postscript file (470 KB),

Final Discussion

No slides available