Keyphrases
- generative model
- high level
- formal specification language
- formal specification
- delay insensitive
- model checking
- real time
- software architecture
- data driven
- artificial intelligence
- software engineering
- unsupervised learning
- specification language
- architectural design
- written in natural language
- learning algorithm
- neural network
- object oriented
- multi agent systems
- machine learning
- functional requirements