2 search results - page 1 / 1 » 3rd international workshop on advances and applications of p... |
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
DKE
2002
13 years 4 months ago
2002
Topological invariants of spatial databases (i.e., finite structures that capture the topological properties of the database) are receiving increasing attention since they can act...