메뉴 건너뛰기




Volumn 15, Issue 1, 1990, Pages 85-116

A software process data model for knowledge engineering in information systems

Author keywords

information systems engineering; knowledge base management systems; Software databases; software process models

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE--SOFTWARE ENGINEERING;

EID: 0025588180     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/0306-4379(90)90018-K     Document Type: Article
Times cited : (32)

References (64)
  • 13
    • 0002940129 scopus 로고
    • Towards better models of the design process
    • (1985) AI Mag. , vol.6 , Issue.1 , pp. 44-57
    • Mostow1
  • 14
    • 56149085515 scopus 로고
    • CML: a knowledge representation language with application to requirements modeling
    • University of Toronto, Canada
    • (1986) M.S. Thesis
    • Stanley1
  • 21
    • 84976708183 scopus 로고
    • An introduction to Z and formal specifications. Tutorial Notes
    • Strasbourg, France, Oxford University, U.K
    • (1987) Presented at ESEC '87
    • Spivey1
  • 28
    • 84909712156 scopus 로고
    • Physical design and query compilation for a semantic data model
    • Dept Computer Science, University of Toronto
    • (1987) Ph.D. Thesis
    • Weddell1
  • 40
    • 0020849266 scopus 로고
    • Maintaining knowledge about temporal intervals
    • (1983) Commun. ACM , vol.26 , Issue.11 , pp. 832-843
    • Allen1
  • 45
    • 84909781268 scopus 로고
    • A global KBMS for database software evolution: implementation of first ConceptBase prototype
    • Universität Passau, F.R.G
    • (1988) Report MIP-8819
    • Jarke1    Jeusfeld2    Rose3
  • 54
    • 84919261712 scopus 로고
    • A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
    • Venice, Italy
    • (1988) Proc. EDBT , pp. 488-505
    • Bry1    Dekker2    Manthey3
  • 56
    • 0019012878 scopus 로고
    • Definite clause grammars for language analysis—a survey of the formalism and a comparison with augmented transition networks
    • (1980) Artificial Intell. , vol.13 , pp. 231-278
    • Pereira1    Warren2
  • 57
    • 84909778529 scopus 로고
    • Mehrkriterienunterstützung für Entwurfsentscheidungen in Softwareprozessen
    • University of Passau, F.R.G
    • (1989) Diploma Thesis
    • Pletz1
  • 58
    • 0002830387 scopus 로고
    • Amalgamating language and metalanguage in logic programming
    • S.A. Tärnlund, Academic Press, New York
    • (1982) Logic Programming , pp. 153-172
    • Bowen1    Kowalski2
  • 61
    • 84909769546 scopus 로고
    • Integritätsprüfung in deduktiven Objektbanken am Beispiel von ConceptBase
    • University of Passau, F.R.G
    • (1989) Diploma Thesis
    • Krüger1


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