Equivalent Transformation Rules as Components of Programs
暂无分享,去创建一个
[1] Nicolas Beldiceanu,et al. Constraint Logic Programming , 1997 .
[2] 하수철,et al. [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .
[3] Mikio Aoyama,et al. New Age of Software Development: How Component-Based Software Engineering Changes the Way of Software Development ? , 1998 .
[4] Kiyoshi Akama,et al. Problem solving by equivalent transformation of negative constraints , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.
[5] Akcell Chiang,et al. DEVELOPING AN INTELLIGENT SYSTEM TO ACQUIRE MEETING KNOWLEDGE IN PROBLEM-BASED LEARNING ENVIRONMENTS , 2006 .
[6] Alberto Pettorossi,et al. Transformation of Logic Programs , 1994 .
[7] Guy Eddon,et al. Inside Distributed COM , 1998 .
[8] Thomas J. Mowbray,et al. Inside CORBA - distributed object standards and applications , 1998, Addison-Wesley object technology series.
[9] Hironori Washizaki,et al. A component-extraction-based program reuse system , 2005 .
[10] クイック,et al. ActiveX controls inside out , 1997 .
[11] Charles W. Krueger,et al. Software reuse , 1992, CSUR.
[12] Jon Hopkins,et al. Component primer , 2000, CACM.
[13] Hidekatsu Koike,et al. Equivalent Transformation of Member Constraints on Interval-Variable Domain , 1998 .
[14] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[15] Abdille Abdullahi,et al. Component-based Software development , 2008 .
[16] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[17] Jim Q. Ning. A Component-Based Software Development Model , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.
[18] Kiyoshi Akama,et al. Constraint Solving Specializations for Equality on an Interval-Variable Domain , 2007, J. Adv. Comput. Intell. Intell. Informatics.
[19] Richard Monson-Haefel,et al. Enterprise JavaBeans , 1999, Java series.
[20] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[21] Kiyoshi Akama,et al. State-Transition Computation Models and Program Correctness Thereon , 2007, J. Adv. Comput. Intell. Intell. Informatics.
[22] Pascal Van Hentenryck. Constraint logic programming , 1991, The Knowledge Engineering Review.