Institute Name: Fundacao da Faculdade de Ciencias da Universidade de Lisboa(FCUL)
Description: The Faculty of Sciences of the University of Lisbon is the oldest centre for research and education in Science in Portugal. It has 9 departments and employs 500 members of permanent academic staff who are responsible for 18 degrees involving 5,000 students, as well as postgraduate studies involving about 300 MSc and 300 PhD students.
The Department of Informatics was created in 1987 with a strong support of the software industry. Since then, it has been recognised as one of the leading centres for advanced training in software engineering, mainly in information systems. It offers two undergraduate degrees, one in Informatics (100 students per annum) and another in Language and Knowledge Engineering (30 students per annum), and two MSc degrees, one in Informatics and another in Informatics and Education, each admitting 20 students per annum.
The research interests of the Department are in Networks, Artificial Intelligence, Computer Graphics, Neural Computing, and Formal Methods. The team working on Formal Methods focuses on the theoretical and methodological foundations of software engineering, with particular emphasis in component-based system analysis, specification and evolution. Research in this area has been conducted in close collaboration with leading research centres in the context of several international projects, including Imperial College ( in projects with a strong emphasis in requirements engineering). The team is currently involved in 3 European and 2 national projects, and collaborates with institutions in the UK (Imperial College), France (LMD - Marseilles) and Brasil (PUC - Rio de Janeiro).
Researchers associated with the project:
Dr. J.L.Fiadeiro C.Paredes (PhD student) P.Ramos (PhD student)
Brief CVs of Key Researchers:
Name: Dr. J.L. Fiadeiro
Nationality: Portuguese
Academic Qualifications & Experience: J.L Fiadeiro holds a PhD in Mathematics awarded by the Technical University of Lisbon in 1989. He is currently an Associate Professor in the Department of Informatics at the Faculty of Sciences of the University of Lisbon. He held a grant for post-doctoral studies at Imperial College where he contributed to the FOREST (Formal Requirements Specification Techniques, funded by the UK Department of Trade & Industry), ISCORE (Information Systems: Correctness and Reusability, BRA 3023) and ESF-ATP (Eureka Software Factory - Advanced Technology Programme project, funded by the UK Department of Trade & Industry) projects.
At FCUL, Dr J.L.Fiadeiro is the principal investigator of various research projects, including IS-CORE II (Information Systems: Correctness and Reusability, BRA 6071 on object-oriented modelling of information systems), MODELAGE (A Common Formal Model of Cooperating Intelligent Agents, BRA 8319 on developing a unified notion of agent as used in software engineering, organisation theory and artificial intelligence), and MEDICIS (HCM Scientific Network on methodologies for the development of software specifications). His research interests include software specification formalisms and methods, especially as applied to component-based, reactive systems.
Selected Publications:
J.Fiadeiro and C. Sernadas (1991): "Towards Object-Oriented Conceptual Modelling", Data and Knowledge Engineering 6, pp.479-508
J.Fiadeiro, C.Sernadas, T.Maibaum and A.Sernadas(1992): "Describing and Structuring Objects for Conceptual Schema Development", in Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, P.Loucopoulos and R.Ziccari (eds), pp. 117-138, John Wiley
J.Fiadeiro and T.Maibaum.(1992): "Temporal Theories as Modularisation Units for Concurrent System Specification", Formal Aspects of Computing 4(3), pp. 239-272
J.Fiadeiro and T.Maibaum.(1994): "Verifying for Reuse: Foundations of Object-Oriented System Verification", in Theory and Formal Methods, C.Hankin, I.Makie and R.Nagarajan (eds), Springer-Verlag, in print
Contact Details:
Principal Investigator: Dr. Jose Fiadeiro,
Address: Department of Informatics, FCUL, Campo Grande, Lisboa, 1700, PORTUGAL
Telephone number: + 351 1 7577831
Telefax number: + 351 1 7577831
EMail: llf@di.fc.ul.pt
List of Members