Verbal requirements method

Author

Parthasarathy, J. ; Bondie, L.S. ; Cheng, Hsiu-Che ; Franklin, M.L. ; Gongloor, P. ; Jamsa, K.A. ; Lung, Chung-Horng ; Rome, M.A. ; Schmidt, D.L.

Author_Institution

Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA

Volume

12

Issue

3

fYear

1993

Firstpage

41

Lastpage

46

Abstract

A definition of the verbal requirements method (VRM) is given. The VRM provides a natural language-like syntax to help software developers specify requirements easily. VRM was developed over a semester as a group project for a research course. The initial phase of the project was to survey existing specification languages and classify them on the basis of a fixed template. The latter phase of the research resulted in the actual specification language being developed. An example illustrates the use of the VRM for specifying a small real time system. The lack of constructs to specify software algorithms in terms of traditional conditional and looping structures enables specifiers to capture only the behavior of the system without reflecting the implementation details.<>

Keywords

formal specification; natural languages; real-time systems; specification languages; VRM; natural language-like syntax; small real time system; software algorithms; software developers; specification language; verbal requirements method; Costs; Formal specifications; Hardware; Natural languages; Quality assurance; Real time systems; Specification languages; Terminology; Timing; Topology;

fLanguage

English

Journal_Title

Potentials, IEEE

Publisher

ieee

ISSN

0278-6648

Type

jour

DOI

10.1109/45.282294

Filename

282294