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 条
  • [31] Developing an ROV software control architecture: a formal specification approach
    de Assis, Fabio Henrique
    Takase, Fabio Kawaoka
    Maruyama, Newton
    Miyagi, Paulo Eigi
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 3107 - 3112
  • [32] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    [J]. 2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [33] Software engineering education:: Roles of formal specification and design calculi
    Bjorner, D
    Cuéllar, JR
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 365 - 409
  • [34] FORMAL SPECIFICATION OF SOFTWARE USING H-GRAPH SEMANTICS
    PRATT, TW
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 153 : 314 - 332
  • [35] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
  • [36] Translating Software Requirements from Natural Language to Formal Specification
    Fatwanto, Agung
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM), 2012, : 148 - 152
  • [37] APPLYING ABSTRACTION AND FORMAL SPECIFICATION IN NUMERICAL SOFTWARE-DESIGN
    TENCATE, HH
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (12) : 81 - 102
  • [38] FORMAL METHODS APPLIED TO SOFTWARE PRODUCTION
    FRASER, AG
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 3 - 9
  • [39] Automatic transition of natural language software requirements specification into formal presentation
    Ilieva, MG
    Ormandjieva, O
    [J]. NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3513 : 392 - 397
  • [40] Automated Software Specification and Design Using the SOFL Formal Engineering Method
    Liu, Shaoying
    Xue, Xiang
    [J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 283 - +
12345