Formal Modeling of Complex Commands in Industrial Software Specifications.
Michael V. ManninoSukumar RathnamInjun ChoiVeronica P. TsengPublished in: Inf. Syst. Res. (1994)
Keyphrases
- reactive systems
- high level
- formal specification
- written in natural language
- formal methods
- real world
- requirements specification
- modeling language
- formal models
- control flow
- industrial systems
- user interface
- source code
- software systems
- specification language
- software development
- operational semantics
- commercial software
- data flow
- delay insensitive
- industrial applications
- software tools
- controlled natural language