Publisher's Synopsis
The book provides a record of a workshop requirements definition, system specification and testing of computer software. Two particular aims of the workshop were to bring together academic investigators and industrial practitioners to strive for progress in commercial software development, and to stress the interrelationships between the topics covered by the workshop. These aims are reflected in the book, which represents a contribution to the state of the art in software engineering.
