Specifications in Program Development

John V. Guttag,James J. Horning,S. J. Garland,Kevin D. Jones,A. Modet,Jeannette M. Wing

Specifications in Program Development

1993

John V. Guttag
James J. Horning
S. J. Garland
Kevin D. Jones
A. Modet
Jeannette M. Wing

This book is about formal specification of programs and components of programs. We are interested in using specifications to help in the production and maintenance of high quality software.

Keywords:

Software
Formal specification
Systems engineering
Computer science
program development
quality software
Software engineering

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations