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 条

[41] Efficient groundness analysis in Prolog
Howe, JM
King, A
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 95 - 124
[42] A CONTROLLING SCHEME FOR PROLOG THROUGH COUNT TERMS
NAM, YK
HENSCHEN, LJ
COMPUTER LANGUAGES, 1993, 19 (04): : 235 - 245
[43] ENHANCING UNIFICATION IN PROLOG THROUGH CLAUSE INDEXING
COLOMB, RM
JOURNAL OF LOGIC PROGRAMMING, 1991, 10 (01): : 23 - 44
[44] INTERDISCIPLINARY SYSTEMS-ANALYSIS COURSE
MCLAREN, JB
BELL, FF
KELLER, LH
SEWELL, JI
JOURNAL OF ANIMAL SCIENCE, 1975, 40 (01) : 202 - 202
[45] PILOT COURSE IN ENGINEERING SYSTEMS ANALYSIS
RODGERS, GF
SPOONER, RL
ENGINEERING EDUCATION, 1971, 62 (01): : 55 - &
[46] DETERMINACY ANALYSIS FOR FULL PROLOG
SAHLIN, D
SIGPLAN NOTICES, 1991, 26 (09): : 23 - 30
[47] Robust performance analysis for systems with structured uncertainty
Iwasaki, T
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 1996, 6 (02) : 85 - 99
[48] IMPROVING STRUCTURED SYSTEMS-ANALYSIS WITH VIDEO
HENKEN, P
JOURNAL OF SYSTEMS MANAGEMENT, 1988, 39 (05): : 17 - 23
[49] Structured Sum of Squares for Networked Systems Analysis
Hancock, Edward J.
Papachristodoulou, Antonis
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 7236 - 7241
[50] Evaluating Constructive Alignment Theory Implementation in a Power Systems Analysis Course Through Repertory Grids
Vanfretti, Luigi
Farrokhabadi, Mostafa
IEEE TRANSACTIONS ON EDUCATION, 2013, 56 (04) : 443 - 452

← 1 2 3 4 5 →