Development of the TUG specification language to support specification reuse.
Chia-Chu ChiangJoseph E. UrbanPublished in: COMPSAC (1994)
Keyphrases
- specification language
- formal specification
- software environment
- description language
- programming language
- support systems
- requirements specification
- tool support
- software engineering
- knowledge management
- knowledge based systems
- software reuse
- learning scenarios
- community driven
- e learning
- model checker
- development process
- general purpose
- knowledge representation
- search algorithm
- high level
- case study