Especificación, Validación y Verificación formal de un microscopio efecto-túnel
Type: Spanish Conference Place: 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
Publishing Date: .1996-07-15
Authors: 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
Type: Spanish Book Charpter Place: NOVATICA. Revista de la Asociación de Técnicos de Informática. ATI. ISBN 0211-2124 Noviembre-Diciembre 1995, pp.19-25
Publishing Date: .1995-09-24
Authors: 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)
Type: Spanish Conference Place: I Jornadas de Informática y Automática, Puerto de la Cruz-Tenerife. Asociación Española de Informática y Automática (AEIA)
Publishing Date: .1995-06-17
Authors: Isidro Ramos
                 Ambrosio Toval Alvarez

Prototyping Object Oriented Specifications in an Algebraic Environment
Type: LCNS-JCR Place: 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
Publishing Date: .1994-10-01
Authors: 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
Type: International Conference Place: GULP-PRODE'94: 1994 Joint Conference on Declarative Programming. Universidad Politécnica de Valencia. Peñíscola (Valencia).
Publishing Date: .1994-09-19
Authors: B. Grima
                 Ambrosio Toval Alvarez