Executable Graphic Specifications in Automation Projects.
Kari KaarelaAri OkkonenPublished in: SEKE (1993)
Keyphrases
- formal specification
- attribute grammars
- control flow
- case study
- model checking
- specification language
- software development
- software development life cycle
- operational semantics
- functional requirements
- data flow
- software projects
- project management
- information technology
- high level
- temporal logic
- context free
- reactive systems
- delay insensitive