Version 2.1
This version has an interactive UML/OCL editor (Edit KM3 option), program abstraction from Java to UML/OCL, and requirements formalisation tools. Improved code generators for Python and Swift are also incorporated (in cg.zip, uml2py.zip) and extended OCL facilities for maps, functions and regular expressions are provided.