Formalizing UML. Why? How?

Ana Moreira 0001, Luis Filipe Andrade, Akash Deshpande, Stuart Kent 0001. Formalizing UML. Why? How?. In James Haungs, editor, Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1998 Addendum, Vancouver, British Columbia, Canada, October 18-22, 1998. ACM, 1998. [doi]

Authors

Ana Moreira 0001

This author has not been identified. Look up 'Ana Moreira 0001' in Google

Luis Filipe Andrade

This author has not been identified. Look up 'Luis Filipe Andrade' in Google

Akash Deshpande

This author has not been identified. Look up 'Akash Deshpande' in Google

Stuart Kent 0001

This author has not been identified. Look up 'Stuart Kent 0001' in Google