WP6-Telco-Oct-2008: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram |
imported>Jastram No edit summary |
||
| Line 1: | Line 1: | ||
= | = 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. | 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. | ||
| Line 17: | Line 17: | ||
Let's try to organize the Telco before the meeting in Turku. This means we should hold it between 10/16 and 10/31. | 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 | 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 | * Michael J.: Pretty much any time, Mo-Fr, 7:00 - 17:00 CET, except on 10/27 only from 14:00-19:00 | ||
== Agenda == | == Agenda == | ||
Feel free to add / modify the Agenda: | |||
* Christophe: Presentation of research regarding KAOS | * Christophe: Presentation of research regarding KAOS | ||
Revision as of 08:34, 14 October 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.
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 ( michael@jastram.de )
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
