Semantic Constructions in the Specification Language GLIDER.
Silvia ClericiRosa M. JiménezFernando OrejasPublished in: COMPASS/ADT (1992)
Keyphrases
- specification language
- formal specification
- programming language
- description language
- requirements specification
- symbolic execution
- semantic web
- semantic information
- high level
- web services
- software environment
- multi agent
- natural language
- state space
- general purpose
- database systems
- building blocks
- semantic similarity
- artificial intelligence
- machine learning
- databases