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.

Abstract

Abstract is missing.