| Other |
| |
| Information
On VDM (Vienna Development Method) |
|
|
| ISO
VDM Specification Language VDM-SL |
|
|
| Automatic
Testing Data Generation from VDM-SL Specifications |
|
|
| GIST
(Generating InStructional Text) |
|
|
| GIST
Bibliography |
|
|
| FDA
Regulations and Software Process Documentation |
|
|
| Advantages
of Stimulus Response Requirement Specification Techniques for System
Testing |
|
|
|
| |