FORMAL SPECIFICATION AND THE PRODUCTION OF CORRECT SOFTWARE

被引：0
|
作者：
INCE, D [1 ]
机构：
[1] OPEN UNIV,FAC MATH,MILTON KEYNES MK7 6AA,BUCKS,ENGLAND
来源：
MATHEMATICAL INTELLIGENCER | 1984年 / 6卷 / 02期
关键词：
D O I：
10.1007/BF03024152
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：28 / 31
页数：4
相关论文
共 50 条
  • [1] HOW TO PRODUCE CORRECT SOFTWARE - AN INTRODUCTION TO FORMAL SPECIFICATION AND PROGRAM-DEVELOPMENT BY TRANSFORMATIONS
    BOITEN, EA
    PARTSCH, HA
    TUIJNMAN, D
    VOLKER, N
    [J]. COMPUTER JOURNAL, 1992, 35 (06): : 547 - 554
  • [2] Formal specification for quality in software development
    Currie, E
    MilankovicAtkinson, M
    [J]. PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 252 - 260
  • [3] Trustable Formal Specification for Software Certification
    Mery, Dominique
    Singh, Neeraj Kumar
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 312 - 326
  • [4] A FORMAL METHOD FOR THE ABSTRACT SPECIFICATION OF SOFTWARE
    MCLEAN, J
    [J]. JOURNAL OF THE ACM, 1984, 31 (03) : 600 - 627
  • [5] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [6] Formal specification of evolutionary software agents
    Zhu, H
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 249 - 261
  • [7] Software Testing Based on Formal Specification
    Gaudel, Marie-Claude
    [J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 215 - 242
  • [8] A Valid and Correct-by-Construction Formal Specification of RBAC
    Gadouche, Hania
    Farah, Zoubeyr
    Tari, Abdelkamel
    [J]. INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY, 2020, 14 (02) : 41 - 61
  • [9] Integrating semi-formal and formal software specification techniques
    Wieringa, R
    Dubois, E
    [J]. INFORMATION SYSTEMS, 1998, 23 (3-4) : 159 - 178
  • [10] Formal techniques in software engineering: Correct software and safe systems
    Liggesmeyer, Peter
    [J]. Theorem Proving in Higher Order Logics, Proceedings, 2007, 4732 : 3 - 4
12345