On institutions for modular coalgebraic specifications.
Alexander KurzRolf HennickerPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- formal descriptions
- high level
- formal specification
- delay insensitive
- highly flexible
- real world
- machine learning
- modular neural networks
- artificial intelligence
- concurrent systems
- reactive systems
- specification language
- logic programs
- written in natural language
- functional requirements
- database
- data structure
- search engine
- learning algorithm
- information retrieval
- neural network