2011 | OriginalPaper | Buchkapitel
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development
verfasst von : Yujun Zheng, Haihe Shi, Jinyun Xue
Erschienen in: New Horizons in Web-Based Learning - ICWL 2010 Workshops
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.