WP6-Telco-Oct-2008

From Event-B
Revision as of 07:43, 21 October 2008 by imported>Jastram
Jump to navigationJump to search

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 J.
  • Christophe
  • Dinho
  • Manuel


Time of Telco

October 23rd, 14:00 CET

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