1.1. Problem Statement

The general problems to be solved by the Calendar Tool are the following:

  1. to provide a reliable and easy to use tool that manages an individual's calendar, in a manner comparable to non-electronic media such as day planners and date books

  2. to provide a secure group environment that manages a collection of individual calendars for the purposes of group scheduling and information sharing
While these problems have been solved by a number of commercially available and public domain products, the Calendar Tool provides a solution with certain functional improvements over existing tools. In addition, the development of the Calendar Tool focuses on two other specific problems not addressed in commercial tools:

  1. to provide a pedagogical example for use in the instruction of software engineering, including an example of the practical application of formal methods

  2. to provide fully documented public domain source code for use by others





Prev: [none] | Next: personnel | Up: intro | Top: index