Modeling and Verifying Web Based Systems - An UML-CAFE Case Study

SONG, Mark Alan Junho; PEREIRA, Adriano ; CAMPOS, Sergio Vale Aguiar . Modeling and Verifying Web Based Systems - An UML-CAFE Case Study. In: The Fifth Argentine Symposium on Software Engineering, 2004, Cordoba, Argentina. Anais do Simpósio Argentino de Ingeniería de Software (ASSE'04) - 33 Jornadas Argentinas de Informática e Investigación Operativa (33 JAIIO), 2004.

2004