Title

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

Date of Original Version

1985

Type

Article

Abstract or Description

Formal specifications customarily deal exclusively with the domain of functional properties of software. However, other domians are of interest to software desginers 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.

 

Published In

Proc. Third Int'l Workshop on Software Specification and Design.