Title :
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
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;
Journal_Title :
Potentials, IEEE