MBASE_Guidelines_v2.4.1.doc - Center for Systems and Software ...

If it's risky not to put an item (e.g., project constraints on interoperability with other
...... in either informal text or a formal specification language (e.g. UML's OCL).

Part of the document