Calendar Scheduler: Extended Definition of Meeting Scheduler

[Up] [Top]

Axel van Lamsweerde provides an extended specification of the meeting scheduling problem from October 1992 [vanLamsweerde92] and an extension to cover conflict resolution from November 1993 [vanLamsweerde93].

We link these here because they show how problem complexity emerges as you consider the problem statement in more detail, and because the original source is relatively inaccessible to this commumnity. It may be helpful to think of this as a solution imported from a requirements/specification exercise.

For more information about the preliminary definition, contact

Axel van Lamsweerde, Robert Darimont and Philippe Massonet
UCL - Unite d'Informatique
B-1348 Louvain-la-Neuve (Belgium)
avl@info.ucl.ac.be
For more information about the extension for conflict resolution, contact

Axel van Lamsweerde, Charles Christoph and Philippe Massonet
University of Louvain,
Unite d'informatique,
B-1348 Louvain-la-Neuve (Belgium)
[Up] [Top]

Updated Halloween 95 by Mary Shaw
Comments to maintainer