77
Voted
KBSE
1998
IEEE
15 years 12 days ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...