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/ |