Activity title: REQUIREMENTS FOR REAL-TIME SYSTEMS

Activity bid by: J. L. Fiadeiro, FFCUL

Activity dates: 9/6/99 - 13/6/99

Visit to Imperial College

participants: Kevin Lano (IC), Juan Bicarregui (IC), Tom Maibaum (IC), Jose Fiadeiro (FFCUL)

A general meeting was held in which the current research at IC and FCUL was summarised and discussed. More specific discussions were held on the use of internal actions in the process of relating requirements to design specifications. Finally, plans were made for future research visits.