Formalization of Object Behavior and Interactions from UML Models

John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu. Formalization of Object Behavior and Interactions from UML Models. International Journal of Software Engineering and Knowledge Engineering, 11(6):643-673, 2001.

Abstract

Abstract is missing.