A FORMAL APPROACH TO LARGE SOFTWARE CONSTRUCTION

被引：0
|
作者：
ABRIAL, JR
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 375卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 20
页数：20
相关论文
共 50 条
  • [41] An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms
    Zhang, Min
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 664 - 673
  • [42] A formal approach for component based embedded software modelling and analysis
    Almeida, HO
    da Silva, LD
    Oliveira, E
    Perkusich, A
    ISIE 2005: PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS 2005, VOLS 1- 4, 2005, : 1337 - 1342
  • [43] An Approach to Formal Verification of Python']Python Software Transactional Memory
    Kordic, Branislav
    Popovic, Miroslav
    Ghilezan, Silvia
    Basicevic, Ilija
    PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017), 2017,
  • [44] A formal approach facilitating the evolution of component-based software
    Thang, NT
    Katayama, T
    Eighth International Workshop on Principles of Software Evolution, Proceedings, 2005, : 49 - 52
  • [45] Applying formal proof techniques to avionics software: A pragmatic approach
    Randimbivololona, F
    Souyris, J
    Baudin, P
    Pacalet, A
    Raguideau, J
    Schoen, D
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1798 - 1815
  • [46] A formal approach to verify mapping relation in a software product line
    Satyananda, Tonny Kurniadi
    Lee, Danhyung
    Kang, Sungwon
    2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 934 - 939
  • [47] Formal object-oriented approach to software development of CIMS
    East China Univ of Science and, Technology, Shanghai, China
    Gaojishu Tongxin/High Technology Letters, 1997, 7 (08): : 5 - 8
  • [48] A formal approach to reactive systems software: A telecommunications application in ESTEREL
    Jagadeesan, LJ
    Puchol, C
    VonOlnhausen, JE
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (02) : 123 - 151
  • [49] Formal approach to reactive systems software: a telecommunications application in ESTEREL
    AT&T Bell Lab, Naperville, United States
    Formal Methods Syst Des, 2 (123-151):
  • [50] Maintenance-oriented approach to software construction
    Schach, Stephen R.
    Tomer, Amir
    Journal of Software Maintenance, 2000, 12 (01): : 25 - 45
12345