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 条
  • [41] Formal Specification and Automated Verification of Railway Software with Frama-C
    Prevosto, Virgile
    Burghardt, Jochen
    Gerlach, Jens
    Hartig, Kerstin
    Pohl, Hans
    Voellinger, Kim
    [J]. 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 710 - 715
  • [42] A FRAMEWORK FOR INTEGRATING FORMAL SPECIFICATION, REVIEW, AND TESTING TO ENHANCE SOFTWARE RELIABILITY
    Liu, Shaoying
    Tamai, Tetsuo
    Nakajima, Shin
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2011, 21 (02) : 259 - 288
  • [43] Bases for the development of LAST:: a formal method for business software requirements specification
    Almendros-Jiménez, JM
    González-Jiménez, L
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (02) : 65 - 75
  • [44] Software Components Prioritization using OCL Formal Specification for Effective Testing
    Jalila, A.
    Mala, D. Jeya
    [J]. 2013 INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2013, : 714 - 720
  • [45] A formal specification method for building real-time distributed software
    Kim, TY
    Hong, SB
    Lee, YK
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 46 - 49
  • [46] Formal specification of software product lines: A graph transformation based approach
    Khalfaoui, Khaled
    Chaoui, Allaoua
    Foudil, Cherif
    Kerkouch, Elhillali
    [J]. Journal of Software, 2012, 7 (11) : 2518 - 2532
  • [47] Formal software specification with refinements and modules of typed graph transformation systems
    Grosse-Rhode, M
    Presicce, FP
    Simeoni, M
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2002, 64 (02) : 171 - 218
  • [48] A formal software specification tool using the entity-relationship model
    NaguiRaiss, N
    [J]. ENTITY-RELATIONSHIP APPROACH - ER '94, 1994, 881 : 315 - 332
  • [49] A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation
    Chen, Shu
    Chen, MingKai
    [J]. ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 776 - +
  • [50] ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES Formal Specification of Correctness Properties using π-AAL
    Oquendo, Flavio
    [J]. ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 208 - 217
12345