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

Magíster en Ingeniería de Sistemas y Computación

Autores:

Castro Téllez, Norman Danilo

Tipo de recurso:

Fecha de publicación:

2006

Institución:

Universidad de los Andes

Repositorio:

Séneca: repositorio Uniandes

Idioma:

spa

OAI Identifier:

oai:repositorio.uniandes.edu.co:1992/9309

Acceso en línea:

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

Palabra clave:

Java (Lenguaje de programación de computadores)
Servicios web
Métodos formales (Informática)
Ingeniería

Rights

openAccess

License

http://creativecommons.org/licenses/by-nc-nd/4.0/