REVIEWED PAPERS - Formal Approaches to Systems Analysis Using UML: An Overview - UML is a modeling language that is easily learned by system developers and is an industry standard. If formal methods are to be given the place they deserve within UML, a more precise description of UML must be developed