Safe, effective, and reliable software design and development

被引：0
|
作者：
Fries, Richard C. [1 ]
Pienkowski, Paul J. [1 ]
Jorgens III, Joseph [1 ]
机构：
[1] Ohmeda Medical Systems, Division in Madison
来源：
Biomedical Instrumentation and Technology | 1996年 / 30卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：136 / 149
相关论文
共 50 条
  • [31] A safe, effective, and reliable vaccine against Chagas disease should be described!
    Silva, Joao S.
    MEMORIAS DO INSTITUTO OSWALDO CRUZ, 2022, 117
  • [32] What makes software design effective?
    Tang, Antony
    Aleti, Aldeida
    Burge, Janet
    van Vliet, Hans
    DESIGN STUDIES, 2010, 31 (06) : 614 - 640
  • [33] AN AUTOMATIC SOFTWARE GENERATOR IN THE DESIGN OF RELIABLE PROCEDURAL PROGRAMS
    ALDERIGHI, M
    CONNI, A
    MANTOANI, L
    SECHI, GR
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 367 - 373
  • [34] RELIABLE SOFTWARE THROUGH COMPOSITE DESIGN - MYERS,GJ
    DAVIS, CH
    JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1977, 28 (05): : 303 - 303
  • [35] Spin model checking - Reliable design of concurrent software
    Holzmann, GJ
    DR DOBBS JOURNAL, 1997, 22 (10): : 92 - &
  • [36] Design and implement of image file reliable transmission software
    He, Xinggao
    Qin, Zhiguang
    Li, Lingfei
    Dianzi Keji Daxue Xuebao/Journal of University of Electronic Science and Technology of China, 2001, 30 (06):
  • [37] Software design for implementation of the selectively reliable multicast protocol
    Shanmugam, B
    Pullen, JM
    SIXTH IEEE INTERNATIONAL WORKSHOP ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS, PROCEEDINGS, 2002, : 103 - 107
  • [38] Reliable Software Architecture Design with EtherCAT for a Rescue Robot
    Lee, Youngwoo
    Lee, Wonsuk
    Choi, Byunghun
    Park, Gyuhyun
    Park, Yongwoon
    2016 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTICS AND INTELLIGENT SENSORS (IRIS), 2016, : 34 - 39
  • [39] Architectural Design Decisions for Achieving Reliable Software Systems
    Mohamed, Atef
    Zulkernine, Mohammad
    ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS, 2010, 6150 : 19 - 32
  • [40] Reliable, safe and secure software of connected future control systems - challenges and solutions
    Keller, Hubert B.
    Schneider, Oliver
    Matthes, Joerg
    Hagenmeyer, Veit
    AT-AUTOMATISIERUNGSTECHNIK, 2016, 64 (12) : 930 - 947
12345