Especificación y verificación de la capa de presentación de aplicaciones empresariales definidas por componentes

URI: http://hdl.handle.net/1992/9309

Author: Castro Téllez, Norman Danilo

Director(s)/Advisor(s): Cardoso Rodríguez, Rodrigo

Publication date: 2006

Content type: masterThesis

Keywords:

Java (Lenguaje de programación de computadores) - Aplicaciones

Servicios web - Aplicaciones

Métodos formales (Informática) - Aplicaciones

Show full item record

Files in this item

Name:

u276960.pdf

Size:

714.3Kb

Format:

PDF

Statistics

View Usage Statistics