Login / Signup
Position Paper on Requirement Specification Language Project.
Peter White
Published in:
ADT (1986)
Keyphrases
</>
specification language
programming language
formal specification
description language
requirements specification
case study
future directions
software environment
artificial intelligence
model checking
symbolic execution
software engineering
software development
dynamic environments
systems development