Difference between revisions of "WP6-Telco-Oct-2008"
From Event-B
Jump to navigationJump to searchimported>Jastram |
imported>Mathieu |
||
| (One intermediate revision by one other user not shown) | |||
| Line 25: | Line 25: | ||
== Agenda == | == Agenda == | ||
| − | + | * Michael J: Objective of Meeting | |
| + | ** Enable RE in the context of EventB-Modelling, specifically traceability between requirements and EventB-Specifications, to allow reasoning about the system. | ||
| + | ** KAOS is one possible candidate of such an RE-method | ||
* Christophe: Presentation of research regarding KAOS | * Christophe: Presentation of research regarding KAOS | ||
| + | ** Specifically: mapping EventB and KAOS | ||
* Michael: Experience with modelling the SAP Mini-Pilot with KAOS | * Michael: Experience with modelling the SAP Mini-Pilot with KAOS | ||
| + | ** Please see the BSCW-Slides: http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/89148 | ||
* Brainstorming: Can we realize our Objective with KAOS? | * Brainstorming: Can we realize our Objective with KAOS? | ||
* Discussion on how to proceed from here | * Discussion on how to proceed from here | ||
| + | |||
| + | |||
| + | [[Category:Organization]] | ||
Latest revision as of 12:51, 12 August 2009
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
- Manuel
Time of Telco
October 23rd, 14:00 CET
Agenda
- Michael J: Objective of Meeting
- Enable RE in the context of EventB-Modelling, specifically traceability between requirements and EventB-Specifications, to allow reasoning about the system.
- KAOS is one possible candidate of such an RE-method
- Christophe: Presentation of research regarding KAOS
- Specifically: mapping EventB and KAOS
- Michael: Experience with modelling the SAP Mini-Pilot with KAOS
- Please see the BSCW-Slides: http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/89148
- Brainstorming: Can we realize our Objective with KAOS?
- Discussion on how to proceed from here
