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 条
  • [41] 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
  • [42] Architectural Design Decisions for Achieving Reliable Software Systems
    Mohamed, Atef
    Zulkernine, Mohammad
    ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS, 2010, 6150 : 19 - 32
  • [43] Energy-Aware Software Development for Embedded Systems in HW/SW Co-Design
    Ehrlich, Paul
    Radke, Stephan
    PROCEEDINGS OF THE 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2013, : 232 - 235
  • [44] Evidence-Based Quality-Aware Agile Software Development Process: Design and Evaluation
    Karhapaa, Pertti
    Behutiye, Woubshet
    Seppanen, Pertti
    Rodriguez, Pilar
    Oivo, Markku
    Franch, Xavier
    Martinez-Fernandez, Silverio
    Lopez, Lidia
    Choras, Michal
    Bagnato, Alessandra
    Aaramaa, Sanja
    Partanen, Jari
    IEEE ACCESS, 2024, 12 : 86487 - 86512
  • [45] Design and Development of Integrated Software for Design and Analysis of Rotary Locking Mechanism of Firearms
    Wei Z.-F.
    Liu W.
    Lan X.
    Wang Z.-W.
    Binggong Xuebao/Acta Armamentarii, 2017, 38 (12): : 2337 - 2347
  • [46] COST-EFFECTIVE RELIABLE SOFTWARE ENGINEERING AND DEVELOPMENT
    REDDI, AV
    MICROELECTRONICS RELIABILITY, 1984, 24 (04) : 677 - 682
  • [47] User- and Analysis-Driven Context Aware Software Development in Mobile Computing
    Abusair, Mai
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 1022 - 1025
  • [48] Development of MAI Model and Framework for Designing Reliable Software
    Fetaji, Majlinda
    Fetaji, Bekim
    Ebibi, Mirlinda
    2016 5TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2016, : 77 - 82
  • [49] DECISION SUPPORT SYSTEM FOR RELIABLE SOFTWARE DEVELOPMENT.
    Brown, Donald E.
    IEEE Transactions on Systems, Man and Cybernetics, 1987, SMC-17 (01): : 86 - 91
  • [50] GLOBALIZATION OF SOFTWARE-DEVELOPMENT FOR RELIABLE TELECOMMUNICATIONS SYSTEMS
    SUZUKI, T
    KONISHI, K
    NAKAMURA, K
    FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1992, 28 (02): : 241 - 246
12345