AN OVERVIEW OF SOME FORMAL METHODS FOR PROGRAM DESIGN

被引：0
|
作者：
HOARE, CAR
机构：
来源：
COMPUTER | 1987年 / 20卷 / 09期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：85 / 91
页数：7
相关论文
共 50 条
  • [21] Formal Methods in System Design: Editorial note
    Mery, Dominique
    Sanders, Beverly
    2002, Kluwer Academic Publishers (20)
  • [22] Using formal methods to design Measuring Systems
    Lukaszewski, Robert
    Winiecki, Wieslaw
    2005 IEEE INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2005, : 349 - 354
  • [23] PROTOCOL DESIGN AND IMPLEMENTATION USING FORMAL METHODS
    VANSINDEREN, M
    PIRES, LF
    VISSERS, CA
    COMPUTER JOURNAL, 1992, 35 (05): : 478 - 491
  • [24] FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION
    SUFRIN, B
    COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 108 - 117
  • [25] An overview of the Be Well Home Health Navigator Program to reduce contaminants in well water: Design and methods
    Irvin, Veronica L.
    Kile, Molly L.
    Lucas-Woodruff, Christina
    Cude, Curtis
    Anderson, Lilly
    Baylog, Kara
    Hovell, Melbourne F.
    Choun, Soyoung
    Kaplan, Robert M.
    CONTEMPORARY CLINICAL TRIALS, 2024, 140
  • [26] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
    HOARE, CAR
    COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
  • [27] Formal Methods in System Design: Guest editorial
    Naval Research Laboratory, Washington, DC, United States
    不详
    Formal Methods Syst Des, 2007, 1 (1-3):
  • [28] Scalable formal design methods for asynchronous VLSI
    Manohar, R
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 245 - 246
  • [29] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
    Norris, Mark T.
    British Telecom technology journal, 1985, 3 (04): : 53 - 59
  • [30] INTRODUCTION TO FORMAL METHODS OF SOFTWARE-DESIGN
    DAVIES, AC
    MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 547 - 553
12345