A technique for software module specification with examples Journal Articles

abstract

• This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system.

authors

• Parnas, David

status

• published 

publication date

• May 1972

has subject area

• 08 Information and Computing Sciences (FoR)
• Information Systems (Science Metrix)

published in

• Communications of the ACM  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering

Digital Object Identifier (DOI)

• 10.1145/355602.361309

start page

• 330

end page

• 336

volume

• 15

issue

• 5