Recent Activity

Recent Posts

file

Visible to the public The Tabular Expressions Toolbox for Matlab/Simulink

file

Visible to the public Certification of Health IT Software

file

Visible to the public The Rational Design Process Used for the Darlington Shutdown Systems

file

Visible to the public Measuring and Assessing Software Trustworthiness: Approaches and Challenges

file

Visible to the public Agenda - SCC Meeting 8: Nov 9-10 2011

file

Visible to the public Software Safety

file

Visible to the public Keeping Things “As Simple As Possible, but Not Simpler"

file

Visible to the public Robustness Assurance for Systems at Scale

file

Visible to the public Assurance Cases and Software: Is there any evidence?

file

Visible to the public What Goes Wrong With Software Development And Why?