Difference between revisions of "WP6-Telco-Oct-2008"
From Event-B
Jump to navigationJump to searchimported>Jastram |
imported>Jastram |
||
Line 13: | Line 13: | ||
Please add your name here if you are interested in attending the Telco: | Please add your name here if you are interested in attending the Telco: | ||
− | * | + | * Michael J. |
+ | * Christophe | ||
+ | * Dinho | ||
== Time of Telco == | == Time of Telco == | ||
− | + | October 23rd, 14:00 CET | |
− | |||
− | |||
− | |||
− | |||
== Agenda == | == Agenda == |
Revision as of 07:48, 20 October 2008
Contents
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
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