|
|
PUBLICACIONES NACIONALES E IBEROAMERICANOS
EXENCIÓN DE RESPONSABILIDAD NÓTESE QUE ESTA PÁGINA WEB CONTIENE FICHEROS DE ARTÍCULOS QUE PUEDEN ESTAR PROTEGIDOS POR COPYRIGHT. ESTOS ARTÍCULOS PUEDEN SER CONSULTADOS AL IGUAL QUE SI SE HICIERA EN NUESTRO DEPARTAMENTO O EN LA BIBLIOTECA PÚBLICA DE LA FACULTAD. SI SE PRETENDE HACER OTRO USO DE LOS ARTÍCULOS (POTENCIALMENTE) PROTEGIDOS, DEBERÍAN OBTENERSE PREVIAMENTE LOS CORRESPONDIENTES PERMISOS DE LOS REDACTORES, EDITORES O INSTITUCIONES ASOCIADAS.
2006 2005 2004 2003 2002 2001 2000 y anteriores F. J. Lucas, F. Molina, A. Toval, M.V. de Castro, P. Cáceres, E. Marcos.“Precise WIS Development”. The Sixth International Conference on Web Engineering (ICWE'06). Conference Proceedings published by ACM. July 2006 in Palo Alto, California Archivo M.A. Martínez, J. Lasheras, A. Toval, M. Piattini Título: An Audit Method of Personal Data Based on Requirements Engineering The 4th International Workshop on Security In Information Systems (WOSIS-2006). Actas del Congreso Paphos, Chipre 23-27/05/2006 J. Nicolás, J. Lasheras, A. Toval, F.J. Ortíz, B. Alvarez "A Collaborative Learning Experience in Modelling the Requirements of Teleoperated Systems for Ship Hull Maintenance" Workshop on Learning Software Organizations and Requirements Engineering (LSO + RE 2006). Proceedings Workshop on Learning Software Organizaciones and Requirements Engineering. Hannover, Germany 27-28/03/2006 Hernández, J., A. Toval, A. “X Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2005” IEEE América Latina, A publicar en 2006 Hernández, J., Pimentel, E., A. Toval, A.“Report on the Ninth Conference on Software Engineering and Databases (JISBD 2004)” REF.REVISTA/LIBRO: ACM SIGMOD Record, vol. 34, n. 2 June 2005 CLAVE A Hernández, J., Pimentel, E., A.
Toval, A.“IX Jornadas de Ingeniería del Software
y Bases de Datos, JISBD 2004” Carlos Gutiérrez, Eduardo Fernández-Media, Mario Piattini, Begoña Moros, Ambrosio Toval. "Security Requirements for Web Services based on SIREN" SREIS 2005: Symposium on Requirements Engineering for Information Security, en conjunction con el 13th Int. Conf. on Requirements Engineering (RE’05), Paris (Francia). 29 agosto 2005
Francisco Javier Lucas Martínez, Ambrosio Toval Álvarez. "A Precise Approach for the Analysis of the UML Models Consistency". BP-UML'05: 1st International Workshop on Best Practices of UML, dentro del 24th Int. Conf. on Conceptual Modeling (ER 2005), Klagenfurt (Austria). 24-28 octubre, 2005. ISBN: 3-540-29395-7. LNCS 3770 Springer
Francisco Javier Lucas Martínez,
Ambrosio Toval Álvarez. "Formal Verification of
Properties in the UML Collaboration Diagram". SV04:
Third Workshop on System Testing and Validation, Paris (Francia).
Evento satélite de ICCSEA 2004 2 diciembre, 2004 Nuno Jardim Nunes; Bran Selic;
Alberto Rodrigues da Silva and Ambrosio Toval Alvarez (Eds.) UML
Modeling Languages and Applications. «UML» 2004
Satellite Activities Lisbon, Portugal, October 11-15, 2004 Revised
Selected Papers LNCS 3297 Springer.
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3297&issue=preprint Ambrosio Toval, Víctor Requena, José L. Alemán. "Emerging OCL Tools". Software and System Modeling (SoSyM), vol. 2 num. 4 Diciembre 2003, pp.248-261, ISSN: 1619-1366 http://www.sosym.org/ Ambrosio Toval, José
Sáez, Francisco Maestre. "Automated property verification
in UML models". João Araújo, Jonathan Whittle, Ambrosio Toval, and Robert France. “Integration and Transformation of UML Models”. Object-Oriented Technology: ECOOP 2002 Workshop Reader J. Hernandez, A. Moreira (eds.), Lecture Notes in Computer Science, vol. 2548, pp.184-191, Springer-Verlag, 2002.
A. Toval, A. Olmos, M. Piattini. "Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection". Proceedings of the IEEE Joint International Conference on Requirements Engineering (ICRE'02 and RE'02), pp: 9-13, Septiembre 2002.Descargar (formato pdf) Ambrosio Toval, Joaquín Nicolás, Begoña Moros, Fernando García. "Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach". Requirements Engineering Journal vol. 6, n. 4, pp. 205-219, 2001.Descargar (formato pdf) Ambrosio Toval, Alfonso Olmos, José Antonio Rodero. "The Role of Requirements Reuse in Protecting Personal Data" 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando, Florida (USA)."Database Security" invited session july, 2001. Joaquín Nicolás; AmbrosioToval; Aurelio Arenas y Juan Alcalde. "Formal Validation and Verification of Atomic Resolution Microscope Control and Topography" Cybernetics and Systems , vol. 32, n. 8, December 2001 José Sáez, Ambrosio Toval, José Luis Fernández Alemán. "Tool Support for Transforming UML Models to a Formal Language " 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, Abril 2001 Descargar (formato word) José Luis Fernández Alemán and Jose AmbrosioToval. "Seamless formalizing the UML semantics through metamodels" Unified Modeling Language: System Analysis, Desing and Development Issues " Editors: Dr. Keng Siau, University of Nebraska-Lincoln, Dr Terry Halpin, Microsoft Corporation.Idea Group Publishing 2001 (http://www.amazon.com/) Jose AmbrosioToval and J.L. Fernández Alemán. "Improving System Reliability via Rigorous Software Modeling: The UML Case", Proceedings of the 2001 IEEE Aerospace Conference (track 10: Software and Computing), Montana, USA IEEE Computer Society March 10-17, 2001. Descargar (formato word) Jon Whittle, João Araújo, Ambrosio Toval and J.L. Fernández Alemán. "Rigorously Automating Transformations of UML Behavior Models" Dynamic Behaviour in UML Models: Semantic Questions in conjunction with UML 2000 York, UK , ACM SIGSOFT, IEEE Computer Society. October 2-6 2000 http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/INDEX.html J.L Fernández, A. Toval. "Can Intuition Become Rigorous? Foundations for UML Model Verification Tools", International Symposium on Software Reliability Engineering, Published by IEEE Press, October 8-11, 2000, San Jose, California, USA. Páginas: 344-355. Edited by: FrancesM. Titsworth descarga formato PDF A. Toval, J.L. Fernández. "Formally Modeling UML and its Evolution: a Holistic Approach", Formal Methods for Open Object-based Distributed Systems IV. Edited by Scott F. Smith and Carolyn L.Talcott IFIP TC6/WG6.1 Kluwer Academic Publishers. Páginas:183-206.September 6-8, 2000,Stanford,California,USA.descarga formato PDF descarga formato PS B. Moros, J Nicolas, J. Garcia, A. Toval. "Combining formal specifications with Design by Contract", JOOP (Journal of Object Oriented Programming). February 2000, Vol. 12, No. 9. J.L Fernández, A. Toval. "Interested in formalizing the UML Evolution Semantics? Be 'Reflective' ", Rigorous Modeling and Analysis With the UML: Challenges and Limitations, in conjuction with OOPSLA'99 Denver, Colorado (USA). November 1-5-1999. J.A. Rodero, M. Piattini, J.A. Toval."The Audit of the Data Warehouse Framework" Design and Management of Data Warehouses (DMDW '99), in conjunction with CAISE '99. Heidelberg, Alemania. 14-15 Junio 1999. J.A. Rodero, M. Piattini "Auditing
Data Warehouses with Control Objectives" DATASEM98. Organiza:
Czech Society of System Integration y la Charles University. Brno
(República Checa), 4-6 Octubre 1998. J. Nicolás, J. Alcalde, A. Toval, A. Arenas. "Formal Specification of a Scanning Tunnelling Microscope" APPIA GULP PRODE '97. Grado (Italy). Del 16 al 19 de junio de 1997. E. Bertino, G. Guerrini, J. Garcia-Molina, B. Catania. "A Formal Model of Views for Object-Oriented Database Systems", Theory and Practice of Object Systems, vol. 3(3), 157-183, 1997. A. Toval, I. Ramos, O. Pastor, H. Canós,
M.González, J. Nicolás, J.L. Fernández. "Cooperation University-Industry
in an R&D Project in Advanced Object-Oriented Technology". TOOLS
Europe '96 Conference Palais de Congres, París (Francia). 26 al 29
de febrero de 1996. E. Bertino, G. Guerrini, J. Garcia-Molina, B. Catania "Design by Contract in Smalltalk". Journal of Object-Oriented Programming, vol. 9 (7) , 23-28, 1996. J.A. Toval Álvarez, Isidro Ramos, Oscar Pastor. "Prototyping Object Oriented Specifications in an Algebraic Environment" en LNCS 856, Database and Expert Systems Applications, D. Karagiannis (ed.), Springer-Verlag, 1994. DEXA' 94.Athenes (Greece) September (first week), 1994. M. Carrillo, J. García Molina, E. Pimentel "Eiffel-Like assertions and private methods in Smalltalk" Proc. of Technology of Object-Oriented Languages and Systems, pag. 479-488, Prentice-Hall, 1994 Lugar y fecha/Place & date Paris. 1994. Beatriz A. Grima; Ambrosio Toval. "Una Formalizacion Algebraica de la Notacion 'Objectcharts': Validacion y Verificacion de Especificaciones Orientadas a Objetos de Sistemas Reactivos". GULP-PRODE'94: 1994 Joint Conference on Declarative Programming. Universidad Politécnica de Valencia. Peñíscola (Valencia). 19-22 de septiembre de 1994. "Algebraic Formalization of an Automatic Production Environment of Object-Oriented Prototypes". ECOOP'94. The Eighth European Conference on Object-Oriented Programming. 4th Workshop for Doctoral Students in Object-Oriented Systems. Bolonia (Italia). July 4-8, 1994. M. González Rodríguez, J.A. Toval Alvarez, J. García Molina. "SAPE: A structured analysis prototyping environment". 12Th World Computer Congress. IFIP Congress 92 Stream: Software Development and Maintenance. Madrid. 1992. PUBLICACIONES NACIONALES E IBEROAMERICANOS 2005 2004 2003 2002 2001 2000 y anteriores M.A. Martínez, J. Lasheras, A. Toval, M. Piattini. Aportaciones de la Ingeniería de Requisitos en un proceso de auditoría de datos personales IV Congreso Internacional de Auditoría y Seguridad de la Información (CIASI) Publicación: Actas del IV Congreso Internacional de Auditoría y Seguridad de la Información CIASI’05 ISBN: 84-689-5752-6 Madrid (Spain) 14-16/12/2005 J. Nicolás, J. Lasheras, A. Toval, F.J. Ortíz, B. Alvarez. "Una experiencia de modelado de los sistemas teleoperados para limpieza de cascos de buques mediante características y casos de uso genéricos" IV Jornadas de trabajo DYNAMICA. Actas del Workshop Archena, Murcia (Spain) 17-18/11/2005 J.A. Cruz, F.J. Lucas, M. Género, A. Toval, M. Piattini. “Formalización de Métricas: OCL vs. Maude” IV Jornadas de Trabajo DYNAMICA, Archena, Murcia, España. 17-18 Noviembre 2005 F. J. Lucas , F. Molina, A. Toval “Una propuesta de proceso explícito de V&V en el marco de MDA” IV Jornadas de Trabajo DYNAMICA, Archena, Murcia AÑO: 17-18 Noviembre 2005 Ambrosio Toval Álvarez y Juan Hernández Núñez. Actas de las X Jornadas de Ingeniería del Software y Bases deDatos (JISBD 2005) ISBN:84-9732-434-X (2005). THOMSON CLAVE: E/L M. A. Martínez, J. Lasheras, A.
Toval.“Un proceso de auditoría de datos personales
basado en Ingeniería de Requisitos”. I Simposio
de Seguridad (S19). En el marco de CEDI 2OO5 (I Congreso Español
de Informática) F. J. Lucas, F. Molina, A. Toval. “Una propuesta de proceso explícito de V&V en el marco de MDA”. II Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM’O5). En el marco de CEDI 2OO5 (I Congreso Español de Informática) (Actas del Taller), 13-16 de Septiembre 2005. ISSN 1613-0073 M. A. Martínez, J. Lasheras, A. Toval. “Aportaciones de la Ingeniería de Requisitos a la auditoría de datos personales basadas en CobiT”. Segundo Taller de Seguridad en Ingeniería del Software y Bases de Datos, (SISBD’O5), Deusto, Bilbao , 6 de Junio 2005 C.Gutierrez, B. Moros, E. Fernández-Medina, A. Toval, M. Piattini. “Requisitos de Seguridad de Servicios Web en el marco de SIREN”. Segundo Taller de Seguridad en Ingeniería del Software y Bases de Datos, (SISBD’O5), Deusto, Bilbao, 6 de Junio 2005 M. A. Martínez, J. Lasheras, J. Nicolás, A. Toval. “Aplicación de un proceso de auditoría de datos personales”. III Jornadas de Trabajo DYNAMICA, Almagro, C. Real. 21-22 Abril 2005 J. Nicolás, J. Lasheras, A. Toval, B. Moros. “Ingeniería de Requisitos basada en reutilización: una propuesta de aplicación a los STO para limpieza de cascos de buques”. III Jornadas de Trabajo DYNAMICA, Almagro, C. Real. 21-22 Abril 2005 F. J. Lucas, F. Molina, A. Toval, M.V. de Castro, P. Cáceres, E. Marcos.“Desarrollo preciso de Sistemas de Información Web”. III Jornadas de Trabajo DYNAMICA, Almagro, C. Real. 21-22 Abril 2005 J.L. Salas, A. Toval, J. L. Fernández, P. López. “Extracción de Asociaciones Derivadas en el Diagrama de Clases UML”. II Jornadas de Trabajo DYNAMICA, Málaga. 11 noviembre de 2004 J. Lasheras, J. Nicolás, A. Toval, B. Moros. “Hacia un modelo del dominio de los sistemas teleoperados a través de una extensión de SIREN”. II Jornadas de Trabajo DYNAMICA, Málaga. 11 noviembre de 2004 F.J. Lucas, A. Boronat, J. L. Fernández, J.A. Carsí, A. Toval, I. Ramos. “Maude como Soporte Formal para una Herramienta de Gestión de Modelos”. II Jornadas de Trabajo DYNAMICA, Málaga. 11 noviembre de 2004 F.J. Lucas, A. Toval. “Verificación Fomal de Propiedades y Transformaciones en el Diagrama de Colaboraciones de UML”. II Jornadas de Trabajo DYNAMICA, Málaga.11 noviembre de 2004 F.J. Lucas, A. Toval. “Formalización Algebraica del Diagrama de Colaboraciones de UML”. II Jornadas de Trabajo DYNAMICA, Málaga. 11 noviembre de 2004 C. Vigueras, M. Genero, J. L. Fernández, J. A. Cruz-Lemus, A. Toval, M. Piattini. “Una aproximación formal a las métricas para diagramas de estados UML”. II Jornadas de Trabajo DYNAMICA, Málaga. 11 noviembre de 2004 Joaquín Lasheras, Ambrosio Toval,
Joaquín Nicolás, Begoña Moros. “Definición
de Requisitos de Seguridad con fines de Reutilización”.
Primer Taller de Seguridad en Ingeniería del Software y Bases
de Datos, evento asociado a las VIII Jornadas de Ingeniería
del Software y Bases de Datos (JISBD’04), Málaga. 9 noviembre
de 2004 Álvarez B., Sánchez P., Pastor J.A., Toval A., Lasheras J., "Experiencia, Estrategias y Retos en la Incorporación de Requisitos de Seguridad en el Sistema EFTCoR". IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD’04) Malaga 10-12 Noviembre 2004. Lasheras J., Toval A., Nicolás J.,
Moros B. “Soporte automatizado
a la reutilización de requisitos" Sáez, J., Toval, Albacete, F.J.
“Una infraestructura común
para la animación de modelos UML”. Sáez, J., Maestre, F., Toval, A.
“Verificación de propiedades de los diagramas de estados
de UML”. Sáez, J., Albacete, F. J., Toval,
A. “Una Revisión de Modelos de Ejecución para
Modelos de Objetos”. Hoyos, J.R., Toval, A. "Del Diagrama de Secuencias de UML a los Statecharts: Extensión de Notaciones y Formalización de Algoritmos de Transformación". II Jornadas trabajo DOLMEN. Valencia (DOLMEN II). 12-13 Marzo 2002. Eduardo Fernández-Medina, Ambrosio Toval, Mario Piattini. " Lenguaje de Especificación de Restricciones de Seguridad: OSCL v1.1 ". Actas del I Congreso Iberoamericano de Seguridad Informática, Morelia, Michoacán, México. Febrero, 2002. J. R. Hoyos Barceló, J. L. Fernández Alemán, A. Toval Álvarez. "Transformaciones Precisas en los Diagramas de Secuencias de UML". Taller de Desarrollo de Software Preciso, en conjunción con VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD’01) Departamento de Informática. Universidad de Castilla-La Mancha, Almagro (Ciudad Real). 21-23 Noviembre 2001. Ambrosio Toval, Joaquín Nicolás
y Begoña Moros. "Un Proceso de Ingeniería de
Requisitos Basado en Reutilización". José Sáez, Isabel Pascual, Ambrosio Toval. "RIVIERA: A Framework for Validating UML Models". I Jornadas trabajo DOLMEN. Sevilla. 2001 (DOLMEN 2001). 12-13 Junio 2001. Eduardo Fernández, Ambrosio Toval,
Mario Piattini. "Especificación de Restricciones de
Seguridad en UML". Jesús G. Molina, M.J. Ortín, Begoña Moros, Joaquín Nicolás, Ambrosio Toval. "De los procesos del negocio a los casos de uso". V Jornadas de Ingeniería del Software y Bases de Datos. Dep. de Informática. Universidad de Valladolid. 8-10 Noviembre 2000. J. L. Fernández, J.A. Toval, J.R.
Hoyos. "Rigorously Transforming UML Class Diagrams". J.A. Rodero, M. Piattini, J.A. Toval .
“Análisis de Riesgos y Seguridad en los Almacenes de Datos”.
J. L. Fernández, A. Toval. “Formally
Modelling and Executing the UML Class Diagram”. A. Toval, J Nicolas. "Ingeniería del Software. Gestión de Requisitos", (Colección Texto-Guía). ISBN: 84-8425-003-2 Ed. DM Diego Marín/ICE, Universidad de Murcia. (1999). J. Sáez, J.García y P.J. Jiménez. "Una arquitectura para una herramienta de patrones de diseño" IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99). Cáceres, 24-26 Noviembre 1999. Organiza: Grupo de paralelismo Departamento de Informática. Escuela Politécnica. Universidad de Extremadura. J. L. Fernández y A. Toval. "Modelado formal y ejecutabilidad de diagramas de clases de UML". IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99). Cáceres, 24-26 Noviembre 1999. Organiza: Grupo de paralelismo Departamento de Informática. Escuela Politécnica. Universidad de Extremadura. M.J. Ortín y J. García. "Modelado basado en roles con UML" IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99). Cáceres, 24-26 Noviembre 1999. Organiza: Grupo de paralelismo Departamento de Informática. Escuela Politécnica. Universidad de Extremadura. J.A. Rodero, M. Piattini. "El uso de Objetivos de Control en la Auditoría de los Almacenes de Datos" NOVATICA. Aceptado, pendiente de publicación. Jose A. Rodero. Capítulo 12, "Auditoría
del desarrollo" del libro "Auditoría Informática.
Un enfoque práctico". Editores / Editors Mario Piattini y
Emilio del Peso. Editorial RAMA. Madrid. 1998. Actas de las III Jornadas de Ingeniería
del Software (JIS’98). Editores: J.A. Toval Alvarez y Joaquín
Nicolás Ros. Editorial Diego Marín (DM). ISBN:84-95095-45-9 (1998).
J. Nicolás, G. Marquina, M. Balsa Sobejano . "Introducción a la Informática de Gestión". Texto Guía, Convocatoria IDU-97, Universidad de Murcia. 259 páginas. ISBN: 84-95095-82-3. 1998. J. D. Sánchez Navarro "Netscape Comunicator 4.x. Iniciación y referencia". 1998. J. A. Rodero y M. Piattini. "Control y Auditoría
de los Almacenes de Datos" I Jornadas de Auditoría Informática
(JAI). Universidad de Castilla-La Mancha.Ciudad Real, 18-19 Noviembre
1998. J. M. Cepeda y J.A. Toval Álvarez. "AlgChart: Una notación gráfica para especificaciones algebraicas modulares" III Jornadas de Ingeniería del Software. Organizado por el Dpto. de Informática Lenguajes y Sistemas. Facultad de Informática de la Universidad de Murcia. Murcia. 11 al 13 de noviembre, 1998. J. A. Rodero y M. Piattini. "Auditoría
de los Data Warehouses" IX Congreso Nacional de Usuarios
de ORACLE. Organizado por Círculo de Usuarios de Oracle (CUORE). Alicante, 21-23 Octubre 1998. B. Moros, J. Nicolás, J. García y A. Toval. "Combining formal specifications with desing by contract". III Jornadas de trabajo MENHIR.Organiza Facultad de Informática. Murcia, 1998. J.L. Fernández y A. Toval. "Formalización de OCL". III Jornadas de trabajo MENHIR.Organiza Facultad de Informática. Murcia, 1998.
B. Moros, G. Casado, A. Toval, J. Nicolás, J. García-Molina. "Una Experiencia de Desarrollo con GemStone". III Jornadas sobre Tecnología de Objetos. Sevilla. ATI, 1997. B. Moros, G. Casado, A. Toval, J. Nicolás, J. García-Molina. "Prototipado de especificaciones Oasis con Gemstone". Congreso español de Ingeniería del Software. San Sebastián. Septiembre 1997. A. Toval, J.L. Fernández Alemán, J. Nicolás, J. Sáez, D. E. Heredia. "Desarrollo del soporte metodológico 'OASIS METHOD' (OM) para el lenguaje OASIS".I Jornadas de trabajo en Ingeniería del Software.Sevilla. 1996. J. Nicolás, J.L. Fernández Alemán, A. Toval, J. Sáez. "OASIS: Análisis y diseño con el lenguaje OASIS de un microscopio efecto-túnel". II Jornadas Técnicas sobre Tecnología de Objetos. Madrid 1996. J. Nicolás, J. Alcalde, A. Toval, A. Arenas. "Especificación, validación y verificación formal de un microscopio efecto-túnel". II Jornadas de Informática. Almuñécar, Granada. 1996. J. Garcia-Molina, G. Guerrini. "Dimensiones en el Diseño de un Modelo de Vistas Orientadas a Objetos". I Congreso Español sobre Investigación y Docencia en Bases de datos, pág. 119-129. Junio 1996. M. Gonzalez, A. Toval, J. Garcia Molina. "Prototipado en Metrica-2: ejecución de especificaciones basadas en DFDs", Novatica, Noviembre, pag. 19- 25, 1995. I. Ramos, A. Toval, J. García Molina, M. Flores, M.González, J. L. Fernández, J. Nicolás, O. Pastor, J. H. Canós, V. Pelechano, M.C. Penadés, B. Bonet. "Entorno General de Produccion automática de prototipos de software orientado a objetos: OOAP (Object-Oriented Assistant Prototyper)". I Jornadas de Informática. Organiza Asoc. Española de Informática y Automática (AEIA). Puerto de la Cruz- Tenerife. 17 al 21 de Julio de 1.995. "Prácticas en Ensamblador 8086/8088". Editores: Diego Marin y Promociones y Publicaciones Universitarias, S.A. Año: 1990. ISBN: 84-7665-637-6. "Utilización de la metodología de análisis estructurado para el diseño de un curso de instrucción EAO- UNIX". Revista : Asociación Española de Informática y Automática. vol. XXII, nº3, 1989. Páginas 15-28. Olmos, A., Toval A., Piattini M. ."Gestión De Requisitos de Seguridad para la Protección de Datos de Carácter Personal". Anexo en Seguridad de las Tecnologías de la Información (La construcción de la confianza para una sociedad conectada). E. Fernández-Medina, R. Moya and M. Piattini. Madrid, Ediciones AENOR (2003). Fernández, J.L.; Toval, A., Hoyos
Barceló, J.R. “Especificaciones formales en la práctica:
una aplicación a UML”. Capítulo 4, en Calidad
en el desarrollo y mantenimiento del software. 2002, Ed. Ra-Ma UML.
pp. 69-92. ISBN 84-7897-544-6.
Toval, A., J. Nicolás, y B. Moros.
“SIREN: Un Proceso de Ingeniería de Requisitos Basado
en Reutilización”. Capítulo 4, en Applying
Requirements Engineering. 2002, Catedral. pp. 57-71. ISBN 84-9608-606-2.
J.A. Rodero, José Ambrosio Toval.
“Seguridad en Almacenes de Datos”. Seguridad en Bases
de Datos, Eduardo Fernández, Mario Piattini, M.A. Serrano (eds.).
Ed. Fundación Dintel, 2001 ISBN 84-931933-9-9.
José Ambrosio Toval, Joaquín
Nicolás, Begoña Moros. “Requisitos Reutilizables
de Seguridad en Sistemas de Información y Bases de Datos”.
Seguridad en Bases de Datos, Eduardo Fernández, Mario Piattini,
M.A. Serrano (eds.). Ed. Fundación Dintel, 2001 ISBN 84-931933-9-9.
J.A. Rodero, M. Piattini, J.A. Toval.
“Análisis de Riesgos y Seguridad en los Almacenes de Datos”.
Criptología y Seguridad de la Información. Actas de
la VI Reunión Española. 14-16 Septiembre 2000. Caballero,
P., Hernández, C. Editorial Ra-Ma. ISBN 8478974318. |
