Supporting software quality in an integrated safety-critical systems development environment

被引：0
|
作者：
Lees, B. [1 ]
Jenkins, D.G. [1 ]
机构：
[1] Department of Computing and Information Systems, University of Paisley, Paisley PA1 2BE, United Kingdom
来源：
Software Quality Journal | 1996年 / 5卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Safety engineering
引用
收藏
页码：117 / 125
相关论文
共 50 条
  • [1] Supporting software quality in an integrated safety-critical systems development environment
    Lees, B
    Jenkins, DG
    SOFTWARE QUALITY JOURNAL, 1996, 5 (02) : 117 - 125
  • [2] Supporting software quality in an integrated safety critical systems development environment
    Lees, B
    Jenkins, DG
    SOFTWARE QUALITY MANAGEMENT IV - IMPROVING QUALITY, 1996, : 547 - 556
  • [3] The Methodology of Software Quality Assurance for Safety-Critical Systems
    Jharko, E. Ph.
    2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
  • [4] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
  • [5] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [6] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [7] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [8] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [9] Supporting Consistency in the Heterogeneous Design of Safety-Critical Software
    Paz, Andres
    El Boussaidi, Ghizlane
    2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2019, : 37 - 46
  • [10] Quality Assurance in Agile Safety-Critical Systems Development
    McBride, Tom
    Lepmets, Marion
    PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 44 - 51
12345