Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.
As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental para se alcançar o mínimo de qualidade na construção de um software. Nos processos de desenvolvimento baseados na UML, um dos seus focos principais é detectar inconsistências nos diagramas representat...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | pt |
Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2013
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/ |