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:

Download

Collections

Publications