Available online
Description
This programme shows how in transforming an abstract specification into a concrete specification a number of proof obligations must be met. It uses the same examples that were developed in Video Ba...nd 2. By comparing a few simple operations on the two specifications it develops the conditions necessary for the concrete specification to be an accurate representation of the abstract specification. In order to follow the programme it is necessary to have the video notes and the course units. The programme has a number of :Stop the Tape" points at which the viewer reads a section of the video notes and does some work before continuing with the video. This technique is used in this programme to give the student a feel for what can go wrong if the rules are not adhered to. In this way it is intended that the student will get an intuitive feel for why these rules are necessary. The programme will only be of interest to experienced software developers and even then only to those who have either had some previous experience with the Vienna Development Method or this course. It is one of a series of four for this course"An Introduction to formal methods of Software Development".
This programme shows how in transforming an abstract specification into a concrete specification a number of proof obligations must be met. It uses the same examples that were developed in Video Ba...nd 2. By comparing a few simple operations on the two specifications it develops the conditions necessary for the concrete specification to be an accurate representation of the abstract specification. In order to follow the programme it is necessary to have the video notes and the course units. The programme has a number of :Stop the Tape" points at which the viewer reads a section of the video notes and does some work before continuing with the video. This technique is used in this programme to give the student a feel for what can go wrong if the rules are not adhered to. In this way it is intended that the student will get an intuitive feel for why these rules are necessary. The programme will only be of interest to experienced software developers and even then only to those who have either had some previous experience with the Vienna Development Method or this course. It is one of a series of four for this course"An Introduction to formal methods of Software Development".
| Item code: | PM687; VCR3 |
|---|---|
| Recording date: | 27-07-1987 |
| Original broadcast channel: | ntx |
| Published: | 1987 |
| Rights Statement: | |
| Restrictions on use: | |
| Duration: | 00:28:38 |
| + Show more... | |
| Producer: | Andrew Barker |
| Contributors: | Peter Gibbins; Mark Woodman |
| Publisher: | BBC Open University |
| Keyword(s): | Software; Vienna Development Method; Proof obligations |
| Master spool number: | HOU6007 |
| Production number: | FOUM293E |
| Videofinder number: | 1156 |
| Available to public: | no |
