Specification Facets for More Precise, Focused Documentation

dc.contributor.author Leavens, Gary
dc.contributor.author Ruby, Clyde
dc.contributor.department Computer Science
dc.date 2018-02-13T22:49:25.000
dc.date.accessioned 2020-06-30T01:55:12Z
dc.date.available 2020-06-30T01:55:12Z
dc.date.issued 1997
dc.description.abstract <p>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.</p>
dc.description.comments <p>Copyright © Gary T. Leavens and Clyde Ruby, 1997.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/126/
dc.identifier.articleid 1115
dc.identifier.contextkey 5338620
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/126
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/19935
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/126/TR97_04.pdf|||Fri Jan 14 19:25:11 UTC 2022
dc.subject.disciplines Computer Sciences
dc.subject.disciplines Programming Languages and Compilers
dc.subject.keywords reuse
dc.subject.keywords formal specification languages
dc.subject.keywords metaspecification
dc.subject.keywords facets
dc.subject.keywords expressiveness
dc.title Specification Facets for More Precise, Focused Documentation
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
Name:
TR97_04.pdf
Size:
110.79 KB
Format:
Adobe Portable Document Format
Description:
Collections