Software Engineering
University of MurciaResearch GroupsResearch

Faculty of Computer Science Picture

ban-espa.gif (1563 bytes)
Versión en Español

b-grana.gif (931 bytes)Home
b-grana.gif (931 bytes)Group members
b-grana.gif (931 bytes)Research projects 
b-grana.gif (931 bytes)Contracts with firms or publics organizations
b-grana.gif (931 bytes)Technology Transfer and Training
b-grana.gif (931 bytes)News
b-grana.gif (931 bytes)Term Projects
b-grana.gif (931 bytes)Software Engineering Research
b-grana.gif (931 bytes)Finished PhD Thesis

b-grana.gif (931 bytes)Internal Information

Software Engineering Group Publications and Congress Papers

INTERNATIONAL PUBLICATIONS

NATIONAL PUBLICATIONS

BOOK CHAPTERS

DISCLAIMER

PLEASE NOTE THAT THIS WEB PAGE CONTAINS FILES OF PAPERS THAT MAY BE SUBJECT TO COPYRIGHT. THESE PAPERS CAN BE BROWSED AS THOUGH YOU DID THE SAME IN OUR DEPARTMENT OR FACULTY PUBLIC LIBRARY. IN ORDER TO MAKE ANY OTHER USE OF PAPERS (POTENTIALLY) PROTECTED, WE RECOMMEND TO OBTAIN PREVIOUSLY THE CORRESPONDING PERMISSIONS FROM THE RELATED EDITORS, PUBLISHERS OR INSTITUTIONS.

INTERNATIONAL PUBLICATIONS

2006 2005 2004 2003 2002 2001 2000 and previous

2006

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

2005

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
REF.REVISTA/LIBRO: IEEE América Latina, March 2005, Vol. 3, Issue 1 CLAVE E

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, in conjunction with the 13th Int. Conf. on Requirements Engineering (RE’05), Paris (France). 29 August 2005


José A. Cruz-Lemus, Marcela Genero, Mario Piattini, Ambrosio Toval. "An Empirical Study of the Nesting Level of Composite States within UML Statechart Diagrams". BP-UML'05: 1st International Workshop on Best Practices of UML, in the 24th Int. Conf. on Conceptual Modeling (ER 2005), Klagenfurt (Austria). 24-28 October, 2005. ISBN: 3-540-29395-7.
LNCS 3770 Springer

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, in the 24th Int. Conf. on Conceptual Modeling (ER 2005), Klagenfurt (Austria). 24-28 October, 2005.ISBN: 3-540-29395-7. LNCS 3770 Springer


José A. Cruz Lemús, Marcela Género, Mario Piattini, Ambrosio Toval Álvarez. "Investigating the Nesting Level of Composite States in UML Statechart Diagrams". QAOOSE 2005: Workshop on Quantitative Approaches in Object-Oriented Software Engineering, with the 19th European Conference on Object-Oriented Programming (ECOOP 2005), Glasgow (UK). 25 July, 2005

2004

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 (France). ICCSEA 2004 2 December, 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

2003

Ambrosio Toval, Víctor Requena, José L. Alemán. "Emerging OCL Tools". Software and System Modeling (SoSyM), vol. 2 num. 4 December 2003, pp.248-261, ISSN: 1619-1366 http://www.sosym.org/

Ambrosio Toval, José Sáez, Francisco Maestre. "Automated property verification in UML models".
AVoCS 2003: Third Workshop on Automated Verification of Critical Systems, Southampton (UK) 2-3 April, 2003.
http://www.dsse.ecs.soton.ac.uk/techreports/2003/avocs03/

2002

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, September 2002.Download (pdf format)

2001

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. Download (pdf format)

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 julio, 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) , Genova, Italy, April 2001. Download (word format)

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. Download (word format)

2000 and previous

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 PressOctober 8-11, 2000, San Jose, California, USA. Páginas: 344-355. Edited by: FrancesM. Titsworth download PDF format   

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.download PDF format download PS format                            

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.                        

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, Germany. 14-15 June 1999.

J.A. Rodero, M. Piattini "Auditing Data Warehouses with Control Objectives" DATASEM98. Organized: Czech Society of System Integration y la Charles University. Brno (Czech Republic), 4-6 October 1998.

J.A. Rodero, M. Piattini. "Auditing Data Warehouses through the life-cycle" BDATOS98. Organized: Argentinian Society of Informatics and Operational Research (SADIO). Buenos Aires, 3-4 September 1998.

J. Nicolás, J. Alcalde, A. Toval, A. Arenas. "Formal Specification of a Scanning Tunnelling Microscope" APPIA GULP PRODE '97. Grado (Italy). 16 - 19 June 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 - 29 February 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 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 September 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.

NATIONAL AND LATIN AMERICAN PUBLICATIONS

2005 2004 2003 2002 2001 2000 and previous

2005

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). In CEDI 2OO5 (I Congreso Español de Informática)
Actas del Congreso, THOMSON-PARANINFO, 13-16 September 2005. I.S.B.N: 84-9732-447-1

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). In CEDI 2OO5 (I Congreso Español de Informática), 13-16 September 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”. II Taller de Seguridad en Ingeniería del Software y Bases de Datos, (SISBD’O5), Deusto, Bilbao , 6 June 2005

C.Gutierrez, B. Moros, E. Fernández-Medina, A. Toval, M. Piattini. “Requisitos de Seguridad de Servicios Web en el marco de SIREN”. II Taller de Seguridad en Ingeniería del Software y Bases de Datos, (SISBD’O5), Deusto, Bilbao, 6 June 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 April 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 April 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 April 2005

