What Can We Specify? Questions in the Domains of Software Specifications

Author: Mary Shaw

Proc. of Third International Workshop on Software Specification and Design, IEEE, August 1995, pages 214-215.


Formal specifications customarily deal exclusively with the domain of functional properties of software. However, other domains are of interest to software designers and developers. Two particular areas of concern for practical software development are not yet well-served by formal specifications. This note raises issues about how those areas might be better served.

Brought to you by the Composable Software Systems Research Group in the School of Computer Science at Carnegie Mellon University.

[Last modified 31-July-02.
Mail suggestions to the