Sciweavers

ER
2007
Springer
80views Database» more  ER 2007»
13 years 10 months ago
From Declarative to Imperative UML/OCL Operation Specifications
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
Jordi Cabot