Abstract Requirements Specification: A New Approach and Its Application.

Constance L. Heitmeyer John D. McLean

Published in: IEEE Trans. Software Eng. (1983)

Keyphrases

requirements specification
requirements engineering
software engineering
software requirements
specification language
software systems
real world
activity diagrams
high level
cooperative
information technology
development process
reverse engineering
knowledge base
data analysis
query language