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.
Abstract
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 Maintainer.]