Reference model for requirements and specifications

Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave

Research output: Contribution to conferencePaperpeer-review

Abstract

A simple abstraction of the artifacts and activities of software development is proposed. Its purpose is to serve as a framework for discussion and comparison in software engineering, just as the ISO 7-Layer Reference Model has served in the networking area. The reference model is more complete and formal treatment of some the earlier work, presented in higher-order logic.

Original languageEnglish (US)
Pages189
Number of pages1
StatePublished - 2000
Externally publishedYes
EventICRE 2000: 4th IEEE International Conference - Schaumburg, IL, USA
Duration: Jun 19 2000Jun 23 2000

Other

OtherICRE 2000: 4th IEEE International Conference
CitySchaumburg, IL, USA
Period6/19/006/23/00

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software
  • Industrial and Manufacturing Engineering

Fingerprint

Dive into the research topics of 'Reference model for requirements and specifications'. Together they form a unique fingerprint.

Cite this