Login / Signup
Reasoning about static and dynamic properties in alloy: A purely relational approach.
Marcelo F. Frias
Carlos López Pombo
Gabriel A. Baum
Nazareno Aguirre
T. S. E. Maibaum
Published in:
ACM Trans. Softw. Eng. Methodol. (2005)
Keyphrases
</>
spatial reasoning
relational data
real time
artificial intelligence
database systems
data model
data sets
relational databases
topological properties
formal theory