19 lines
691 B
Plaintext
19 lines
691 B
Plaintext
|
|
|
|
"visibilityconsistency.sml" ===> [DONE (class: support for
|
|
assocends)] ==> MANUEL
|
|
"liskovconstraint.sml" ===> [DONE (invariants)]
|
|
"datamodelconsistency.sml" ===> [DONE]
|
|
"constructorconsistency.sml" ===> [DONE
|
|
(force_initialize_attributes still left]
|
|
==> Manuel
|
|
"operationalconsistency.sml" ===> [ready for isabelle]
|
|
"refineconstraint.sml" ===> [ready for isabelle]
|
|
"commandqueryconsistency.sml" ===> [ready for isablle
|
|
(is_modified_only still left)]
|
|
"taxonomyconsistency.sml" ===> [DONE]
|
|
"interfaceconsistency.sml" ===> [DONE]
|
|
"SecureUMLconstraint.sml" ===> [IMPLEMENTATION NOT FINISHED]
|
|
|
|
|