Questions and Answers About Ten Formal Methods
An abstract model of an industrial distributed data base application has been studied using process based, state based, and queueing theory based methods. The methods supported by graphical notations and/or integrated development environments were found to be easiest to work with. The methods suppor...
| Main Authors: | , , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
STAR/CNR‚ Pisa‚ Italy
1999
|