2004

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 November 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 November 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 November 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 November 2004

F.J. Lucas, A. Toval. “Formalización Algebraica del Diagrama de Colaboraciones de UML”. II Jornadas de Trabajo DYNAMICA, Málaga. 11 November 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 November 2004

Joaquín Lasheras, Ambrosio Toval, Joaquín Nicolás, Begoña Moros. “Definición de Requisitos de Seguridad con fines de Reutilización”. I 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 November 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.

2003

Lasheras J., Toval A., Nicolás J., Moros B. “Soporte automatizado a la reutilización de requisitos"
VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’03) Alicante. 12-14 November 2003.
Download (pdf format )

2002

Sáez, J., Toval, Albacete, F.J. “Una infraestructura común para la animación de modelos UML”.
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’02) El Escorial, Madrid. 19-21 November 2002.

Sáez, J., Maestre, F., Toval, A. “Verificación de propiedades de los diagramas de estados de UML”.
III Jornadas trabajo DOLMEN. El Escorial (Madrid) (DOLMEN III). 19-21 November 2002.

Sáez, J., Albacete, F. J., Toval, A. “Una Revisión de Modelos de Ejecución para Modelos de Objetos”.
II Jornadas trabajo DOLMEN. Valencia (DOLMEN II) 12-13 March 2002.

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 March 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. February, 2002.

2001

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 November 2001.

Ambrosio Toval, Joaquín Nicolás y Begoña Moros. "Un Proceso de Ingeniería de Requisitos Basado en Reutilización".
I Jornadas de Ingeniería de Requisitos Aplicada. Sevilla. 2001 (JIRA 2001) 11-12 June 2001.

José Sáez, Isabel Pascual, Ambrosio Toval. "RIVIERA: A Framework for Validating UML Models".
I Jornadas trabajo DOLMEN. Sevilla. 2001 (DOLMEN 2001). 12-13 June 2001.

Eduardo Fernández, Ambrosio Toval, Mario Piattini. "Especificación de Restricciones de Seguridad en UML".
I Jornadas trabajo DOLMEN. Sevilla. 2001 (DOLMEN 2001). 12-13 June 2001.

2000 and previous

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 November 2000.

J. L. Fernández, J.A. Toval, J.R. Hoyos. "Rigorously Transforming UML Class Diagrams".
V Jornadas de Ingeniería del Software y Bases de Datos.Departamento de Informática. Universidad de Valladolid.
8-10 November 2000.

J.A. Rodero, M. Piattini, J.A. Toval . “Análisis de Riesgos y Seguridad en los Almacenes de Datos”.
VI Reunión Española sobre Criptología y Seguridad de la Información. Tenerife. Organize: Universidad de la Laguna y Asociación Española de Criptología y Seguridad de la Información. 14-16 September 2000.

J. L. Fernández, A. Toval. “Formally Modelling and Executing the UML Class Diagram”.
V Jornadas de Trabajo MENHIR. Granada. 30-31 March 2000.

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. Organize: 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. Organize: 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. Organize: 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 November 1998.

J. L. Fernández Alemán y J.A. Toval Álvarez. "Verificación formal de especificaciones en UML". 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 - 13 November, 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 - 13 November, 1998.

J. A. Rodero y M. Piattini. "Auditoría de los Data Warehouses" IX Congreso Nacional de Usuarios de ORACLE. Organize: Círculo de Usuarios de Oracle (CUORE). Alicante, 21-23 October 1998.

J. García Molina. "Modelado basado en roles". Ingeniería del software y reutilización. Orense, 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.

J. García Molina y G. García Mateos. "Una experiencia práctica con la arquitectura de tres modelos de OORAM". VI Congreso de Tecnología de Objetos, Deusto, Bilbao 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. June 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-l 21 July 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". Magazine : Asociación Española de Informática y Automática. vol. XXII, nº3, 1989. Pag. 15-28.

BOOK CHAPTERS

Olmos, A., Toval A., Piattini M. ."Gestión De Requisitos de Seguridad para la Protección de Datos de Carácter Personal". Enclosure in "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 September 2000. Caballero, P., Hernández, C. Editorial Ra-Ma. ISBN 8478974318.

 

 

Estructura de la Universidad de Murcia. Org. de Gobierno, Centros, Departamentos, Servicios, Escuelas, Vicerrectorados, etcInformación General. Publicaciones, Cursos, Becas, Información Internacional, etc.Estudios de primer y segundo ciclo, Doctorado, Títulos propios...Alumnos. Información de interés para estudiantes y titulados de la Universidad de MurciaInvestigación. Convocatorias, Tercer Ciclo, Servicios de Investigación, OTRI...Personal de Administración y Servicios, Personal de Docencia e Investigación. Infosecundaria. Información dirigida a los Centros de Enseñanza SecundariaSabio. Consulta a Bases de Datos de Becas, Empleo, Bolsa de Libros, Bolsa de PisosBiblioteca. Consulta a catálogos y Bases de Datos Bibliográficas, Servicios, Reglamentos... Servicio de Informática. Servicios y Proyectos del Servicio de Informática de la UMU.
Novedades web.Búsquedas en el web de la Universidad de Murcia.Escríbanos. Envie sus comentarios, sugerencias o consultas informativas.Directorio. Servicio de directorio, e-mails, teléfonos, etc.Prensa. Noticias de prensa actualizadas diariamente.Ayuda. Información sobre la estructura de este web.Canal Universitario. Informativo Universitario emitido diariamente en Televisión Murciana.