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 条
  • [21] PROMISING TOOL FOR RELIABLE SOFTWARE DESIGN.
    Assens, R.
    Joubert, T.
    Martin, M.
    NTC Conference Record - National Telecommunications Conference, 1980, 1 : 1 - 18
  • [22] Reliable Software Design Aided by QEMU Simulation
    Almeida, Rui
    Novais, Luis
    Naia, Nelson
    Faria, Rui
    Cabral, Jorge
    2021 22ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2021, : 797 - 804
  • [23] Energy-Aware Allocation of Reliable Virtual Software Defined Networks
    Gomes, Rafael L.
    Bittencourt, Luiz F.
    Madeira, Edmundo R. M.
    Cerqueira, Eduardo
    Gerla, Mario
    2015 12TH ANNUAL IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE, 2015, : 519 - 524
  • [24] Generative Software Product Line Development using Variability-Aware Design Patterns
    Seidl, Christoph
    Schuster, Sven
    Schaefer, Ina
    SPLC'18: PROCEEDINGS OF THE 22ND INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL 1, 2018, : 246 - 246
  • [25] Generative software product line development using variability-aware design patterns
    Seidl, Christoph
    Schuster, Sven
    Schaefer, Ina
    ACM SIGPLAN Notices, 2015, 51 (03): : 151 - 160
  • [26] Generative Software Product Line Development using Variability-Aware Design Patterns
    Seidl, Christoph
    Schuster, Sven
    Schaefer, Ina
    GPCE'15: PROCEEDINGS OF THE 2015 ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, 2015, : 151 - 160
  • [27] Generative software product line development using variability-aware design patterns
    Seidl, Christoph
    Schuster, Sven
    Schaefer, Ina
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2017, 48 : 89 - 111
  • [28] Generative Software Product Line Development using Variability-Aware Design Patterns
    Seidl, Christoph
    Schuster, Sven
    Schaefer, Ina
    ACM SIGPLAN NOTICES, 2016, 51 (03) : 151 - 160
  • [29] Reliable supply chain network design model: Development and analysis
    Patil, Prasad
    Vishnu, C. R.
    Sridharan, R.
    MATERIALS TODAY-PROCEEDINGS, 2018, 5 (11) : 23549 - 23558
  • [30] ISSUES IN THE DEVELOPMENT OF LARGE, DISTRIBUTED, AND RELIABLE SOFTWARE
    RAMAMOORTHY, CV
    PRAKASH, A
    GARG, V
    YAMAURA, T
    BHIDE, A
    ADVANCES IN COMPUTERS, 1987, 26 : 393 - 443
12345