An Axiomatic Formalization of UML Models

Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama. An Axiomatic Formalization of UML Models. In Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. Volume 7 of LNI, pages 13-28, GI, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.