O'Reilly logo

Program Development in Java: Abstraction, Specification, and Object-Oriented Design by John Guttag, Barbara Liskov

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

12 Requirements Specifications

In the preceding chapter, we discussed how to do requirements analysis. This activity involved interacting with a customer to discover what the product being developed is supposed to do. The result of the analysis is a requirements document that captures this understanding. The most important part of the requirements document is a requirements specification. This chapter describes how to write a requirements specification.

As we shall see, a program is a data object, and its specification will be similar to those we have already seen for abstract types. Specifications for abstract types rely on the overview section to define a model for the states of their objects. In those specifications, we were able to make ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required