List of Members
Institute Name: University of Murcia.Department of Computing, Languages and Systems
Description: The Department of Computing and Systems at University of Murcia is a centre for research and advanced training in computer science and software engineering. It has about 40 members of permanent academic staff, 10 research associates and 20 doctoral students. It offers a number of courses for MEng and MSc curricula. The Department has strong links with industrial and public administration organizations.
It is organised into a number of research sections, including the Software Engineering section, which will participate this project. This section focuses on formal methods, system dynamics modeling and object-oriented methods, tools and environments. It has a particular interest in operational prototyping techniques, in particular from an object-oriented perspective. The section has 3 members of permanent academic staff, 3 research associates and 4 doctoral students. Formal methods research focuses on the algebraic approach to software engineering activities, in particular the application of logic and algebra to the specification and analysis of information systems.
The Software Engineering section has a clear interest in requirements, although it is relatively young. It has participated in a number of major national projects, including Object- Oriented Data Base research, Structured Analysis specifications prototyping and has received, two national awards. At the present it is involved in a PASO (Software Action Plan, funded by EEC and national Ministry of Industry) on the development of a very upper object- oriented CASE tool for requirements engineering phase (OOAP, Object-Oriented Assistant Prototyper). The section has also been involved in the representation of the Spanish PPG, at the early stages of EUROMETHOD in Brussels.
The Department of Computing and Systems has established a joint research group in requirements engineering in association with the Department of Computing and Information Systems of the Polytechnic University of Valencia (Spain) collaborating with it in projects such as PROTESIS(Formal Techniques for Specification, Automatic Prototyping, Logic Programming and Paradigms Integration); and OASIS(Open and Active Information Systems Specification). It has also recently established links with the "Dipartimento di Scienze dell' Informazione", University of Milano in formal object-oriented techniques and participates in a joint industrial consortium which supports collaboration and collaborative research in object- orientation techniques.
Researchers associated with the project:
Dr. Jesus G. Molina, Dr. Ambrosio Toval, Prof. José Luis Fernández Alemán, Prof. Joaquín Nicolás Ros, Prof. Begoña Moros Valle
Brief CVs of Key Researchers:
Name: Dr. Ambrosio Toval
Nationality: Spanish
Academic Qualifications & Experience: Prof. Toval is licensed in Mathematics (section Computer Science) by the Complutense University of Madrid. He received his PhD in Software Engineering by the Polytechnic University of Valencia. Dr Ambrosio Toval is currently a Reader in Software Engineering in the Department of Computing and Systems at University of Murcia. He has been Director of Studies and, later, director of the High Computing School. Currently, he is the head of the Software Engineering research section. He has participated in various research projects, which led to the development of the OASIS object-oriented specification language and tools. Now, he is the principal investigator of the PASO project on Object- Oriented Prototyping, and His early research concerned with information and decisional system modeling, from a system dynamics perspective, and mainly with educational purposes.
Selected Publications:
A. Toval, M.Flores.(1987): "Computer Systems Simulation in Education". Computers and Education. Pergamon Press", vol. II, n. 4
A. Toval. (1992): "EEC: Euromethod in Progress". Software Engineering Technical Commitee Newsletter, IEEE Computer Society/TCSE, vol. 11, n. 1 (short note)
J.D. Sanchez, A.Toval et al.(1993): "A Dynamo Application of microcomputer-based simulation in Health-Sciences Teaching", Int. Journal of Nursing Studies. Pergamon Press,vol. 30, n. 5
A. Toval; I.Ramos; O. Pastor.(1994): "Prototyping Object-Oriented Specifications in an Algebraic Environment", in Database and Expert Systems Applications, D.Karagiannis (ed.) pp. 310-319, LNCS n. 856 Springer-Verlag
A.Toval. (1994): "Algebraic Formalization of an Automatic Production Environment of Object- Oriented Prototypes", in Proc. of the 4th workshop for Doctoral Students in Object-Oriented Systems in the European Conference on Object- Oriented Programming, ECOOP'94. T. Kielmann, M. Mezini, A. Loeffen. (eds.)
Design by Contract in Smalltalk Jesús García Molina et al. JOOP (Journal of Object-Oriented Programming), vol. 9 (7) , 23-28 1996
A Formal Model of Views for Object-Oriented Database Systems Autores E. Bertino, G. Guerrini, J. Garcia-Molina, B. Catania TAPOS (Theory and Practice of Object Systems) vol. 3(3), 157-183 1997
Combining formal specifications with Design by Contract B. Moros, J Nicolas, J. Garcia, A. Toval JOOP (Journal of Object Oriented Programming) To be published through 1999
Contact Details:
Principal Investigator: Dr. Ambrosio Toval,
Address:Department of Computing, Languages and Systems, University of Murcia, Facultad de Informática, Campus de Espinardo. 30100 ESPINARDO-MURCIA, SPAIN
Telephone number: + 34 968 36 46 03; + 34 968 36 43 11
Telefax number: + 34 968 36 41 51
EMail: atoval@dif.um.es
List of Members