Discussion
- This report proposes an approach for the design and validation of distributed systems using scenarios (UCMs) and formal methods (LOTOS). The case study is one of a generic Group Communication Server (GCS).
Form For Virtual Library edit
| Title | Group Communication Server: A Scenario-Based Design Exercise |
| Authors | D. Amyot |
| Type | Other |
| Conference/Journal Title | CITO report #1388 |
| Volume/Number | |
| Editors | |
| Publisher | |
| Month | June |
| Year | 1998 |
| Pages | |
| Keywords |
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 lot |
gcs22.lot | manage | 133.9 K | 05 Aug 2006 - 15:25 | Daniel Amyot | LOTOS specification |
 html |
gcs22.lot.html | manage | 376.4 K | 05 Aug 2006 - 15:26 | Daniel Amyot | LOTOS specification (HTML) |
 pdf |
gcsJune1998.pdf | manage | 1398.9 K | 17 Oct 2005 - 22:35 | Jean Francois Roy | report |
| pdf |
mitel99nov23.pdf | manage | 191.6 K | 17 Oct 2005 - 23:49 | Jean Francois Roy | Presentation |
Topic revision: r3 - 05 Aug 2006 - 15:26:41 - Daniel Amyot
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding Foswiki? Send feedback