Title :
A pragmatic approach to formalizing object-oriented modeling and development
Author_Institution :
Div. of Software Eng., DePaul Univ., Chicago, IL, USA
Abstract :
Despite recent developments in formal methods, these methods have yet to enter the mainstream of the software industry. We first examine the pragmatic obstacles to making formal methods practical and usable. Then we present a pragmatic approach to integrate a popular object oriented modeling notation UML and a popular formal notation Z. Our approach is distinctive in its emphasis on overcoming the practical obstacles. We also present a light weight supporting tool for our approach. A prototype of the supporting tool is completed. It allows us to demonstrate the feasibility and capability of our approach
Keywords :
formal specification; object-oriented methods; object-oriented programming; software tools; UML; formal methods; light weight supporting tool; object oriented modeling formalization; popular formal notation Z; popular object oriented modeling notation; pragmatic approach; pragmatic obstacles; software industry; Computer industry; Computer science; Convergence; Handicapped aids; Information systems; Object oriented modeling; Object oriented programming; Pattern analysis; Software engineering; Unified modeling language;
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-8105-5
DOI :
10.1109/CMPSAC.1997.624804