UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico

Mark Alan Junho Song. UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico. PhD thesis, Federal University of Minas Gerais, Brazil, 2004. [doi]

Abstract

Abstract is missing.