450 search results - page 23 / 90 » Structural and Behavioral Decomposition in Object Oriented M... |
TACAS
1999
Springer
13 years 12 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
APIN
2006
13 years 7 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
WSC
1998
13 years 9 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
ICEIS
2003
IEEE
14 years 29 days ago
2003
IEEE
: This paper brings together two research areas, i.e. “Data Warehouses” and “Temporal Databases”, involving representation of time. Looking at temporal aspects within a dat...