The visit had the goal to meet people of the RENOIR site in Nantes and to attend INVOICE 98, a workshop on comparing requirement analysis methods.
A case study (invoicing) was given to all participants. I presented a paper on using PoliS, a formal specification language to specify and analize the requirements of the case study.
The visit was fuitful and other activities on requirements engineering are expected jointly with people in Nantes and other sites.
Prof. Paolo Ciancarini. Dept. Scienze dell'Informazione - Univ. of Bologna.
Mura Anteo Zamboni , 7 - 40127 Bologna - Italy.
tel. +39 51 354506 fax. +39 51 354510
e-mail: ciancarini@cs.unibo.it http://www.cs.unibo.it/~cianca/