WP6-Telco-Oct-2008

From Event-B
Revision as of 08:24, 14 October 2008 by imported>Jastram (New page: = Agenda Requirements Telco = 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. == Objective =...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Agenda Requirements Telco

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.

Objective

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

Time of Telco

  • Michael J.: Pretty much any time, Mo-Fr, 7:00 - 19:00 CET

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
Retrieved from ‘https://wiki.event-b.org/index.php?title=WP6-Telco-Oct-2008&oldid=10633’