Description: The department of Computer Science of the University of Pisa has a staff of approximately 50 professors, assistants, and researchers. The department serves 2000 students of the Corso di Laurea in Informatics and has a PhD program enrolling approximately 40 students.
Main research fields are: Semantics, Logic Programming, Data Base, Software Engineering, Parallel Architectures, Logics, Programming Languages, Human Computer Interactions, Artificial Intelligence, Numerical Analysis, Operational Research, Algorithms. Most members of the departments have participated or are currently engaged in other ESPRIT projects. Most notably, the proponents are currently members of the PROMOTER 2 Network of Excellence.
Researchers associated with the project: Vincenzo Ambriola, Carlo Montangero, Vincenzo Gervasi
Brief CVs of Key Researchers:
Name: Vincenzo Ambriola
Nationality: Italian
Email:ambriola@di.unipi.it
Home page:http://www.di.unipi.it/~ambriola
Academic Qualifications & Experience: Vincenzo Ambriola is associate professor of Software Engineering at the Department of Informatics, the University of Pisa, since November 1992. He is serving on the Steering Committee of the European Software Engineering Conference, chairman of the Special Interest Network on Software Engineering of CEPIS, and served on the Steering Committee of the European Workshops and on the Program Committees of ESEC, SEKE, ICSP. His research interests lately have been focussing on requirement engineering and software quality.
Name: Carlo Montangero
Nationality: Italian
Email:monta@di.unipi.it
Home page:http://www.di.unipi.it/~monta
Academic Qualifications & Experience: Carlo Montangero is full professor of Programming at the Department of Informatics, the University of Pisa, since 1/11/81. He is serving on the Steering Committee of the European Workshops on Software Process, and served on the program committee of ICECCS, ICSE and ESEC. His research interests lately have been focussing on the specification of coordination in distributed systems, in relation to system development by formal refinements.
Name: Vincenzo Gervasi
Nationality: Italian
Email:gervasi@di.unipi.it
Home page:http://www.di.unipi.it/~gervasi
Academic Qualifications & Experience: Vincenzo Gervasi is currently a Ph.D. student at the Dipartimento di Informatica in Pisa, and holds a Laurea degree cum laude in Informatics. He is member of IEEE and ACM, for which serves as Chair of the local Student Chapter. His main research interests include natural language understanding and generation, requirement engineering, heterogeneous databases and software architecture.
Selected Publications:
1. Ambriola,V., DiMeglio,R., Gervasi,V. and B.Mercurio, Applying a Metric Framework to the Software Process: An Experiment, Proc. of the 3rd European Workshop on Software Process Technology, Grenoble, February 1994. LNCS 772, Springer-Verlag, New York, 207-226.
2. Ambriola,V. and V.Gervasi, An Environment for Cooperative Construction of Requirement Bases, Proc. of the 8th International Conference on Software Engineering Environments, Cottbus, April 1997. IEEE Computer Society Press, Los Alamitos, 124-130.
3. Ambriola,V. and V.Gervasi, Processing Natural Language Requirements, Proc. of the 12th International Conference on Automated Software Engineering, Lake Tahoe, November 1997. IEEE Computer Society Press, Los Alamitos, 36-45.
4. Ambriola,V. and V.Gervasi, Representing Structural Requirements in Software Architecture, Proc. of the International Conference on Systems Implementation 2000: Languages, Methods and Tools, Berlin, February 1998. Chapman & Hall, London, 114-127.
5. Emmerich,W., Finkelstein, ., and C. Montangero, The World and the Machine - A Critical Perspective on Process Technology, Workshop on Research Directions of Process Technology, A. Fuggetta (org), Nancy, July 1997, pp 5 (electronic publication).
6. Emmerich,W., Finkelstein,A., Montangero,C., and R. Stevens, Standards Compliant Software Development. Living with Inconsistencies, Workshop aside ICSE19, S. Fikas and J. Kramer (orgs), Boston, May 1997, pp 7 (electronic publication).
7. Fabbrini,F. Fusani,M. Gervasi,V. Gnesi,S. and S.Ruggieri Achieving Quality in Natural Language Requirements, Proc. of Quality Week 98, S. Francisco, 1998.
8. Fabbrini,F. Fusani,M. Gervasi,V. Gnesi,S. and S.Ruggieri, On Linguistic Quality of Natural Language Requirements, Proc. of the Workshop CAiSE-REFSQ, Pisa, June 1998.
9. C. Montangero, A Case for Refinement Calculi in Software Architecture Design, P. Inverardi and D. Richardsons (eds), NSF-CNR Int. Workshop on The Role Of Software Architecture in Testing and Analysis, Marsala, July 98.
10. Montangero,C. and L. Semini, Applying Refinement Calculi to Software Process Modelling, in W. Schaefer (ed) Proc. 4th Int. Conf. on the Software Process ICSP4. Brighton, December 1996. IEEE Computer Society Press, Los Alamitos, 63-74.
Contact Details:
Principal Investigator: Vincenzo Ambriola
Address: Dipartimento di Informatica, Corso Italia, 40 56125 Pisa
Telephone number: +39 050 887 251
Telefax number: +39 050 887 226
EMail: ambriola@di.unipi.it
List of Members