Next:
Tutorial I
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial G
WEDNESDAY 6th September 1995 (morning)
Formal Methods, Requirements and Testing
Micheál Mac an Airchinnigh (University of Dublin, Ireland)
Formal Methods have significant contributions to make in both the development and the testing of software. Dr. Mac an Airchinnigh proposes to examine the nature of the Formal Method, to present its origins and ancestry and to give a survey of some of the methods currently in use. This will place one in a knowledgeable position, better able to judge what indeed is a Formal Method and what is not. Such a skill constitutes the first level of engineering expertise - an appreciation of the power and limits of a given technology. The other skill levels of use and exploitation require a much longer training period.
The technical core material, which has been presented at the International Software Quality Week for three years in succession in San Francisco, is introductory and well suited both to management and engineer. The specific notation is that of the Irish School of the Vienna Development Method (VDM) and, for tool support, use is made of Mathematica (TM).
Dr. Micheál Mac an Airchinnigh is Senior Lecturer in Computer Science at the University of Dublin, Trinity College, and responsible for the development of the Irish School of the VDM.
Next:
Tutorial I
Up:
ZUM'95 Tutorials: 4-6th September 1995
Previous:
Tutorial G