A knowledge-driven approach to web-based learning for formal algorithm development

Authors:
Yujun Zheng;Haihe Shi;Jinyun Xue
Affiliations:
Provincial Key Lab of High Performance Computing Technology, Jiangxi Normal University, Nanchang, China;Provincial Key Lab of High Performance Computing Technology, Jiangxi Normal University, Nanchang, China;Provincial Key Lab of High Performance Computing Technology, Jiangxi Normal University, Nanchang, China
Venue:
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Year:
2010

Citing 7
Cited 0

Predicate calculus and program semantics

Predicate calculus and program semantics
A collaborative strategy for developing shared Java teaching resources to support first year programming

ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Algorithmics: The Spirit of Computing

Algorithmics: The Spirit of Computing
Concretising the programming task: a case study in a secondary school

Computers & Education
The candle scheme for creating an on-line computer science program: experiences and vision

Informatics in education
Toward an Automatic Approach to Greedy Algorithms

FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
A problem reduction based approach to discrete optimization algorithm design

Computing

Quantified Score

Hi-index	0.00

Visualization

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.