FORMAL METHODS AND SOURCE CODE - A CONFLICT - REPLY

被引：0
|
作者：
WEISER, M [1 ]
机构：
[1] XEROX CORP,PALO ALTO RES CTR,PALO ALTO,CA 94304
来源：
COMPUTER | 1988年 / 21卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：11 / 11
页数：1
相关论文
共 50 条
  • [31] SPIS Open-Source Code: Methods, Capabilities, Achievements, and Prospects
    Roussel, Jean-Francois
    Rogier, Francois
    Dufour, Guillaume
    Mateo-Velez, Jean-Charles
    Forest, Julien
    Hilgers, Alain
    Rodgers, David
    Girard, Laurence
    Payan, Denis
    IEEE TRANSACTIONS ON PLASMA SCIENCE, 2008, 36 (05) : 2360 - 2368
  • [32] Constructing a usage model for statistical testing with source code generation methods
    Takagi, T
    Furukawa, Z
    11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 448 - 454
  • [33] Formal methods
    Lowe, M
    FIRST EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1997, : 43 - 43
  • [34] SOURCE CODE
    Lopez, Julyssa
    NATION, 2020, 311 (05) : 36 - 37
  • [35] SOURCE CODE
    WEISER, M
    COMPUTER, 1987, 20 (11) : 66 - 73
  • [36] Source code
    Lizza, R
    NEW REPUBLIC, 2005, 233 (07) : 11 - 13
  • [37] SOURCE CODE
    Warden, Barry
    SIGHT AND SOUND, 2023, 33 (03): : 22 - 22
  • [38] SOURCE CODE
    Pedroni, Federico
    CINEFORUM, 2011, 51 (04): : 9 - 13
  • [39] Source Code
    Kind, Amy
    TPM-THE PHILOSOPHERS MAGAZINE, 2011, (55): : 112 - 113
  • [40] Source Code
    Nesin, Kate
    ARTFORUM INTERNATIONAL, 2015, 54 (03): : 282 - 287
12345