Available online
Description
The programme shows how formal methods were used by Imperial Software Technology in the development of a commercial Integrated Project Support Environmnent tool for use by other software producers.... It begins by describing the company (IST) and the philosophy behind the product (ISTAR). Some of the capabilities of ISTAR are shown and reasons are given as to why only a small portion of ISTAR was developed using formal methods. The programme goes on to describe the operation of the database interface and its development in the VDM formal methods language. Animation is used to show how the database operates and how these considerations were turned into VDM code.
The programme shows how formal methods were used by Imperial Software Technology in the development of a commercial Integrated Project Support Environmnent tool for use by other software producers.... It begins by describing the company (IST) and the philosophy behind the product (ISTAR). Some of the capabilities of ISTAR are shown and reasons are given as to why only a small portion of ISTAR was developed using formal methods. The programme goes on to describe the operation of the database interface and its development in the VDM formal methods language. Animation is used to show how the database operates and how these considerations were turned into VDM code.
| Item code: | PM687; VCR4 |
|---|---|
| Recording date: | 08-09-1987 |
| Original broadcast channel: | ntx |
| Published: | 1987 |
| Rights Statement: | |
| Restrictions on use: | |
| Duration: | 01:00:00 |
| + Show more... | |
| Producer: | Andrew Barker |
| Presenters: | Darrel Ince; Mark Woodman |
| Narrator: | Peter Gibbins |
| Contributors: | Victor Stenning; David Dixon; Greg Reeve |
| Publisher: | BBC Open University |
| Keyword(s): | Formal methods; Project support environment; Reification; Software specification; Vienna; Warehouse stocksystem |
| Master spool number: | HOU6007 |
| Production number: | FOUM294Y |
| Videofinder number: | 1157 |
| Available to public: | no |
