Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation
| Date | Oct 2000 |
|---|
This paper discusses the advantages of formalisation and automation of software production and the
challenges yet to master with current operation platforms.
Permalink