Especificación, Validación y Verificación formal de un microscopio efecto-túnel
Tipo: Conferencia Nacional Lugar: II Jornadas de Informática y Automática. Almuñécar (Granada). Asociación Española de Informática y Automática (AEIA). ISBN:84-8254-080-7
Fecha de Publicación: .1996-07-15
Autores: Joaquín Nicolás Ros
                 Juan Alcalde
                 Ambrosio Toval Alvarez
                 Aurelio Arenas

Prototipado en MÉTRICA 2: ejecución de especificaciones basadas en Diagramas de Flujo de Datos
Tipo: Capítulo Libro Nacional Lugar: NOVATICA. Revista de la Asociación de Técnicos de Informática. ATI. ISBN 0211-2124 Noviembre-Diciembre 1995, pp.19-25
Fecha de Publicación: .1995-09-24
Autores: Manuel González Rodríguez
                 Ambrosio Toval Alvarez
                 Jesús García

Entorno General de Producción automática de prototipos de software orientado a objetos: OOAP (Object-Oriented Assistant Prototyper)
Tipo: Conferencia Nacional Lugar: I Jornadas de Informática y Automática, Puerto de la Cruz-Tenerife. Asociación Española de Informática y Automática (AEIA)
Fecha de Publicación: .1995-06-17
Autores: Isidro Ramos
                 Ambrosio Toval Alvarez

Prototyping Object Oriented Specifications in an Algebraic Environment
Tipo: LCNS-JCR Lugar: Lecture Notes in Computer Science. (LNCS) SERIES Nº 856 Springer-Verlag. ed D. Karagiannis. ISSN 0302-9743 (Print) 1611-3349 (Online); ISBN 978-3-540-58435-3 (1994). Nº de páginas: (10) 310-320
Fecha de Publicación: .1994-10-01
Autores: Ambrosio Toval Alvarez
                 Isidro Ramos
                 Oscar Pastor

Una Formalización Algebraica de la Notación 'Objectcharts': Validación y Verificación de Especificaciones Orientadas a Objetos de Sistemas Reactivos
Tipo: Conferencia Internacional Lugar: GULP-PRODE'94: 1994 Joint Conference on Declarative Programming. Universidad Politécnica de Valencia. Peñíscola (Valencia).
Fecha de Publicación: .1994-09-19
Autores: B. Grima
                 Ambrosio Toval Alvarez