Formalizing requirements with object models and temporal constraints.
Alessandro CimattiMarco RoveriAngelo SusiStefano TonettaPublished in: Softw. Syst. Model. (2011)
Keyphrases
- temporal constraints
- object models
- workflow systems
- temporal reasoning
- simple temporal
- object model
- visual features
- temporal information
- image features
- range data
- temporal constraint networks
- database systems
- decision trees
- functional dependencies
- workflow specification
- pixel wise
- database
- qualitative and quantitative
- spatial information
- constraint satisfaction problems
- image database
- video sequences
- computer vision