Series:

Thumbnail	Title	Series Number	Date	Description
	Developing a specification Part 2
	Proof obligations		1987	This programme shows how in transforming an abstract specification into a concrete specification a...
	Formal methods in project management		1987	The programme shows how formal methods were used by Imperial Software Technology in the development...
	MA290 Showreel compilation			This compilation programme was for use at seminars and was not for transmission.
	Top down design		1988	This programme looks at a systematic technique for designing computer programs.
	Designing a booking system		09 June 1988	This programme looks at the way modules can be used to design a tidy computer system.
	Trees in data processing		21 July 1988	This programme looks at the way manufacturing companies can structure their product information in...
	Indexed files		11 August 1988	This programme looks at the way indexed files can be used to store medical records.
	File hierarchies and reorganisation		1988	This programme looks at the way computers are used in one of the largest on-line applications in...
	Database freightliner case study		1988	This programme looks at how database systems can be used in the transport business.