KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS.

被引：0
|
作者：
Rockmore, A.Joseph [1 ]
机构：
[1] Reasoning Systems Inc, Palo Alto,, CA, USA, Reasoning Systems Inc, Palo Alto, CA, USA
来源：
| 1985年 / 33期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Knowledge-based systems for energy conservation programs
    Lara-Rosano, F
    Valverde, NK
    EXPERT SYSTEMS WITH APPLICATIONS, 1998, 14 (1-2) : 25 - 35
  • [32] Knowledge-based systems for energy conservation programs
    Lara-Rosano, Felipe
    Kemper, Valverde, Nicolas
    Expert Systems with Applications, 14 (1-2): : 25 - 35
  • [33] Knowledge-based programs as building blocks for planning
    Baier, Jorge A. A.
    McIlraith, Sheila A. A.
    ARTIFICIAL INTELLIGENCE, 2022, 303
  • [34] A knowledge-based interactive verifier for logic programs
    Marakakis, Emmanouil
    Kondylakis, Haridimos
    Papadakis, Nikos
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2014, 18 (03) : 143 - 156
  • [35] KNOWLEDGE-BASED SUPPORT OF USERS OF NUMERICAL PROGRAMS
    VANZUYLEN, HJ
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1994, 36 (4-6) : 327 - 336
  • [36] Knowledge-based system development tools for processing design specifications
    Concordia Univ, Canada
    Microcomput Civ Eng, 1988, 4 (333-344):
  • [37] Application of knowledge-based techniques for creation of ESTELLE/Ag specifications
    Budnikas, G
    MODELLING AND SIMULATION OF BUSINESS SYSTEMS, 2003, : 172 - 176
  • [38] A knowledge-based method for validating specifications including open parts
    Yamamoto, R
    Tsuruta, S
    Onoyama, T
    Oyanagi, K
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 2467 - 2472
  • [39] INVERTED DECISION TABLES AND THEIR APPLICATION: AUTOMATING THE TRANSLATION OF SPECIFICATIONS TO PROGRAMS.
    Levy, Leon S.
    Stump, H.Theodore
    AT&T Technical Journal, 1985, 64 (2 pt 2): : 533 - 558
  • [40] Software training programs. The new learning mode
    Knisley, Joseph R.
    EC and M: Electrical Construction and Maintenance, 1994, 93 (05):
12345