Explicit Specifications

  • Shaoying Liu


As we have learned in Chapter 4, a process specification, given with pre and postconditions, is usually concise and precise in defining the functionality of the process. This kind of specification is usually suitable for defining requirements and high level design, because it allows the developer to concentrate on the relation between the inputs and outputs, with no need to think of how the relation can be implemented. However, when deriving a detailed design specification from a high level design, an algorithmic solution using sequence, choice, and iteration usually needs to be provided. Compared with program code, the detailed design specification may still be expressed in an abstract manner.


Case Statement Assignment Statement Input Device Conditional Statement Output Device 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Shaoying Liu
    • 1
  1. 1.Department of Computer ScienceHosei UniversityTokyoJapan

Personalised recommendations