examples
last updated May 21, 1998
| |
examples
last updated May 21, 1998
|
| formalWARE
project
formalWARE
formalWARE
|
The exploratory application
of techniques and methods to "real" systems and related technical data
is a key aspect of formalWARE. These applications are used to motivate
research and to ensure that the results of this project can be "scaled
up" to the complexity of real systems.
Five examples of formalWARE applications are illustrated below. These examples are based on descriptions of systems that are available in the public domain. Example One: Aeronautical Telecommunications Network Specification Example Two: North Atlantic Separation Minima Specification and Analysis Example Three: On-line Library System Example Four: Chemical Factory Information System Example
Five: Automated Test Derivation from Requirements
A number of other interactions between university-based project members and the sponsoring companies have involved applications of methods and tools under investigation or development within the scope of formalWARE to real systems and/or technical data used to develop real systems. . |
