Temporal Apsects in Reuse of Requirement Specifications
Valeria De AntonellisLorenzo VandoniPublished in: CAiSE (1993)
Keyphrases
- data model
- spatial and temporal
- temporal constraints
- temporal reasoning
- spatio temporal
- temporal databases
- database
- temporal information
- linear temporal logic
- delay insensitive
- temporal structure
- formal specification
- learning objects
- high level
- space time
- specification language
- software reuse
- temporal analysis
- knowledge base
- machine learning
- real time