PLP: an automated tool for the processing of requirements
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The proper specification of the functional requirements for a real-time system is now recognized as a major consideration in the system develooment cycle. The functional reouirements document is used by the customer, the requirements writer, management, the software designer, ana the system test team. GTE Laboratories is developinq a Requirements Language Processor (PLP) which checks functional requirements for real-time systems for the presence of ambiguity, redundancy, and inconsistency. This paper examines the needs of the users of functional requirements documents, describes the effects that these needs have on the design of the RLD, and describes the implementation of the PLP system.Keywords
This publication has 7 references indexed in Scilit:
- Embedding semantics in LR parser tablesSoftware: Practice and Experience, 1978
- Requirements language processing for the effective testing of real-time systemsPublished by Association for Computing Machinery (ACM) ,1978
- The automatic generation and execution of function test plans for electronic switching systemsPublished by Association for Computing Machinery (ACM) ,1978
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- Software EngineeringIEEE Transactions on Computers, 1976
- The design and implementation of a table driven, interactive diagnostic programming systemCommunications of the ACM, 1976
- Toward improved review of software designsPublished by Association for Computing Machinery (ACM) ,1975