topics
last updated May 21, 1998
| |
topics
last updated May 21, 1998
|
| formalWARE
project
formalWARE
formalWARE
|
Research
Overview
The formalWARE project focuses on the use of formal methods to address specific challenges in areas of system/software engineering such as requirements specification and validation, software component engineering and system safety verification. This work is supported by more fundamental research on mathematical formalisms such as the S notation which serves as an underlying mechanism for a number of "user level" techniques and methods under development in formalWARE. Contents of this section include:
|
