Technical Report Number
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.
Roman, Gruia-Catalin, "A Rigorous Approach to Building Formal System Requirements" Report Number: WUCS-82-7 (1982). All Computer Science and Engineering Research.