{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:59:56Z","timestamp":1725515996970},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709848"},{"type":"electronic","value":"9783540709879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70987-9_46","type":"book-chapter","created":{"date-parts":[[2008,7,28]],"date-time":"2008-07-28T07:59:20Z","timestamp":1217231960000},"page":"329-332","source":"Crossref","is-referenced-by-count":1,"title":["Guaranteeing the Correctness of an Adaptive\u00a0Tutoring\u00a0System"],"prefix":"10.1007","author":[{"given":"Pilar","family":"Prieto-Linillos","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Guti\u00e9rrez","sequence":"additional","affiliation":[]},{"given":"Abelardo","family":"Pardo","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Delgado Kloos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"Cristea, A.: Authoring of adaptive and adaptable educational hypermedia: where are we now and where are we going? In: Web-based Education (February 2004)"},{"key":"46_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJMSO.2007.015071","volume":"2","author":"D. Camacho","year":"2007","unstructured":"Camacho, D., Rodriguez-Moreno, M.D.: Towards an automatic monitoring for higher education learning design. International Journal of Metadata, Semantics and Ontologies\u00a02, 1\u201310 (2007)","journal-title":"International Journal of Metadata, Semantics and Ontologies"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez, S., Valigiani, G., Jamont, Y., Collet, P., Delgado Kloos, C.: A swarm approach for automatic auditing of pedagogical planning. In: IEEE Int. Conference on Advanced Learning Technologies, pp. 136\u2013138 (2007)","DOI":"10.1109\/ICALT.2007.39"},{"key":"46_CR4","volume-title":"Computer-Aided Verification of Coordinating Processes","author":"R.P. Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton (1994)"},{"key":"46_CR5","first-page":"499","volume-title":"Proc. of the 7th Int. Conf. on Software engineering","author":"A. Mili","year":"1984","unstructured":"Mili, A., Desharnais, J.: A system for classifying program verification methods: Assigning meanings to program verification methods. In: Proc. of the 7th Int. Conf. on Software engineering, pp. 499\u2013509. IEEE Press, Los Alamitos (1984)"},{"key":"46_CR6","first-page":"26","volume":"8","author":"S. Retalis","year":"2005","unstructured":"Retalis, S., Papasalouros, A.: Designing and automatically generating educational adaptive hypermedia applications. Educational Technology and Society\u00a08, 26\u201335 (2005)","journal-title":"Educational Technology and Society"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Semet, Y., Lutton, E., Collet, P.: Ant colony optimisation for e-learning: Observing the emergence of pe dagogical suggestions. In: IEEE Swarm Intelligence Symposium (2003)","DOI":"10.1109\/SIS.2003.1202246"},{"key":"46_CR8","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/500286.500293","volume-title":"Proceedings of the 2001 Int. ACM SIGGROUP Conference on Supporting Group Work","author":"M. Wessner","year":"2001","unstructured":"Wessner, M., Pfister, H.R.: Group formation in computer-supported collaborative learning. In: Proceedings of the 2001 Int. ACM SIGGROUP Conference on Supporting Group Work, pp. 24\u201331. ACM, New York (2001)"},{"key":"46_CR9","volume-title":"FTCS 1996: Proc. of the The 26th Int. Symposium on Fault-Tolerant Computing (FTCS 1996)","author":"C. Rabejac","year":"1996","unstructured":"Rabejac, C., Blanquart, J.P., Queille, J.P.: Executable assertions and timed traces for on-line software error detection. In: FTCS 1996: Proc. of the The 26th Int. Symposium on Fault-Tolerant Computing (FTCS 1996). IEEE Computer Society, Los Alamitos (1996)"},{"key":"46_CR10","unstructured":"Matsuda, N., Cohen, W.W., Sewall, J., Lacerda, G., Koedinger, K.R.: Evaluating a simulated student using real students data for training and testing. In: Proceedings of User Modelling (June 2007)"}],"container-title":["Lecture Notes in Computer Science","Adaptive Hypermedia and Adaptive Web-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70987-9_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:33:58Z","timestamp":1620016438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70987-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709848","9783540709879"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70987-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}