Intermediate Executable Architectural Specifications for KBSA, Part I.
Michael EvangelistPublished in: SEKE (1993)
Keyphrases
- formal specification
- attribute grammars
- control flow
- high level
- specification language
- architectural design
- process algebra
- software architecture
- concurrent systems
- table of contents
- delay insensitive
- data flow
- context free grammars
- reactive systems
- model checking
- written in natural language
- real time
- lecture notes
- neural network