메뉴 건너뛰기




Volumn 1551 LNCS, Issue , 1999, Pages 31-45

Prototyping a requirements specification through an automatically generated concurrent logic program

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; BANK ACCOUNTS; CONCEPTUAL MODEL; CONCEPTUAL SCHEMAS; CONCURRENT OBJECTS; DISTRIBUTED COMPUTATIONS; EXECUTION MODEL; FORMAL APPROACH; LOGIC PROGRAMS; NATURAL REPRESENTATION; OBJECT ORIENTED; PROGRAMMING CONCEPTS; REQUIREMENTS SPECIFICATIONS; TOOL SUPPORTING;

EID: 84867440958     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (20)
  • 1
    • 0000672836 scopus 로고
    • Deontic logic
    • D.M. Gabbay and F. Guenthner, editors Reidel
    • L. Åqvist. Deontic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 605-714. Reidel, 1984.
    • (1984) Handbook of Philosophical Logic II , pp. 605-714
    • Åqvist, L.1
  • 2
    • 58049086269 scopus 로고
    • Institute for New Generation Computer Technology, Tokyo JAPAN
    • T. Chikayama. KLIC User's Manual. Institute for New Generation Computer Technology, Tokyo JAPAN, 1995.
    • (1995) KLIC User's Manual
    • Chikayama, T.1
  • 4
    • 0041678153 scopus 로고
    • Ph.D. thesis, Department of Computer Science, Imperial College London
    • A. Davison. Polka: A Parlog object-oriented language, Ph.D. thesis, Department of Computer Science, Imperial College London, 1989.
    • (1989) Polka: A Parlog object-oriented language
    • Davison, A.1
  • 5
    • 0001273055 scopus 로고
    • Dynamic logic
    • editors D.M. Gabbay, F. Guenthner Reidel
    • D. Harel. Dynamic Logic. In Handbook of Philosophical Logic II, editors D.M. Gabbay, F. Guenthner; pages 497-694. Reidel 1984.
    • (1984) Handbook of Philosophical Logic II , pp. 497-694
    • Harel, D.1
  • 9
    • 84867457587 scopus 로고    scopus 로고
    • OASIS 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
    • Servicio de Publicaciones Universidad Politécnica de Valencia
    • P. Letelier, I. Ramos, P. Sánchez and O. Pastor. OASIS 3.0: Un enfoque formal para el modelado conceptual orientado a objeto. SPUPV-98.4011, Servicio de Publicaciones Universidad Politécnica de Valencia, 1998.
    • (1998) SPUPV-98.4011
    • Letelier, P.1    Ramos, I.2    Sánchez, P.3    Pastor, O.4
  • 11
    • 84972542053 scopus 로고
    • A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
    • J.-J. Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame Journal of Formal Logic, vol.29, pages 109-136, 1988.
    • (1988) Notre Dame Journal of Formal Logic , vol.29 , pp. 109-136
    • Meyer, J.-J.Ch.1
  • 17
    • 0004029755 scopus 로고
    • Object oriented programming in concurrent prolog
    • E. Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog, en New Generation Computing, vol.1, pages 25-48, 1983.
    • (1983) New Generation Computing , vol.1 , pp. 25-48
    • Shapiro, E.1    Takeuchi, A.2
  • 19
    • 84867475815 scopus 로고
    • A'UM: A string based concurrent object-oriented language
    • ICOT
    • K. Yoshida and T. Chikayama. A'UM: A string based concurrent object-oriented language, In Proc. of the Int. Conf. on FGCS, ICOT, pages 638-649, 1988.
    • (1988) Proc. of the Int.Conf. on FGCS , pp. 638-649
    • Yoshida, K.1    Chikayama, T.2


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