Ontology approach to normative profiles forming at critical software certification

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

2012 38th Euromicro Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2012.9 ◽

2012 ◽

Author(s):

Christopher Preschern ◽

Kurt Dietrich

Keyword(s):

Common Criteria ◽

Software Certification

Download Full-text

Software Certification in Practice: How Are Standards Being Applied?

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) ◽

10.1109/icse-c.2017.156 ◽

2017 ◽

Author(s):

Gabriel Ferreira

Keyword(s):

Software Certification

Download Full-text

On the Role of Formal Methods in Software Certification: An Experience Report

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.09.001 ◽

2009 ◽

Vol 238 (4) ◽

pp. 3-9 ◽

Cited By ~ 4

Author(s):

Constance L. Heitmeyer

Keyword(s):

Formal Methods ◽

Experience Report ◽

Software Certification

Download Full-text

Environmental Testing Techniques for Software Certification

IEEE Transactions on Software Engineering ◽

10.1109/tse.1985.232551 ◽

1985 ◽

Vol SE-11 (9) ◽

pp. 934-938 ◽

Cited By ~ 1

Author(s):

M.S. Karasik

Keyword(s):

Environmental Testing ◽

Software Certification ◽

Testing Techniques

Download Full-text

An engineering approach to critical software certification

Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers ◽

10.1109/hicss.1999.772990 ◽

2003 ◽

Cited By ~ 1

Author(s):

R.E. Loesh ◽

A.B. Gosnell ◽

T.F. Benoist ◽

R.M. Wyskida ◽

J.D. Johannes

Keyword(s):

Engineering Approach ◽

Software Certification

Download Full-text

Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005844800540061 ◽

2016 ◽

Author(s):

Isabella Biscoglio ◽

Giuseppe Lami ◽

Gianluca Trentanni

Keyword(s):

Italian Experience ◽

Software Certification

Download Full-text

On Software Certification: We Need Product-Focused Approaches

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_13 ◽

2010 ◽

pp. 250-274 ◽

Cited By ~ 4

Author(s):

Alan Wassyng ◽

Tom Maibaum ◽

Mark Lawford

Keyword(s):

Software Certification

Download Full-text

Complete Component-Wise Software Certification for Safety-Critical Embedded Devices

2018 IEEE 9th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON) ◽

10.1109/iemcon.2018.8614797 ◽

2018 ◽

Author(s):

Detlef Streitferdt ◽

Armin Zimmermann ◽

Jorg Schaffner ◽

Michael Kallenbach

Keyword(s):

Embedded Devices ◽

Safety Critical ◽

Software Certification

Download Full-text

Component-wise software certification for safety-critical embedded devices

2017 8th Annual Industrial Automation and Electromechanical Engineering Conference (IEMECON) ◽

10.1109/iemecon.2017.8079584 ◽

2017 ◽

Author(s):

Detlef Streitferdt ◽

Armin Zimmermann ◽

Jorg Schaffner ◽

Michael Kallenbach

Keyword(s):

Embedded Devices ◽

Safety Critical ◽

Software Certification

Download Full-text

Challenges in Software Certification

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-76650-6_2 ◽

2007 ◽

pp. 4-18 ◽

Cited By ~ 1

Author(s):

Tom Maibaum

Keyword(s):

Software Certification

Download Full-text