Journal article
A Software Certification Consortium and its Top 9 Hurdles
Abstract
In August of 2007 and December of 2007, North American academic researchers, industry representatives and regulators were invited to meetings in Washington and Minneapolis, respectively, with the goal of forming a Software Certification Consortium (SCC). At the first meeting, objectives were established for the consortium and a certification grand challenge was issued. At the second meeting, all participants were asked to complete the …
Authors
Hatcliff J; Heimdahl M; Lawford M; Maibaum T; Wassyng A; Wurden F
Journal
Electronic Notes in Theoretical Computer Science, Vol. 238, No. 4, pp. 11–17
Publisher
Elsevier
Publication Date
September 2009
DOI
10.1016/j.entcs.2009.09.002
ISSN
1571-0661