Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis

被引：0
|
作者：
Lanzinger, Florian [1 ]
Martin, Christian [1 ]
Reiche, Frederik [1 ]
Teuber, Samuel [1 ]
Heinrich, Robert [1 ]
Weigl, Alexander [1 ]
机构：
[1] Karlsruhe Institute of Technology, Karlsruhe, Germany
来源：
arXiv | 1600年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
28
引用
收藏
相关论文
共 50 条
  • [21] Formal Architecture Modeling of Business Application-Software Maintenance Case Study
    Sarkar, Santonu
    Panayappan, Arun
    [J]. 2008 IEEE REGION 10 CONFERENCE: TENCON 2008, VOLS 1-4, 2008, : 912 - 917
  • [22] Software architecture modeling & analysis: A rigorous approach
    Kramer, J
    Magee, J
    Uchitel, S
    [J]. FORMAL METHODS FOR SOFTWARE ARCHITECTURES, 2003, 2804 : 44 - 51
  • [23] A formal approach to distributed software architecture
    He, J
    Fang, DY
    Qin, Z
    [J]. 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 342 - 346
  • [24] Quantitative Analysis of Software Approximate Correctness
    Ma, Yanfang
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [25] An analysis of software correctness prediction methods
    Kokol, P
    Podgorelec, V
    Zorman, M
    Sprogar, M
    Pighin, M
    [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 33 - 39
  • [26] Case Study on Formal Modeling and Analysis of Airborne Software Requirements
    Hu J.
    Lü J.-R.
    Wang L.-S.
    Kang J.-X.
    Wang H.
    Gao Z.-J.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (05): : 1652 - 1673
  • [27] Ensuring the Functional Correctness of IoT through Formal Modeling and Verification
    Ouchani, Samir
    [J]. MODEL AND DATA ENGINEERING, MEDI 2018, 2018, 11163 : 401 - 417
  • [28] Evaluating and balancing reliability and performance properties of software architecture using formal modeling techniques
    Xu, Jianli
    [J]. 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2006, : 212 - 222
  • [29] SAM: A tool for Software Architecture Modeling & performance Analysis
    Rajeshwari, G
    Sarkar, S
    [J]. SECOND INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2005, : 249 - 250
  • [30] Experience of combining qualitative and quantitative analysis methods for evaluating software architecture
    Lee, Y
    Choi, HJ
    [J]. Fourth Annual ACIS International Conference on Computer and Information Science, Proceedings, 2005, : 152 - 157
12345