Specification Facets for More Precise, Focused Documentation

Date
1997
Authors
Leavens, Gary
Ruby, Clyde
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
Abstract

Specification languages could aid reuse to a larger extent if they could document all important facets of software, not just functional behavior. Since a specification language designer cannot know exactly what aspects of a piece of software will be important, users should be able to do ``metaspecification''; that is, users should be able to declare new facets, and then use these facets to specify their software. Examples of facets that users might want to specify include time and space usage, safety considerations, aliasing, error checking, the user interface, etc.

Description

Copyright © Gary T. Leavens and Clyde Ruby, 1997.

Keywords
reuse, formal specification languages, metaspecification, facets, expressiveness
Citation
DOI
Source
Collections