Formalizing UML. Why? How?

Ana Moreira, Lus Filipe Andrade, Akash Deshpande, Stuart Kent

Browse the full OOPSLA paper archive.