Institute Name: Dipartimento di Scienze dell'Informazione dell'Universita' di Bologna, Description: The Dipartimento di Scienze dell'Informazione of the University of Bologna, Italy, focusses on researches areas in Computer Science. Our main areas of interest are:
Researchers associated with the project:
Paolo Ciancarini,Fabio Vitali, Cecilia Mascolo, Davide Rossi
Brief CVs of Key Researchers:
Name: Dr. Paolo Ciancarini
Nationality: Italian
Email:ciancarini@cs.unibo.it
Academic Qualifications & Experience: Paolo Ciancarini is Associate Professor of Computer Science. He received his PhD. in Informatics from the University of Pisa in 1988, and has held a position at the University of Pisa before coming to Bologna in 1992. His research interests include: parallel and distributed programming languages and systems, formal methods in software engineering, logic programming, programming environments design. He is one of the main proponents and responsible for the Univ. of Bologna site of the ESPRIT BRA Project COORDINATION on Coordination models and languages. He worked on Software Process Modeling and on the specification and design of distributed multiuser programming environments. He is author of over 30 papers and two books.
Selected Publications:
P. Ciancarini.(1993): Coordinating Rule-Based Software Processes with ESP , ACM Trans. on Sw Engineering and Methodoogy 2(3)
V. Ambriola and P. Ciancarini and A. Corradini.(1995): Declarative Specification of the Architecture of a Software Development Environment, Software Practice and Experience(to appear)
P. Ciancarini and S. Cimato and C. Mascolo (1997): Engineering Formal Requirements: an Analysis and Testing Method for Z Documents, Annals of Software Engineering, 3, pp.189-220
P. Ciancarini and R. Tolksdorf and F. Vitali and D. Rossi and A. Knoche (1998): Coordinating Multiagent Applications on the WWW: a Reference Architecture, IEEE Trans on Sw Engineering, 24 (5), pp.362-375
P. Ciancarini and F. Vitali and C. Mascolo (1999): Managing complex documents over the WWW: a case study for XML, IEEE Trans on Knowledge and Data Engineering, 11(4), July/August
Contact Details:
Principal Investigator: Dr. Paolo Ciancarini,
Address:Mura Anteo Zamboni, 7 40127 Bologna Italy
Telephone number: +39 051 2094506
Telefax number: +39 051 2094510
EMail: ciancarini@cs.unibo.it
List of Members