Equivalent transformation rules as components of programs

International Journal of Innovative Computing, Information and Control

Volumn 3, Issue 3, 2007, Pages 685-696

  Mabuchi, Hiroshi ^a   Akama, Kiyoshi ^b   Wakatsuki, Toshihiro ^b  

^a IWATE PREFECTURAL UNIVERSITY   (Japan)

^b HOKKAIDO UNIVERSITY   (Japan)

Author keywords

Component; Computation model; Correctness; Equivalent transformation; Program construction

Indexed keywords

EID: 62449311280     PISSN: 13494198     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. Akama, K., Y. Shigeta and E. Miyamoto, Changing knowledge representation systems by expanding specialization systems, Journal of Japanese Society for Artificial Intelligence, vol.13, no.l, pp.131-138, 1998.
2. Akama, K. and E. Nantajeewarawat, State-transition computation models and program correctness thereon, Proc. of the 6th International Conference on Intelligent Technologies, pp.277-286, 2005.
3. Aoyama, M., New age of software development how component-based software engineering changes the way of software development, International Workshop on Component-Based Software Engineering, Kyoto, Japan, 1998.
4. Bergner, K., A. Rausch and M. Sihling, Componentware - The big picture, International Workshop on Component-Based Software Engineering, Kyoto, Japan, 1998.
5. Chiang, A. and M. S. Baba, Developing an intelligent system to acquire meeting knowledge in problem-based learning environments, International Journal of Innovative Computing, Information & Control, vol.2, no.2, pp.465-479, 2006.
6. DeMichiel, L. G., L. Yalcinalp and S. Krishnan, Enterprise JavaBeans (TM) Specification Version 2.0, Sun Microsystems, 2001.
7. Denning, A., ActiveX Controls Inside Out, Microsoft Press, 1997.
8. Eddon, G. and H. Eddon, Inside Distributed COM, Microsoft Press, 1998.
9. Frühwirth, T., Theory and practice of constraint handling rules, Journal of Logic Programming, Special Issue on Constraint Logic Programming, vol.37, nos.1-3, pp.95-138, 1998.
10. Hamilton, G., JavaBeans Specification 1.01, Sun Microsystems, 1997.
11. Hassan, M. F., Solution of linear quadratic constraint problem via coordinating approach, International Journal of Innovative Computing, Information & Control, vol.2, no.3, pp.527-542, 2006.
12. Hopkins, J., Component primer, Communications of the ACM, vol.43, no.10, pp.27-30, 2000.
13. IBM San Francisco, Concepts and Facilities, IBM Corporation, 1977 Project, Software Development, vol.6, no.2, 1998.
14. Jaffar, J. and M. Maher, Constraint logic programming, A survey, Journal of Logic Programming, vol.19/20, pp.503-581, 1994.
15. Jiang, D. and S. Zhang, Realizablity of expected Nash equilibria of N-person condition games under strong knowledge system, International Journal of Innovative Computing, Information & Control, vol.2, no.4, pp.761-770, 2006.
16. Koike, H., K. Akama and E. Boyd, Program synthesis by generating equivalent transformation rules, Proc. of the Second International Conference on Intelligent Technologies, 2001.
17. Krueger, C. W., Software reuse, ACM Computing Surveys, vol.42, no.2, pp.131-184, ACM, 1992.
18. Lloyd, J. W., Foundations of Logic Programming, Second Edition, Springer-Verlag, 1987.
19. Mabuchi, H., Akama,K., Shigeta,Y., and Koike,H., Equivalent Transformation of Member Constraints on Interval-Variable Domain, Journal of Japanese Society for Artificial Intelligence, vol.17, no.l C, pp.23-31, 2002.
20. Mabuchi, H., K. Akama, K. Miura and T. Ishikawa, Constraint solving specializations for equality on an interval-variable domain, Journal of Advanced Computational Intelligence and Intelligent Informatics, vol.ll, no.2, pp.210-219, 2007.
21. Mowbray, T. J. and W. A. Ruh, Inside CORBA, Distributed Object Standards and Applications, The Addison-Wesley Object Technology Series, 1997.
22. Ning, J. Q., A component-based software development model, In Proceedings of the Annual International Computer Software and Applications Conference, pp.389-394, IEEE, 1996.
23. Pettorossi, A. and M. Proietti, Transformation of logic programs, in Handbook of Logic in Artificial Intelligence and Logic Programming, D. M. Gabbay, C. J. Hogger and J. A. Robinson (Eds.), vol.5, Oxford University Press, pp.697-787, 1998.
24. Shibata, T., K. Genba and F. Kodama, Evolution of Products Architecture, Hakuto-Shobo, 2002.
25. Szyperski, C, Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 1999.
26. van Hentenryck, P., Constraint logic programming, The Knowledge Engineering Review, vol.6, no.3, pp.151-194, 1991.
27. Washizaki, H. and Y. Fukazawa, A component-extraction-based program reuse system, WSEAS Transactions on Information Science and Applications, vol.4, no.2, pp.349-355, 2005.