A novel course in structured systems analysis through Prolog

被引：0
|
作者：
Lee, MP [1 ]
机构：
[1] CRANFIELD UNIV,ROYAL MIL COLL SCI,COMP INFORMAT SYST MANAGEMENT GRP,SCH DEF MANAGEMENT,SWINDON SN6 8LA,WILTS,ENGLAND
来源：
SOFTWARE ENGINEERING IN HIGHER EDUCATION II | 1996年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：153 / 160
页数：8
相关论文
共 50 条
  • [1] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING
    GIORDANO, L
    MARTELLI, A
    ROSSI, G
    SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
  • [2] THE APPLICATION OF PROLOG TO STRUCTURED DESIGN
    TSE, TH
    CHEN, TY
    CHAN, FT
    CHEN, HY
    XIE, HL
    SOFTWARE-PRACTICE & EXPERIENCE, 1994, 24 (07): : 659 - 676
  • [3] Structural analysis of feedback systems by means of PROLOG
    Lunze, Jan
    Messen, steuern, regeln, 1988, 31 (09): : 386 - 390
  • [4] ANALYSIS AND RESTRUCTURING OF CONCURRENT SYSTEMS USING PROLOG
    HEATH, FG
    FOULK, PW
    LI, DY
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1984, 131 (05): : 169 - 176
  • [5] Prolog to specification and analysis of power-managed systems
    O'Donnell, R
    PROCEEDINGS OF THE IEEE, 2004, 92 (08) : 1306 - 1307
  • [6] A structured alternative to Prolog with simple compositional semantics
    Porto, Antonio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 611 - 627
  • [7] Prolog for structured character description and font design
    Durst, MJ
    JOURNAL OF LOGIC PROGRAMMING, 1996, 26 (02): : 133 - 146
  • [8] Prolog programming e-course
    Hynek, Josef
    Olsevicova, Kamila
    INTERNATIONAL JOURNAL OF CONTINUING ENGINEERING EDUCATION AND LIFE-LONG LEARNING, 2005, 15 (3-6) : 194 - 211
  • [9] SCOOP - STRUCTURED CONCURRENT OBJECT ORIENTED PROLOG
    VAUCHER, J
    LAPALME, G
    MALENFANT, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 322 : 191 - 211
  • [10] A COMPARISON OF PROLOG SYSTEMS
    NOELKE, U
    SAVORY, S
    ANGEWANDTE INFORMATIK, 1984, (03): : 108 - 112
12345