Next:
Tutorial C
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial A
MONDAY 4th September 1995 (afternoon)
An Introduction to Object-oriented Formal Methods
Kevin Lano and Stephen Goldsack (Imperial College, London, UK)
This tutorial will introduce the field of object-oriented formal methods, describe industrial case studies and the lessons learnt from these case studies, and define an overall process for these methods.
It is aimed at users of formal methods such as Z and VDM who wish to use more powerful structuring techniques, or who wish to take advantage of object-oriented mechanisms for specification. It will also be useful for users of diagrammatic object-oriented methods who wish to increase the level of formality in their software development.
Introductions to Z++ and VDM++ will be provided, so that delegates could gain sufficient knowledge to begin using these methods. We will cover:
Tool support for VDM++ is provided by the AFRODITE consortium.
Dr Lano is an editor of the book ``Object-oriented Specification Case Studies" (Prentice-Hall, 1993). He is co-author of the books ``Reverse-Engineering and Software Maintenance" (McGraw-Hill, 1993) and ``B Abstract Machine Notation: A Reference Manual" (McGraw-Hill, 1995). He has extensive experience of formal development and has published over 40 papers on the theory and practice of formal specification and refinement.
Stephen Goldsack is Emeritus Professor of Computing Science at Imperial College, London. He initially qualified in Physics and became Professor of Computing Science in 1972. He has published two books in the Ada field, and was a developer of DRAGOON, an object oriented language based on Ada83, and of distributed system extensions of Ada. He was also involved in research into the formal foundations of programming, through a project called FOREST.
Next:
Tutorial C
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial A