%0 Conference Paper %1 noe_00_extending %A Noe, P. A. %A Noe, P. A. %A Hartrum, T. C. %A Hartrum, T. C. %B National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000 %D 2000 %J National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000 %K statecharts 2000 %P 43--50 %R 10.1109/NAECON.2000.894890 %T Extending the notation of Rational Rose 98 for use with formal methods Extending the notation of Rational Rose 98 for use with formal methods %U http://dx.doi.org/10.1109/NAECON.2000.894890 %X The Unified Modeling Language (UML) has been incorporated into the CASE tool, Rational Rose98, offering the user the capability of specifying systems using UML notation, Booch notation, or Rumbaugh notation. Through this research effort, Rose98 has been extended to allow formal notation to be entered in the class diagram text fields. Rose scripts were developed to transform the resulting extended Rose model into Z (zed) specifications in LATEX format. Z specifications are developed for the object model, dynamic model, and functional model based on information gathered from the class diagram and state transition diagram of the Rose model. These specifications can then be parsed into a tool supporting formal methods and Ada code can be automatically generated

@inproceedings{noe_00_extending, abstract = {The Unified Modeling Language (UML) has been incorporated into the CASE tool, Rational Rose98, offering the user the capability of specifying systems using UML notation, Booch notation, or Rumbaugh notation. Through this research effort, Rose98 has been extended to allow formal notation to be entered in the class diagram text fields. Rose scripts were developed to transform the resulting extended Rose model into Z (zed) specifications in LATEX format. Z specifications are developed for the object model, dynamic model, and functional model based on information gathered from the class diagram and state transition diagram of the Rose model. These specifications can then be parsed into a tool supporting formal methods and Ada code can be automatically generated}, added-at = {2009-02-12T11:20:09.000+0100}, author = {Noe, P. A. and Noe, P. A. and Hartrum, T. C. and Hartrum, T. C.}, biburl = {https://www.bibsonomy.org/bibtex/2d2534c86788214dabc7b867061a70899/leonardo}, booktitle = {National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000}, citeulike-article-id = {2140538}, doi = {10.1109/NAECON.2000.894890}, interhash = {9c98661c8edc6f854efbe6809328a0d4}, intrahash = {d2534c86788214dabc7b867061a70899}, journal = {National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000}, keywords = {statecharts 2000}, pages = {43--50}, posted-at = {2007-12-18 11:23:34}, priority = {2}, timestamp = {2009-02-12T11:20:09.000+0100}, title = {Extending the notation of Rational Rose 98 for use with formal methods Extending the notation of Rational Rose 98 for use with formal methods}, url = {http://dx.doi.org/10.1109/NAECON.2000.894890}, year = 2000 }