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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Georgiakakis, P., Papasalouros, A., Retalis, S., Siassiakos, K., Papaspyrou, N.: Evaluating the usability of web-based learning management systems. THEMES in Education 6(1), 45–59 (2005)
Bedell, E.F.: Computer Solution: Strategies for Success in the Information Age. McGraw-Hill, Inc. (1984)
de Moor, A.: A practical method for courseware evaluation. In: Proceedings of the 2nd International Conference on Pragmatic Web, pp. 57–63. ACM (2007)
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)
Marciniak, J.J.: Encyclopedia of software engineering. Risk Management 18, 19 (2005)
Laurillard, D.: Rethinking university teaching: A framework for the effective use of learning technologies. Routledge (2002)
Sommerville, I.: Software Engineering, 6th ed. Addison-Wesley, Reading Massachusetts (2000)
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)
Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in mathematical system theory, vol. 1. McGraw-Hill, New York (1969)
Bjesse, P.: What is formal verification? SIGDA Newsl 35(24) (December 2005)
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)
Aluoch, A.: The search for affordable quality internet connectivity for african universities. AAU Newsletter 12(3), 8 (2006)
Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT) 1(1), 134–152 (1997)
Drira, R., Laroussi, M., La Pallec, X., Warin, B.: Contextualizing learning scenarios according to different learning management systems. IEEE Transactions on Learning Technologies 5(3), 213–225 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
BenSassi, M., Laroussi, M. (2013). Formal Evaluation Methodology of Educational Scenario in Distance Learning. In: Wang, JF., Lau, R. (eds) Advances in Web-Based Learning – ICWL 2013. ICWL 2013. Lecture Notes in Computer Science, vol 8167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41175-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-41175-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41174-8
Online ISBN: 978-3-642-41175-5
eBook Packages: Computer ScienceComputer Science (R0)