FORMAL METHODS APPLIED TO SOFTWARE PRODUCTION

被引：0
|
作者：
FRASER, AG
机构：
来源：
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS | 1992年 / 8卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A new laboratory for Software and Systems Research provides the context for AT&T's research on formal methods of software production. joint experiments are carried out with software developers working under the real conditions of business life. Advantages of formal specification and verification have been demonstrated for software used in a telephone switching system. it is hoped that this success indicates that formal methods used more extensively with code generation, controlled refinement and test generation will in future do much to reduce the cost and increase the quality of software.
引用
收藏
页码：3 / 9
页数：7
相关论文
共 50 条
  • [1] Formal methods applied to plywood production
    Ibrahim, R
    Lu, M
    [J]. THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 298 - 305
  • [2] FORMAL METHODS IN THE PRODUCTION AND ASSESSMENT OF SAFETY CRITICAL SOFTWARE
    BLOOMFIELD, RE
    FROOME, PKD
    MONAHAN, BQ
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 1991, 32 (1-2) : 51 - 66
  • [3] Formal Testing Applied in Embedded Software
    Li, Zhen
    Liu, Bin
    Ma, Ning
    Yin, Yongfeng
    [J]. PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 697 - 702
  • [4] Formal methods and software reliability
    Holzmann, GJ
    [J]. SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
  • [5] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [6] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [7] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [8] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [9] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [10] Formal Methods for Software Testing
    Gaudel, Marie-Claude
    [J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 1 - 3
12345