FUNCTIONAL PROGRAMS AS EXECUTABLE SPECIFICATIONS

被引：7
|
作者：
TURNER, DA
机构：
来源：
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES | 1984年 / 312卷 / 1522期
关键词：
D O I：
10.1098/rsta.1984.0065
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：363 / 388
页数：26
相关论文
共 50 条
  • [1] HOARE LOGIC, EXECUTABLE SPECIFICATIONS, AND LOGIC PROGRAMS
    FUCHS, NE
    STRUCTURED PROGRAMMING, 1992, 13 (03): : 129 - 135
  • [2] SPECIFICATIONS ARE (PREFERABLY) EXECUTABLE
    FUCHS, NE
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (05): : 323 - 334
  • [3] Executable requirements and specifications
    Anderson, AH
    Shaw, GA
    JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1997, 15 (1-2): : 49 - 61
  • [4] Reasoning with executable specifications
    Bertot, Y
    Fraer, R
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 531 - 545
  • [5] Executable Calculational Specifications
    Chaves, Francisco
    Rocha, Camilo
    2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC), 2015, : 1 - 8
  • [6] EXECUTABLE SPECIFICATIONS WITH PROLOG
    LAZAREV, GL
    DR DOBBS JOURNAL, 1989, 14 (10): : 61 - &
  • [7] SPECIFICATIONS ARE NOT (NECESSARILY) EXECUTABLE
    HAYES, IJ
    JONES, CB
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (06): : 330 - 338
  • [8] EXECUTABLE SPECIFICATIONS AND CASE
    GASKELL, C
    PHILLIPS, R
    SOFTWARE ENGINEERING JOURNAL, 1994, 9 (04): : 174 - 182
  • [9] Executable Requirements and Specifications
    Allan H. Anderson
    Gary A. Shaw
    Journal of VLSI signal processing systems for signal, image and video technology, 1997, 15 : 49 - 61
  • [10] Attributed models of executable specifications
    Meriste, M
    Penjam, J
    PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 459 - 460
12345