3 search results - page 1 / 1 » From Declarative to Imperative UML OCL Operation Specificati... |
UML
2000
Springer
14 years 2 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
ER
2007
Springer
14 years 5 months ago
2007
Springer
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...
ICECCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...