2011 First International Workshop on Software Certification
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE

9780769546179, 9781467307444

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Copyright Page

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.3 ◽

2011 ◽

Download Full-text

Title Page iii

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.2 ◽

2011 ◽

Keyword(s):

Download Full-text

Towards Goal-Based Software Safety Certification Based on Prescriptive Standards

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.7 ◽

2011 ◽

Author(s):

Erik Stensrud ◽

Torbjorn Skramstad ◽

Jingyue Li ◽

Jing Xie

Keyword(s):

Software Safety ◽

Safety Certification

Download Full-text

Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.8 ◽

2011 ◽

Author(s):

Rajwinder Kaur Panesar-Walawege ◽

Mehrdad Sabetzadeh ◽

Lionel Briand

Keyword(s):

Model Driven Engineering ◽

Download Full-text

Title Page i

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.1 ◽

2011 ◽

Keyword(s):

Download Full-text

Organizers

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.5 ◽

2011 ◽

Download Full-text

Independent Test Verification: What Metrics Have a Word to Say

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.10 ◽

2011 ◽

Author(s):

Nuno Silva ◽

Rui Lopes

Keyword(s):

Independent Test ◽

Test Verification

Download Full-text

Message from the Workshop Chairs

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.4 ◽

2011 ◽

Download Full-text

Error Models and Software Certification

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.11 ◽

2011 ◽

Author(s):

William E. Howden

Keyword(s):

Error Models ◽

Software Certification

Download Full-text

Publisher's Information

2011 First International Workshop on Software Certification ◽

10.1109/wosocer.2011.17 ◽

2011 ◽

Download Full-text