José Ambrosio Toval Álvarez

Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos

José Ambrosio Toval Álvarez, 1994 .

Seguridad y Privacidad en Historiales Clínicos Electrónicos: una Revisión Sistemática de la Literatura

Pedro Ángel Oliver Lozoya, J. L. Alemán, José Ambrosio Toval Álvarez, 2011 .

Capítulo 37. Contenidos para la competencia de sostenibilidad en un currículo de ingeniería del software

José Luis Fernández Alemán, José Ambrosio Toval Álvarez, Joaquín Nicolás Ros, 2018 .

REMM-Studio: Un entorno integrado para dar soporte a un enfoque de Ingeniería de Requisitos Dirigido por Modelos

José Ambrosio Toval Álvarez, Cristina Vicente-Chicote, Begoña Moros, 2007, JISBD.

Una infraestructura común para la animación de modelos UML

João Araújo, José Ambrosio Toval Álvarez, J. Saez, 2002, JISBD.

Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos

José Ambrosio Toval Álvarez, B. Grima, José Ambrosio Toval Álvarez, 1994, GULP-PRODE.

Ingeniería del software, gestión de requisitos

José Ambrosio Toval Álvarez, Joaquín Nicolás Ros, J. N. Ros, 1999 .

ECAPRIS: Metodología ágil de medición de calidad y productividad en PyMEs

José Ambrosio Toval Álvarez, Joaquín Lasheras, Astrid Duque, 2009, JISBD.