AN ENGINEERING APPROACH TO FORMAL METHODS

被引：0
|
作者：
TURNER, KJ
机构：
来源：
PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII | 1993年 / 16卷
关键词：
ARITHMETIC AND LOGIC STRUCTURES; DESIGN STYLES; LOGIC DESIGN; COMPUTER COMMUNICATION NETWORKS; NETWORK ARCHITECTURE AND DESIGN; SOFTWARE ENGINEERING REQUIREMENTS SPECIFICATIONS; MATHEMATICAL LOGIC AND FORMAL LANGUAGES; FORMAL LANGUAGES; COMMUNICATIONS SERVICES; LOTOS (LANGUAGE OF TEMPORAL ORDERING SPECIFICATION);
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The distinctive features of engineering are discussed, and used to identify how an engineering approach to formal methods might be developed. The key concept in engineering is suggested to be known components that are combined in known ways. This component based style is illustrated for two application areas at two levels: in high-level specification of communications services, and in low-level specification of digital logic. The underlying formal language is LoTos (Language Of Temporal Ordering Specification).
引用
收藏
页码：357 / 380
页数：24
相关论文
共 50 条
  • [1] 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
  • [2] Formal methods for requirements engineering
    Ghose, A
    [J]. INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 13 - 13
  • [3] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [4] Formal methods in knowledge engineering
    VanHarmelen, F
    Fensel, D
    [J]. KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 345 - 360
  • [5] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [6] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [7] Formal methods and traditional engineering
    Jackson, M
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 40 (03) : 191 - 194
  • [8] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [9] FORMAL METHODS AND THE ENGINEERING PARADIGM
    LUTZ, MJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 640 : 121 - 130
  • [10] Using formal methods for teaching software engineering: a tool-based approach
    Ciancarini, P
    Mascolo, C
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 433 - 453
12345