Especificación de Restricciones de Seguridad en UML
Tipo: Conferencia Nacional Lugar: I Jornadas trabajo DOLMEN. Sevilla. 2001 (DOLMEN 2001)
Fecha de Publicación: .2001-06-12
Autores: Eduardo Fernández
                 Ambrosio Toval Alvarez
                 Mario Piattini

Un Proceso de Ingeniería de Requisitos Basado en Reutilización
Tipo: Conferencia Nacional Lugar: I Jornadas de Ingeniería de Requisitos Aplicada. Sevilla. 2001 (JIRA 2001)
Fecha de Publicación: .2001-06-11
Autores: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle

Tool Support for Transforming UML Models to a Formal Language
Tipo: Taller Internacional Lugar: WTUML: International Workshop on Transformations of UML Models, in conjunction with ETAPS 2001 (European Joint Conferences on Theory and Practice of Software) , Génova, Italia
Fecha de Publicación: .2001-04-04
Autores: José Sáez
                 Ambrosio Toval Alvarez
                 José Luis Fernández Alemán

Improving System Reliability via Rigorous Software Modeling: The UML Case
Tipo: Capítulo Libro Internacional Lugar: Proceedings of the 2001 IEEE Aerospace Conference (Track 10: Software and Computing), Montana, USA Published by IEEE Computer Society, pp. 6-17, ISBN 0-7803-6599-2 (CD: ISBN 0-7803-6600-X), Big Sky, MT, USA
Fecha de Publicación: .2001-03-10
Autores: Ambrosio Toval Alvarez
                 José Luis Fernández Alemán

Seamless formalizing the UML semantics through metamodels
Tipo: Capítulo Libro Internacional Lugar: "Unified Modeling Language: Systems Analysis, Design, and Development Issues " , ch. 14, pp. 225-248. Editors: Dr. Keng Siau, University of Nebraska-Lincoln, Dr. Terry Halpin, Microsoft Corporation. ISBN 1-930708-05-X Idea Group Publishing 2001
Fecha de Publicación: .2001-01-04
URL: http://www.amazon.com/
Autores: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez