Incremental Requirements Specification with LOTOS.

Kenneth J. Turner

Published in: Requir. Eng. (1997)

Keyphrases

requirements specification
requirements engineering
software engineering
software requirements
specification language
software systems
development process
real world
machine learning
high level
general purpose
open source