Formal Evaluation Methodology of Educational Scenario in Distance Learning
Pages 61 - 70
Abstract
Educational scenarios and learning objects are growing in scale and functionality. Because of this increase in complexity, the likelihood of subtle errors is much greater. One-way to achieving this proposed goal is by evaluation of these course-wares. In this paper, we propose a formal method which is mathematically based languages, techniques and tools for specifying and verifying. Using the automata theory do not a priori guarantee correctness and success. However, they can greatly increase our understanding of the learner's behaviour with the existing scenario by revealing inconsistencies, ambiguities and incompleteness that might otherwise go undetected. Our goal, in this study, is to prove how this formal definition helps designer in his evaluation's task.
References
[1]
Bubaš, G., Balaban, I., Begiă ević, N.: Evaluation of online courses as an element of instructional design: The case of two hybrid university courses. In: Conference Computers in Education, 30th Jubilee International Convention MIPRO 2007 2007
[2]
Georgiakakis, P., Papasalouros, A., Retalis, S., Siassiakos, K., Papaspyrou, N.: Evaluating the usability of web-based learning management systems. THEMES in Education 61, 45---59 2005
[3]
Bedell, E.F.: Computer Solution: Strategies for Success in the Information Age. McGraw-Hill, Inc. 1984
[4]
de Moor, A.: A practical method for courseware evaluation. In: Proceedings of the 2nd International Conference on Pragmatic Web, pp. 57---63. ACM 2007
[5]
Thorpe, M.: Evaluation of open and distance learning by mary thorpe reviewed by peter trethewey, further education unit, york road, london the open learning pocket workbook by roger lewis and lesley macdonald reviewed by alan clarke. Learning Technology Unit, Training Agency, Sheffield 1993
[6]
Marciniak, J.J.: Encyclopedia of software engineering. Risk Management 18, 19 2005
[7]
Laurillard, D.: Rethinking university teaching: A framework for the effective use of learning technologies. Routledge 2002
[8]
Sommerville, I.: Software Engineering, 6th ed. Addison-Wesley, Reading Massachusetts 2000
[9]
Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. In: Kühne, T. ed. MoDELS 2006. LNCS, vol. Software Engineering, pp. 42---51. Springer, Heidelberg 2007
[10]
Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in mathematical system theory, vol. 1. McGraw-Hill, New York 1969
[11]
Bjesse, P.: What is formal verification? SIGDA Newsl 3524 December 2005
[12]
Alur, R., Dill, D.: The theory of timed automata. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. eds. REX 1991. LNCS, vol. 600, pp. 45---73. Springer, Heidelberg 1992
[13]
Aluoch, A.: The search for affordable quality internet connectivity for african universities. AAU Newsletter 123, 8 2006
[14]
Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer STTT 11, 134---152 1997
[15]
Drira, R., Laroussi, M., La Pallec, X., Warin, B.: Contextualizing learning scenarios according to different learning management systems. IEEE Transactions on Learning Technologies 53, 213---225 2012
Index Terms
- Formal Evaluation Methodology of Educational Scenario in Distance Learning
Index terms have been assigned to the content through auto-classification.
Recommendations
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer SystemsThere is a growing disappointment that formal methods have not been widely adopted in industry. One reason for this is that their application consumes prohibitive amounts of resource. Much research on the integration of available formal methods (e.g. Z, ...
A formal approach to scenario integration
The scenario technique is an interesting approach for eliciting requirements. A formal approach to scenario generation has made it even more attractive. The next logical step is to integrate several scenarios into one single, consistent, specification. ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 06 October 2013
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Aug 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in