Towards effect preservation of updates with loops
Integrity and internal control in information systems V
Drawing Preconditions of Operation Contracts from Conceptual Schemas
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |