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 条
  • [1] Analysis-aware microscopy video compression
    Shao, Chong
    Cribb, Jeremy
    Osborne, Lukas D.
    O'Brien, E. Timothy, III
    Superfine, Richard
    Mayer-Patel, Ketan
    Taylor, Russell M., II
    MICROSCOPY RESEARCH AND TECHNIQUE, 2018, 81 (07) : 693 - 703
  • [2] Analysis-aware defeaturing of complex geometries with Neumann features
    Antolin, Pablo
    Chanon, Ondine
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2024, 125 (03)
  • [3] Analysis-aware defeaturing: Problem setting and a posteriori estimation
    Buffa, Annalisa
    Chanon, Ondine
    Vázquez, Rafael
    Mathematical Models and Methods in Applied Sciences, 2022, 32 (02) : 359 - 402
  • [4] Optimal Analysis-Aware Parameterization of Computational Domain in Isogeometric Analysis
    Xu, Gang
    Mourrain, Bernard
    Duvigneau, Regis
    Galligo, Andre
    ADVANCES IN GEOMETRIC MODELING AND PROCESSING, PROCEEDINGS, 2010, 6130 : 236 - +
  • [5] Towards Analysis-aware EEG Compression in Wearable Computing
    2023 IEEE 19TH INTERNATIONAL CONFERENCE ON BODY SENSOR NETWORKS, BSN, 2023,
  • [6] Analysis-aware defeaturing: Problem setting and a posteriori estimation
    Buffa, Annalisa
    Chanon, Ondine
    Vazquez, Rafael
    MATHEMATICAL MODELS & METHODS IN APPLIED SCIENCES, 2022, 32 (02): : 359 - 402
  • [7] Safe, effective, and reliable software design and development
    Fries, Richard C.
    Pienkowski, Paul J.
    Jorgens III, Joseph
    Biomedical Instrumentation and Technology, 1996, 30 (02): : 136 - 149
  • [8] Analysis-Aware Modelling of Spacial Curve for Isogeometric Analysis of Timoshenko Beam
    Xia, Yang
    Deng, Luting
    Zhao, Jian
    CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, 2020, 124 (02): : 605 - 626
  • [9] Analysis-aware modeling: Understanding quality considerations in modeling for isogeometric analysis
    Cohen, E.
    Martin, T.
    Kirby, R. M.
    Lyche, T.
    Riesenfeld, R. F.
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2010, 199 (5-8) : 334 - 356
  • [10] Optimal analysis-aware parameterization of computational domain in 3D isogeometric analysis
    Xu, Gang
    Mourrain, Bernard
    Duvigneau, Regis
    Galligo, Andre
    COMPUTER-AIDED DESIGN, 2013, 45 (04) : 812 - 821
12345