README.md 135 B

shlaer-mellor-metamodel-verifier

Domain responsible for verifying a Shlaer-Mellor model against the shlaer-mellor-metamodel project.