Difference between revisions of "WP6-Telco-Oct-2008"
From Event-B
Jump to navigationJump to searchimported>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 =...) |
(No difference)
|
Revision as of 08:24, 14 October 2008
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
