HCSS 2005

file

Visible to the public Software Assurance Metrics and Tool Evaluation

Submitted by TimTh on Wed, 08/24/2011 - 8:13am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Function Extraction for Malicious Code: The FX/MC Project

Submitted by TimTh on Wed, 08/24/2011 - 8:10am. Contributor:
file

Visible to the public Software Assurance & the DoD

Submitted by TimTh on Wed, 08/24/2011 - 8:07am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Sufficient Evidence? Building Certifiably Dependable Systems

Submitted by TimTh on Wed, 08/24/2011 - 8:05am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public The Challenge of Verified Software

Submitted by Natarajan Shankar on Wed, 08/24/2011 - 8:02am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public 2005 High Confidence Software & Systems Keynote

Submitted by TimTh on Wed, 08/24/2011 - 7:24am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Direct Software Assurance

Submitted by scherlis on Wed, 08/24/2011 - 7:22am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public A Business Case for FP

Submitted by Launchbury on Wed, 08/24/2011 - 7:21am. Contributor:

Presented as part of the 2005 HCSS conference.