A Rigorous Approach to Building Formal System Requirements

Authors

Gruia-Catalin Roman, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1982-02-01

Filename

WUCS-82-7.pdf

Technical Report Number

WUCS-82-7

Abstract

This paper reports the author's experience in the use of formal specifications and presents a step by step approach to developing functional requirements for computer-based systems. A simple model of system requirements is introduced first. A systematic approach to developing requirements by starting with the general model and adapting it to the needs to the problem at hand is described and illustrated by means of the simple but realistic example. A basic knowledge of predicate calculus and set theory is assumed on the part of the reader. The presentation is tutorial in nature.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7W66J42

Recommended Citation

Roman, Gruia-Catalin, "A Rigorous Approach to Building Formal System Requirements" Report Number: WUCS-82-7 (1982). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/897