BDBComp
Parceria:
SBC
Validating UML/OCL Component Specifications Through Animation

Alexandre Luis CorreaVII Workshop de Teses em Engenharia de Software - Gramado, RS, Brasil - 2002

UML has been widely accepted as a standard for modeling software systems and is supported by a great number of case tools. However, UML tools often provide limited support for validating models early in the development process. Also, there is no substantial support for specifying constraints written in Object Constraint Language (OCL), which is an important element of new Component based Development methods. This paper presents a PhD research that aims at developing techniques and corresponding tool support for the validation of UML/OCL specifications based on direct animation.

http://www.lbd.dcc.ufmg.br:8080/colecoes/wtes/2002/002.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD