Cristin-resultat-ID: 905967
Sist endret: 7. februar 2012, 10:39
Resultat
Vitenskapelig antologi/Konferanseserie
2011

Proceedings 22nd International Symposium on Software Reliability Engineering, Hiroshima, Japan 29 Nov-30 Dec 2011

Bidragsytere:
  • Tadashi Dohi

Utgiver/serie

Utgiver

IEEE (Institute of Electrical and Electronics Engineers)
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2011
Antall sider: 279
ISBN: 978-0-7695-4568-4

Beskrivelse Beskrivelse

Tittel

Proceedings 22nd International Symposium on Software Reliability Engineering, Hiroshima, Japan 29 Nov-30 Dec 2011

Bidragsytere

Tadashi Dohi

  • Tilknyttet:
    Redaktør
    ved Hiroshima Kogyo Daigaku
1 - 1 av 1

Kapitler/Artikler Kapitler/Artikler

A Case Study on Verifying Software Requirements and Acceptance Test Cases using Sequenc-Based-Specification.

Jinguye, Li; Jing, Xie; Stensrud, Erik; Skramstad, Torbjørn. 2011, IEEE (Institute of Electrical and Electronics Engineers). DNVVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Towards Goal Based Software Software Safety Certification Based on Prescriptive Standards.

Stensrud, Erik; Skramstad, Torbjørn; Li, Jinguye; Xie, Jing. 2011, IEEE (Institute of Electrical and Electronics Engineers). DNVVitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Panesar - Walawege, Rajwinder; Sabetzadeh, Mehrdad; Briand, Lionel Claude L.. 2011, IEEE (Institute of Electrical and Electronics Engineers). SIMULA, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards.

Panesar - Walawege, Rajwinder; Sabetzadeh, Mehrdad; Briand, Lionel Claude L.. 2011, IEEE (Institute of Electrical and Electronics Engineers). SIMULA, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 4 av 4