Creation of ESTELLE/Ag Specifications Using Knowledge Bases.
Henrikas PraneviciusGermanas BudnikasPublished in: Informatica (2003)
Keyphrases
- knowledge base
- description logics
- specification language
- knowledge representation systems
- high level
- creation process
- delay insensitive
- knowledge based systems
- logic programming
- formal specification
- background knowledge
- dl lite
- electron microscopy
- functional requirements
- semantic network
- databases
- knowledge acquisition
- knowledge representation
- expert systems
- data mining
- neural network
- control flow