Reliable Software Development: Analysis-Aware Design

被引：0
|
作者：
Holzmann, Gerard J. [1 ]
机构：
[1] CALTECH, Jet Prop Lab, Lab Reliable Software, Pasadena, CA 91109 USA
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 2011年 / 6605卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The application of formal methods in software development does not have to be an all-or-nothing proposition. Progress can be made with the introduction of relatively unobtrusive techniques that simplify analysis. This approach is meant replace traditional analysis-agnostic coding with an analysis-aware style of software development.
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [31] A Context-Aware Style of Software Design
    Fontana, Francesca Arcelli
    Braione, Pietro
    Roveda, Riccardo
    Zanoni, Marco
    2015 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON CONTEXT FOR SOFTWARE DEVELOPMENT, 2015, : 15 - 19
  • [32] Development of software for thermomechanical analysis and design of angiographic catheters
    OShaughnessy, DP
    Cunningham, RA
    OBradaigh, CM
    FRONTIERS FOR ENGINEERING MATERIALS, 1996, 118- : 337 - 345
  • [33] A New Model for Software Inspection at the Requirements Analysis and Design Phases of Software Development
    Taba, Navid
    Ow, Siew
    INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2016, 13 (06) : 644 - 651
  • [34] Highly reliable embedded software development using advanced software technologies
    Katayama, T
    Nakajima, T
    Yuasa, T
    Kishi, T
    Nakajima, S
    Oikawa, S
    Yasugi, M
    Aoki, T
    Okazaki, M
    Umatani, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2005, E88D (06): : 1105 - 1116
  • [35] EnSights: A Tool for Energy Aware Software Development
    Alvi, Hamza M.
    Sahar, Hareem
    Bangash, Abdul A.
    Beg, Mirza O.
    2017 13TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES (ICET 2017), 2017,
  • [36] 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
  • [37] RELIABLE SOFTWARE THROUGH COMPOSITE DESIGN - MYERS,GJ
    DAVIS, CH
    JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1977, 28 (05): : 303 - 303
  • [38] Spin model checking - Reliable design of concurrent software
    Holzmann, GJ
    DR DOBBS JOURNAL, 1997, 22 (10): : 92 - &
  • [39] 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):
  • [40] 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
12345