Login / Signup
A Tool for Generating Specifications from a Family of Formal Requirements.
Jan Bredereke
Published in:
FORTE (2001)
Keyphrases
</>
requirements specification
formal specification
functional requirements
written in natural language
special case
specification language
formal language
requirements engineering
user friendly
reactive systems
software requirements
high level
real time systems
operational semantics
automated tools
class diagram