NotesFAQContact Us
Collection
Advanced
Search Tips
ERIC Number: ED557215
Record Type: Non-Journal
Publication Date: 2014
Pages: 8
Abstractor: As Provided
Reference Count: 12
ISBN: 978-989-8704-02-3
ISSN: N/A
Evaluation Framework for Dependable Mobile Learning Scenarios
Bensassi, Manel; Laroussi, Mona
International Association for Development of the Information Society, Paper presented at the International Conference on Mobile Learning 2014 (10th, Madrid, Spain, Feb 28-Mar 2, 2014)
The goal of the dependability analysis is to predict inconsistencies and to reveal ambiguities and incompleteness in the designed learning scenario. Evaluation, in traditional learning design, is generally planned after the execution of the scenario. In mobile learning, this stage becomes too difficult and expensive to apply due to the complexity and heterogeneity of mobile infrastructure with contextual constraints. In other word, the test of the dependability has to be alone at early stage. To achieve our goal, evaluating the dependability of the learning scenario, the evaluation model is constructed from the analysis of literature by exploring different aspects of dependability. We propose to apply formal specification and verification in order to evaluate the functional dependability of the mobile learning environment. A specification is the description (usually by means of a temporal logic formulas) of the property (or temporal behaviour) to be fulfilled by the environment under consideration. Verification consists on (exhaustively) proving that the learning environment is correct. [For the complete proceedings, see ED557171.]
International Association for the Development of the Information Society. e-mail: secretariat@iadis.org; Web site: http://www.iadisportal.org
Publication Type: Speeches/Meeting Papers; Reports - Research
Education Level: High Schools; Secondary Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A