{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:18:42Z","timestamp":1743023922000,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205385"},{"type":"electronic","value":"9783642205392"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20539-2_26","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:12:51Z","timestamp":1303704771000},"page":"237-245","source":"Crossref","is-referenced-by-count":0,"title":["A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development"],"prefix":"10.1007","author":[{"given":"Yujun","family":"Zheng","sequence":"first","affiliation":[]},{"given":"Haihe","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer, New York (1990)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"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\u201387 (1999)","DOI":"10.1145\/305786.305871"},{"key":"26_CR3","unstructured":"Georgiev, N.: A Web-Based Environment for Learning Normalization of Relational Database Schemata. Master Thesis, Department of Computer Science, Umea University, Sweden (2008)"},{"key":"26_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Computer Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Computer Programming. Springer, New York (1981)"},{"key":"26_CR5","first-page":"165","volume":"25","author":"A. Haataja","year":"2001","unstructured":"Haataja, A., Suhonen, J., Sutinen, E.: How to learn introductory programming over the Web. Informatica\u00a025, 165\u2013171 (2001)","journal-title":"Informatica"},{"key":"26_CR6","volume-title":"Algorithmics: The Spirit of Computing","author":"D. Harel","year":"2004","unstructured":"Harel, D., Feldman, Y.: Algorithmics: The Spirit of Computing. Addison-Wesley, Reading (2004)"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0360-1315(02)00101-X","volume":"40","author":"J. Lavonen","year":"2003","unstructured":"Lavonen, J., Meisalo, V., Lattu, M., Sutinen, E.: Concretizing the programming task: a case study in a secondary school. Computers & Education\u00a040, 115\u2013135 (2003)","journal-title":"Computers & Education"},{"key":"26_CR8","first-page":"61","volume-title":"9th DELOS Workshop. Digital Libraries for Distance Learning","author":"J.A.N. Lee","year":"1999","unstructured":"Lee, J.A.N.: Interactive learning with a Web-based digital library system. In: 9th DELOS Workshop. Digital Libraries for Distance Learning, pp. 61\u201370. Bno, Czech Republic (1999)"},{"key":"26_CR9","unstructured":"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\u2013258 (2006)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"464","DOI":"10.2304\/elea.2007.4.4.464","volume":"4","author":"M.E. Mahmoud","year":"2007","unstructured":"Mahmoud, M.E.: Web-based graduate diploma in computer sciences. E-Learning and Digital Media\u00a04, 464\u2013470 (2007)","journal-title":"E-Learning and Digital Media"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Sitthiworachart, J., Joy, M.: Web-based peer assessment in learning computer programming. In: 3rd IEEE Int\u2019l Conf. Advanced Learning Technologies, pp. 180\u2013184 (2003)","DOI":"10.1109\/ICALT.2003.1215052"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013188 (2007)","DOI":"10.4018\/978-1-59904-340-1.ch014"},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.15388\/infedu.2003.08","volume":"2","author":"E. Sutinen","year":"2003","unstructured":"Sutinen, E., Torvinen, S.: The candle scheme for creating an on-line computer science program - experiences and vision. Informatics in Education\u00a02, 93\u2013102 (2003)","journal-title":"Informatics in Education"},{"key":"26_CR14","first-page":"95","volume":"8","author":"J.Y. Xue","year":"1993","unstructured":"Xue, J.Y.: Two new strategies for developing loop invariants and their application. J. Comput. Sci. & Technol.\u00a08, 95\u2013102 (1993)","journal-title":"J. Comput. Sci. & Technol."},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF02943151","volume":"12","author":"J.Y. Xue","year":"1997","unstructured":"Xue, J.Y.: A unified approach for developing efficient algorithmic programs. J. Comput. Sci. & Technol.\u00a012, 103\u2013118 (1997)","journal-title":"J. Comput. Sci. & Technol."},{"key":"26_CR16","unstructured":"Xue, J.Y.: A practicable approach for formal development of algorithmic programs. In: 1st Int\u2019l Symposium. Future Software Technology, Nanjing, China, pp. 158\u2013160 (1999)"},{"key":"26_CR17","unstructured":"Xue, J.Y.: PAR method and its supporting platform. In: 1st Int\u2019l Workshop of Asian Working Conference on Verified Software, pp. 11\u201320 (2006)"},{"key":"26_CR18","first-page":"31","volume":"12","author":"Y.J. Zheng","year":"2006","unstructured":"Zheng, Y.J., Shi, H.H., Xue, J.Y.: Toward a unified implementation for dynamic programming. High Technol. Lett.\u00a012, 31\u201334 (2006)","journal-title":"High Technol. Lett."},{"key":"26_CR19","unstructured":"Zheng, Y.J.: Formal Calculation of Highly-Dependable Materiel Support Algorithms Based on PAR. PhD Thesis, Institute of Software, Chinese Academy of Sciences (2009)"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-642-02270-8_31","volume-title":"Frontiers in Algorithmics","author":"Y.J. Zheng","year":"2009","unstructured":"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.\u00a05598, pp. 302\u2013313. Springer, Heidelberg (2009)"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s00607-010-0085-0","volume":"88","author":"Y.J. Zheng","year":"2010","unstructured":"Zheng, Y.J., Xue, J.Y.: A problem reduction based approach to discrete optimization algorithm design. Computing\u00a088, 31\u201354 (2010)","journal-title":"Computing"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Zheng, Y.J., Shi, H.H., Xue, J.Y.: An algebraic approach to mechanical tabu search algorithm generation. In: 2010 IEEE Int\u2019l Conf. Progress in Informatics and Computing, pp. 1172\u20131176 (2010)","DOI":"10.1109\/PIC.2010.5687855"}],"container-title":["Lecture Notes in Computer Science","New Horizons in Web-Based Learning - ICWL 2010 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20539-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T07:40:09Z","timestamp":1741160409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20539-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205385","9783642205392"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20539-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}