{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:25:01Z","timestamp":1725747901690},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642411748"},{"type":"electronic","value":"9783642411755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41175-5_7","type":"book-chapter","created":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T15:31:13Z","timestamp":1378567873000},"page":"61-70","source":"Crossref","is-referenced-by-count":2,"title":["Formal Evaluation Methodology of Educational Scenario in Distance Learning"],"prefix":"10.1007","author":[{"given":"Manel","family":"BenSassi","sequence":"first","affiliation":[]},{"given":"Mona","family":"Laroussi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Buba\u0161, G., Balaban, I., Begi\u010devi\u0107, 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)"},{"issue":"1","key":"7_CR2","first-page":"45","volume":"6","author":"P. Georgiakakis","year":"2005","unstructured":"Georgiakakis, P., Papasalouros, A., Retalis, S., Siassiakos, K., Papaspyrou, N.: Evaluating the usability of web-based learning management systems. THEMES in Education\u00a06(1), 45\u201359 (2005)","journal-title":"THEMES in Education"},{"key":"7_CR3","unstructured":"Bedell, E.F.: Computer Solution: Strategies for Success in the Information Age. McGraw-Hill, Inc. (1984)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"de Moor, A.: A practical method for courseware evaluation. In: Proceedings of the 2nd International Conference on Pragmatic Web, pp. 57\u201363. ACM (2007)","DOI":"10.1145\/1324237.1324244"},{"key":"7_CR5","unstructured":"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)"},{"key":"7_CR6","first-page":"19","volume":"18","author":"J.J. Marciniak","year":"2005","unstructured":"Marciniak, J.J.: Encyclopedia of software engineering. Risk Management\u00a018, 19 (2005)","journal-title":"Risk Management"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Laurillard, D.: Rethinking university teaching: A framework for the effective use of learning technologies. Routledge (2002)","DOI":"10.4324\/9780203160329"},{"key":"7_CR8","unstructured":"Sommerville, I.: Software Engineering, 6th ed. Addison-Wesley, Reading Massachusetts (2000)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-69489-2_6","volume-title":"Models in Software Engineering","author":"A. Knapp","year":"2007","unstructured":"Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a0Software Engineering, pp. 42\u201351. Springer, Heidelberg (2007)"},{"key":"7_CR10","volume-title":"Topics in mathematical system theory","author":"R.E. Kalman","year":"1969","unstructured":"Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in mathematical system theory, vol.\u00a01. McGraw-Hill, New York (1969)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Bjesse, P.: What is formal verification? SIGDA Newsl\u00a035(24) (December 2005)","DOI":"10.1145\/1113792.1113794"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"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.\u00a0600, pp. 45\u201373. Springer, Heidelberg (1992)"},{"issue":"3","key":"7_CR13","first-page":"8","volume":"12","author":"A. Aluoch","year":"2006","unstructured":"Aluoch, A.: The search for affordable quality internet connectivity for african universities. AAU Newsletter\u00a012(3), 8 (2006)","journal-title":"AAU Newsletter"},{"issue":"1","key":"7_CR14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT)\u00a01(1), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/TLT.2011.35","volume":"5","author":"R. Drira","year":"2012","unstructured":"Drira, R., Laroussi, M., La Pallec, X., Warin, B.: Contextualizing learning scenarios according to different learning management systems. IEEE Transactions on Learning Technologies\u00a05(3), 213\u2013225 (2012)","journal-title":"IEEE Transactions on Learning Technologies"}],"container-title":["Lecture Notes in Computer Science","Advances in Web-Based Learning \u2013 ICWL 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41175-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:18:25Z","timestamp":1558059505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41175-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642411748","9783642411755"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41175-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}