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: |