Towards an Interactive Learning Environment for Object-Z
- UNCP Author/Contributor (non-UNCP co-authors, if there are any, appear on document)
- Dr. Selvarajah Mohanarajah, Associate Professor (Creator)
- Institution
- The University of North Carolina at Pembroke (UNCP )
- Web Site: http://www.uncp.edu/academics/library
Abstract: We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z. Initially, we conducted a survey to analyse the effectiveness of traditional methodologies for learning Z notation. In LOZ, the semi-formal model UML is used in the intermediate phase between informal textual description and formal Object-Z description. We also employ a refinement unit that produces code from the specification. Based on the cognitive apprenticeship approach, we employ a four-phase instructional model in our system. Persuading the learners to be partially responsible for their own model and allowing them to decide their own levels of control over the learning process are key features of our system.
Towards an Interactive Learning Environment for Object-Z
PDF (Portable Document Format)
380 KB
Created on 7/5/2018
Views: 1027
Additional Information
- Publication
- Issues in Informing Science and Information Technology, Volume 1, 2004
- Language: English
- Date: 2004
- Keywords
- Computer Science, Object-Z, Computer Based Learning (CBL), Intelligent Tutoring Systems (ITS)