ABSTRACT
Next Wave: High Confidence Software and Systems (HCSS) (Vol. 19 No. 1, 2011) [open pdf - 14MB]
This is the 2011 issue of "The Next Wave," titled "High Confidence Software and Systems (HCSS)," featuring the following articles: "A Letter from Sir Tony Hoare"; "Empowering the Experts: High-Assurance, High-Performance, High-Level Design with Cryptol"; "A High-Assurance Methodology for the Development of Security Software"; "Correct by Construction: Advanced Software Engineering"; "Verified Software in the World"; "Software for Dependable Systems: Sufficient Evidence?"; "Critical Code: Software Producibility for Defense"; and "50 Cyber-Physical Systems."
| Publisher: | |
| Date: | 2011 |
| Series: | |
| Copyright: | Public Domain |
| Retrieved From: | National Security Agency: https://www.nsa.gov/ |
| Format: | pdf |
| Media Type: | application/pdf |
| Source: | The Next Wave (2011), v.19 no.1 |
| URL: |