메뉴 건너뛰기




Volumn 2, Issue 1, 1991, Pages 3-15

Visual logic programming

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0003187020     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1045-926X(05)80049-7     Document Type: Article
Times cited : (7)

References (33)
  • 1
    • 84893150956 scopus 로고
    • Visual languages: a tutorial and survey
    • Scharding, Austria, 20–23 May 1986, P. Gorny, M.J. Tauber, Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg
    • (1987) Visualization in Programming , vol.282 , pp. 1-23
    • Chang1
  • 4
    • 5544268535 scopus 로고
    • Vicon: a visual icon manager
    • S.K. Chang, T. Ichikawa, P.A. Ligomenides, Plenum Press, New York
    • (1986) Visual Languages , pp. 151-190
    • Clarisse1    Chang2
  • 9
    • 84909819822 scopus 로고    scopus 로고
    • Prosa-Structured Analysis Expertsystem, from INSOFT Innovative Software, P.O. Box 56, SF-90121 Oulu, Finland.
  • 10
    • 84909776204 scopus 로고
    • Visible Systems Corporation, The Bay Colony Corporate Center, 950 Winter St., Waltham, Massachussetts 02154, U.S.A.
    • (1988) Visible Analyst Workbench
  • 11
    • 84909807818 scopus 로고    scopus 로고
    • Design Generator, from Computer Sciences Corporation, Systems Devision, 6565 Arlington Boulevard, Falls Church, Virginia 22046, U.S.A.
  • 12
    • 84909801782 scopus 로고    scopus 로고
    • Matrix Layout, from Matrix Software Technology Ltd, Matrix House, Derriford Business Park, Derriford, Plymouth, Devon PL6 5QZ, U.K.
  • 13
    • 84909790635 scopus 로고    scopus 로고
    • NodeGraph-80, Knowledge Systems Corp., 114 Mac Kennan Drive, Suite 100, Cary, North Carolina 27511-6446.
  • 14
    • 84909767943 scopus 로고    scopus 로고
    • Object Vision, 2124 Kittredge St., Suite 118, Berkeley, California 94704, U.S.A.
  • 15
    • 84909799014 scopus 로고    scopus 로고
    • Design/2·0, Meta Software Corporation, 150 Cambridge Park Drive, Cambridge, Maryland 02140, U.S.A.
  • 20
    • 84909799425 scopus 로고    scopus 로고
    • L. A. Rowe, M. Davis, E. Messinger, C. Meyer, C. Spirakis & A. Tuan, A browser for directed graphs. Journal of Software Practice and Experience, 17, 61–76.
  • 22
    • 84909767276 scopus 로고    scopus 로고
    • Max-2 processor, International Meta Systems Inc., Redondo Beach, California.
  • 24
    • 84909809864 scopus 로고
    • Carleton Projects, Digitalk Inc., 5200 W. Century Blvd., Suite 250, Los Angeles, California 90045 U.S.A.
    • (1988) Smalltalk/V Goodies no. 3
  • 25
    • 84909814168 scopus 로고
    • Digitalk Inc., 5200 W. Century Blvd., Suite 250, Los Angeles, California 90045 U.S.A.
    • (1988) Smalltalk/286
  • 26
    • 25644436941 scopus 로고
    • An analysis of techniques for verification of logical correctness in rule based systems
    • Case Western Reserve University
    • (1988) PhD thesis
    • Nazareth1
  • 28
    • 84909777533 scopus 로고    scopus 로고
    • M. Suwa, A. C. Scott & E. H. Shortliffe, An approach to verifying completeness and consistency in a rule based expert system. AI Magazine, 3(4), 16–21.
  • 29
    • 84909809381 scopus 로고    scopus 로고
    • Proceedings of the ACM SIGSOFT'89 3rd Symposium on Software Testing, Analysis and Verification. ACM Software Engineering Notes 8.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.