Uma abordagem para representação de resultados formais na UML

A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústri...

Full description

Bibliographic Details
Main Author: Vinícius Pereira
Other Authors: Márcio Eduardo Delamaro
Language:Portuguese
Published: Universidade de São Paulo 2017
Subjects:
UML
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/