A Software Certification Consortium and its Top 9 Hurdles

被引：3

作者：

Hatcliff, John ^{[1
]}

Heimdahl, Mats ^{[2
]}

Lawford, Mark ^{[3
]}

Maibaum, Tom ^{[3
]}

Wassyng, Alan ^{[3
]}

Wurden, Fred ^{[4
]}

机构：

[1] Kansas State Univ, Dept Comp & Informat Sci, Manhattan, KS 66506 USA

[2] Univ Minnesota, U Minnesota Software Engn Ctr, Comp Sci & Engn, Minneapolis, MN USA

[3] McMaster Univ, Software Qual Res Lab, Hamilton, ON, Canada

[4] Microsoft Corp, Seattle, WA USA

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 238卷 / 04期

基金：

加拿大自然科学与工程研究理事会;

关键词：

Software Certification Consortium (SCC); Objectives; Projects; Formal Methods;

D O I：

10.1016/j.entcs.2009.09.002

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 statement: "Software certification is hard because...". The group then synthesized the results into a "Top 9" list by means of discussion and voting. In this article, we describe the goals that we believe should be the goals of SCC, via details of these Top 9 hurdles that are preventing us from making software certification part of the mainstream.

引用

页码：11 / 17

页数：7

共 50 条

[1] Software Certification and Its Implementation in Malaysian Software Industry: A Survey
Mohamed, Shafinah Farvin Packeer
Baharom, Fauziah
Deraman, Aziz
Mohd, Haslina
ADVANCED SCIENCE LETTERS, 2014, 20 (01) : 164 - 168
[2] The Arkema Group Extends its Top Employer Certification
不详
COATINGSTECH, 2024, 21 (02): : 24 - 24
[3] Software package certification and its influence on the quality of the process
Pivka, M
SOFTWARE QUALITY MANAGEMENT IV - IMPROVING QUALITY, 1996, : 161 - 170
[4] CERTIFICATION OF SOFTWARE
KRUCKEBERG, F
WIRTSCHAFTSINFORMATIK, 1993, 35 (02): : 183 - 186
[5] SOFTWARE CERTIFICATION
不详
MER-MARINE ENGINEERS REVIEW, 1995, : 36 - 36
[6] Software - Identifying hurdles to CRM adoption
不详
CHEMICAL WEEK, 2003, 165 (02) : 20 - 20
[7] STUDY ON TOP ATHLETES AT 400 M HURDLES
Ivan, Paula
Gheorghe, Daniel
EDU WORLD 2018 - 8TH INTERNATIONAL CONFERENCE, 2019, 67 : 582 - 588
[8] An industrial case study on the use of UML in software maintenance and its perceived benefits and hurdles
Ana M. Fernández-Sáez
Michel R. V. Chaudron
Marcela Genero
Empirical Software Engineering, 2018, 23 : 3281 - 3345
[9] An industrial case study on the use of UML in software maintenance and its perceived benefits and hurdles
Fernandez-Saez, Ana M.
Chaudron, Michel R. V.
Genero, Marcela
EMPIRICAL SOFTWARE ENGINEERING, 2018, 23 (06) : 3281 - 3345
[10] Software component certification
Morris, J
Lee, G
Parker, K
Bundell, GA
Lam, CP
COMPUTER, 2001, 34 (09) : 30 - +

← 1 2 3 4 5 →