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 条
  • [21] MANUFACTURING GAME: A FORMAL APPROACH TO MANUFACTURING SOFTWARE.
    Naylor, Arch W.
    Maletz, Mark C.
    IEEE Transactions on Systems, Man and Cybernetics, 1986, SMC-16 (03): : 321 - 334
  • [22] A formal software development approach using refinement calculus
    Wang, YF
    Pang, J
    Zha, M
    Yang, ZH
    Zheng, GL
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 16 (03) : 251 - 262
  • [23] A formal software development approach using refinement calculus
    Yunfeng Wang
    Jun Pang
    Ming Zha
    Zhaohui Yang
    Guoliang Zheng
    Journal of Computer Science and Technology, 2001, 16 : 251 - 262
  • [24] Formal specification based software testing: An automated approach
    Gill, MS
    Bhatia, RK
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 656 - 659
  • [25] A Formal Software Development Approach Using Refinement Calculus
    王云峰
    庞军
    查鸣
    杨朝晖
    郑国梁
    Journal of Computer Science and Technology, 2001, (03) : 251 - 262
  • [26] A formal model driven approach to dependable software evolution
    Chen, Feng
    Yang, Hongji
    Qiao, Bing
    Chu, William Cheng-Chung
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 205 - +
  • [27] Formal approach for handling software evolution in component-based software developments
    Iida, S
    Futatsugi, K
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 262 - 271
  • [28] An Evolutionary Method for the Formal Specification Construction of Service-Based Software
    Miao, Weikai
    Wang, Xi
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (04) : 587 - 610
  • [29] A formal approach for the construction and verification of railway control systems
    Haxthausen, Anne E.
    Peleska, Jan
    Kinder, Sebastian
    FORMAL ASPECTS OF COMPUTING, 2011, 23 (02) : 191 - 219
  • [30] A Pattern-Based Approach to Formal Specification Construction
    Wang, Xi
    Liu, Shaoying
    Miao, Huaikou
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 159 - +
12345