A demonstration of three requirements language systems

Abstract

This paper is a summary of a comparative demonstration of three systems requirements tools: the U. S. Air Forces Computer Aided Design ana Specification Analysis Tool (CADSAT) with extensions developed by Logicon [I], Teledyne Brown Engineering's Input/Output Requirements Language (IORL) [2], and TRW's Software Requirements Engineering Methoaology (SREM) [3]. This work is unique because the approach used is close to that of a controlled experiment. Three teams were each given the same Detailed Functional Systems Requirement (DFSR) of an actual U.S. Army management information system. The DFSR was made up of narratives, flowcharts, decision tables, and so forth. Each of the teams acted independently of the others, and turned in a separate final report. Information regarding the number and type of errors found by each demonstration is given. © 1983, ACM. All rights reserved.