Abstract
The paper reports an effort to construct a Web-based environment for teaching/learning algorithm design. The semantic web version of PAR platform, a practical platform for formal algorithm development, consists of structural knowledge models for effectively organizing and managing learning concepts in the domains of problem specification, algorithm calculation, algorithm reuse, and program transformation, and provides effective learning paths for synthesize and transmit these concepts meeting the requirements of Web users. The e-learning PAR platform has been successfully applied in undergraduate and graduate courses, and demonstrated its effectiveness in improving algorithm learning.
Supported by grants from Natural Science Foundation (No. 60773054) and International Science & Technology Cooperation Program (No. 2008DFA11940) of China.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer, New York (1990)
Ellis, A., Hagan, D., Sheard, J., Lowder, J., Doube, W., Carbone, A., Robinson, J., Tucker, S.: A collaborative strategy for developing shared Java teaching resources to support first year programming. In: 4th Annual SIGCSE/SIGCUE ITiCSE Conf. Innovation and Technology in Computer Science Education, pp. 84–87 (1999)
Georgiev, N.: A Web-Based Environment for Learning Normalization of Relational Database Schemata. Master Thesis, Department of Computer Science, Umea University, Sweden (2008)
Gries, D.: The Science of Computer Programming. Springer, New York (1981)
Haataja, A., Suhonen, J., Sutinen, E.: How to learn introductory programming over the Web. Informatica 25, 165–171 (2001)
Harel, D., Feldman, Y.: Algorithmics: The Spirit of Computing. Addison-Wesley, Reading (2004)
Lavonen, J., Meisalo, V., Lattu, M., Sutinen, E.: Concretizing the programming task: a case study in a secondary school. Computers & Education 40, 115–135 (2003)
Lee, J.A.N.: Interactive learning with a Web-based digital library system. In: 9th DELOS Workshop. Digital Libraries for Distance Learning, pp. 61–70. Bno, Czech Republic (1999)
Kung, H.J., Tung, H.L.: A Web-based tool to enhance teaching/learning database normalization. In: Proc. 2006 Southern Association for Information System Conference, pp. 251–258 (2006)
Mahmoud, M.E.: Web-based graduate diploma in computer sciences. E-Learning and Digital Media 4, 464–470 (2007)
Sitthiworachart, J., Joy, M.: Web-based peer assessment in learning computer programming. In: 3rd IEEE Int’l Conf. Advanced Learning Technologies, pp. 180–184 (2003)
Suhonen, J., Sutinen, E.: Learning computer science over the Web: The ViSCoS Odessey. In: Sharma, R.C., Mishra, S. (eds.) Cases on Global E-Learning Practices: Successes and Pitfalls, pp. 176–188 (2007)
Sutinen, E., Torvinen, S.: The candle scheme for creating an on-line computer science program - experiences and vision. Informatics in Education 2, 93–102 (2003)
Xue, J.Y.: Two new strategies for developing loop invariants and their application. J. Comput. Sci. & Technol. 8, 95–102 (1993)
Xue, J.Y.: A unified approach for developing efficient algorithmic programs. J. Comput. Sci. & Technol. 12, 103–118 (1997)
Xue, J.Y.: A practicable approach for formal development of algorithmic programs. In: 1st Int’l Symposium. Future Software Technology, Nanjing, China, pp. 158–160 (1999)
Xue, J.Y.: PAR method and its supporting platform. In: 1st Int’l Workshop of Asian Working Conference on Verified Software, pp. 11–20 (2006)
Zheng, Y.J., Shi, H.H., Xue, J.Y.: Toward a unified implementation for dynamic programming. High Technol. Lett. 12, 31–34 (2006)
Zheng, Y.J.: Formal Calculation of Highly-Dependable Materiel Support Algorithms Based on PAR. PhD Thesis, Institute of Software, Chinese Academy of Sciences (2009)
Zheng, Y.J., Xue, J.Y., Zuo, Z.K.: Toward an automatic approach to greedy algorithms. In: Deng, X., Hopcroft, J.E., Xue, J. (eds.) FAW 2009. LNCS, vol. 5598, pp. 302–313. Springer, Heidelberg (2009)
Zheng, Y.J., Xue, J.Y.: A problem reduction based approach to discrete optimization algorithm design. Computing 88, 31–54 (2010)
Zheng, Y.J., Shi, H.H., Xue, J.Y.: An algebraic approach to mechanical tabu search algorithm generation. In: 2010 IEEE Int’l Conf. Progress in Informatics and Computing, pp. 1172–1176 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, Y., Shi, H., Xue, J. (2011). A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. In: Luo, X., Cao, Y., Yang, B., Liu, J., Ye, F. (eds) New Horizons in Web-Based Learning - ICWL 2010 Workshops. ICWL 2010. Lecture Notes in Computer Science, vol 6537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20539-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-20539-2_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20538-5
Online ISBN: 978-3-642-20539-2
eBook Packages: Computer ScienceComputer Science (R0)