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.

Authors

Toshiaki Aoki

This author has not been identified. Look up 'Toshiaki Aoki' in Google

Takaaki Tateishi

This author has not been identified. Look up 'Takaaki Tateishi' in Google

Takuya Katayama

This author has not been identified. Look up 'Takuya Katayama' in Google