메뉴 건너뛰기




Volumn 13, Issue 6, 2007, Pages 701-720

Constraint programming architectures: Review and a new proposal

Author keywords

Model driven architecture; Programming; Software reuse

Indexed keywords


EID: 34548022871     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (5)

References (28)
  • 2
    • 0022791708 scopus 로고    scopus 로고
    • Ait-Kaci, H., Nasr, R. LOGIN: A Logic Programming Language with Built-in Inheritance. In Journal of Logic Programming, 3:185-215. 1986.
    • Ait-Kaci, H., Nasr, R. LOGIN: A Logic Programming Language with Built-in Inheritance. In Journal of Logic Programming, 3:185-215. 1986.
  • 5
    • 34548029892 scopus 로고    scopus 로고
    • COSYTEC CHIP V5.8, http://www.cosytec.fr/news/chip_v5.8.htm.
    • COSYTEC CHIP V5.8, http://www.cosytec.fr/news/chip_v5.8.htm.
  • 11
    • 33746053219 scopus 로고
    • Theory and Practice of Constraint Handling Rules
    • Frühwirth, T. Theory and Practice of Constraint Handling Rules. In Journal of Logic Progamming. 19(20), 1994.
    • (1994) In Journal of Logic Progamming , vol.19 , Issue.20
    • Frühwirth, T.1
  • 13
    • 84867480401 scopus 로고    scopus 로고
    • KULeuven JCHR. 2007. http://www.cs.kuleuven.be/~petervw/JCHR/.
    • (2007)
    • KULeuven, J.C.H.R.1
  • 18
    • 57549117823 scopus 로고    scopus 로고
    • SICStus Prolog. 2007, http://www.sics.se/isl/sicstuswww/site/index.html
    • (2007) SICStus Prolog
  • 19
    • 84886774759 scopus 로고    scopus 로고
    • SWI Prolog, www.swi-prolog.org/
    • SWI Prolog
  • 22
    • 34548043875 scopus 로고    scopus 로고
    • Warmer J., Kleppe A. The Object Constraint Language (2nd, Ed.): Getting Your Models Ready for MDA, Addison-Wesley, 2003.
    • Warmer J., Kleppe A. The Object Constraint Language (2nd, Ed.): Getting Your Models Ready for MDA, Addison-Wesley, 2003.
  • 23
    • 34548017561 scopus 로고    scopus 로고
    • 2007. WebCHR: http://www.cs.kuleuven.be/~dtai/projects/CHR/.
    • 2007. WebCHR: http://www.cs.kuleuven.be/~dtai/projects/CHR/.
  • 24
    • 84893438926 scopus 로고    scopus 로고
    • Wolf, A. Object-Oriented Constraint Programming in, Java Using the Library firstcs. In Proceedings of the 20th Workshop on (Constraint) Logic Programming (WLP'06).Vienna, Austria, 2006.
    • Wolf, A. Object-Oriented Constraint Programming in, Java Using the Library firstcs. In Proceedings of the 20th Workshop on (Constraint) Logic Programming (WLP'06).Vienna, Austria, 2006.
  • 25
    • 84947920707 scopus 로고    scopus 로고
    • Adaptive Constraint Handling with CHR in Java
    • Springer
    • Wolf, A. Adaptive Constraint Handling with CHR in Java. In Lecture Notes in Computer Science, 2239, Springer, 2001.
    • (2001) Lecture Notes in Computer Science , vol.2239
    • Wolf, A.1
  • 26
    • 0034175304 scopus 로고    scopus 로고
    • On Incremental Adaptation, of CHR Derivations. In Journal of Applied Artificial, Intelligence 14
    • Rules
    • Wolf, A., Gruenhagen, T., Geske, U. On Incremental Adaptation, of CHR Derivations. In Journal of Applied Artificial, Intelligence 14(4). Special Issue on Constraint Handling Rules. 2000.
    • (2000) Special Issue on Constraint Handling
    • Wolf, A.1    Gruenhagen, T.2    Geske, U.3
  • 27
    • 84867451671 scopus 로고    scopus 로고
    • XSB Prolog, http://xsb.sourceforge.net/
    • XSB Prolog


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