Keyphrases
- high level
- natural language
- facial expressions
- software architecture
- delay insensitive
- real world
- functional requirements
- architectural design
- written in natural language
- machine learning
- lambda calculus
- databases
- rewrite rules
- formal specification
- concurrent systems
- reactive systems
- formal language
- formal verification
- specification language
- software engineering
- data model
- expert systems
- neural network