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:
Help with citations