WP6-Telco-Oct-2008

Requirements Telco, October 2008

Please add or edit the topics for the Requirements Telco, to be held in October 2008. Please add possible dates / times of the telco as well.

The Organizer is Michael Jastram.

Objective

Our overall goal is to find a method / notation for capturing requirements that allows traceability between the requirements and an Event-B Specification.

Participants

Please add your name here if you are interested in attending the Telco:

• Michael Jastram

Time of Telco

Let's try to organize the Telco before the meeting in Turku. This means we should hold it between 10/16 and 10/31.

Please indicate what times do (or do not) work for you here:

• Michael J.: Pretty much any time, Mo-Fr, 7:00 - 17:00 CET, except on 10/27 only from 14:00-19:00

Agenda

Feel free to add / modify the Agenda:

• Christophe: Presentation of research regarding KAOS
• Michael: Experience with modelling the SAP Mini-Pilot with KAOS
• Brainstorming: Can we realize our Objective with KAOS?
• Discussion on how to proceed from here