Intermediate Executable Architectural Specifications for KBSA, Part II.
Yi DengPublished in: SEKE (1993)
Keyphrases
- formal specification
- attribute grammars
- control flow
- specification language
- high level
- software architecture
- process algebra
- concurrent systems
- machine learning
- context free grammars
- model checking
- written in natural language
- relational databases
- data structure
- information systems
- social networks
- real time
- evolutionary algorithm
- website
- formal verification
- context free
- information retrieval
- real world
- bounded model checking
- database