RSF: A Formalism for Executable Requirement Specifications.
Michela Degl'InnocentiGian Luigi FerrariGiuliano PaciniFranco TuriniPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- formal specification
- attribute grammars
- process algebra
- control flow
- concurrent systems
- transition systems
- operational semantics
- formal language
- specification language
- formal model
- real time
- delay insensitive
- knowledge representation
- model checking
- finite state machines
- context free grammars
- reactive systems
- real world
- high level
- learning algorithm
- theoretical framework
- trade off
- bayesian networks
- website