PROBLEM-ORIENTED PROGRAM VERIFICATION SYSTEM SPEKTR

被引：0
|
作者：
NEPOMNYASHCHII, VA
VOROBEV, SG
SULIMOV, AA
机构：
来源：
CYBERNETICS | 1987年 / 23卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：757 / 765
页数：9
相关论文
共 50 条
  • [1] Problem-oriented knowledge bases and their application in the program verification system SPEKTR
    Nepomnyashchij, V.A.
    Sulimov, A.A.
    [J]. 1997, Mezhdunarodnaya Kniga, Moscow, Russian Federation
  • [2] Problem-oriented knowledge bases and their application in the program verification system SPEKTR
    Nepomnyashchii, VA
    Sulimov, AA
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1997, 36 (02) : 321 - 327
  • [3] PROBLEM-ORIENTED PROGRAM VERIFICATION
    NEPOMNYASHCHII, VA
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1986, 12 (01) : 1 - 9
  • [4] PROBLEM-ORIENTED VERIFICATION SYSTEM AND ITS APPLICATION TO LINEAR ALGEBRA PROGRAMS
    NEPOMNIASCHY, VA
    SULIMOV, AA
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 119 (01) : 173 - 185
  • [5] PROBLEM-ORIENTED MEDICAL SYSTEM
    WALKER, HK
    [J]. JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1976, 236 (21): : 2397 - 2398
  • [6] ORGANIC CHEMISTRY LABORATORY - A PROBLEM-ORIENTED PROGRAM
    FIFE, WK
    [J]. JOURNAL OF CHEMICAL EDUCATION, 1968, 45 (06) : 416 - &
  • [7] PROBLEM-ORIENTED MEDICAL RECORD SYSTEM
    SANDLOW, L
    [J]. POSTGRADUATE MEDICINE, 1974, 55 (03) : 212 - 212
  • [8] DOCUMENTING WITH PROBLEM-ORIENTED RECORD SYSTEM
    BLOUNT, M
    GREEN, SS
    HAMORY, A
    KINNEY, AB
    SANBORN, CW
    [J]. AMERICAN JOURNAL OF NURSING, 1978, 78 (09) : 1539 - 1542
  • [9] PROBLEM-ORIENTED LANGUAGES OF REGENT SYSTEM
    ENDERLE, G
    [J]. ANGEWANDTE INFORMATIK, 1976, (12): : 543 - 549
  • [10] Problem-oriented medical system and records
    Albasan, Hasan
    Osborne, Carl A.
    Sancak, Arda
    Haziroglu, Rifki
    [J]. ANKARA UNIVERSITESI VETERINER FAKULTESI DERGISI, 2013, 60 (04): : 297 - 301
12345