Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2015-12-18T16:54:33Z
dc.date.available 2015-12-18T16:54:33Z
dc.date.issued 2015
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/50315
dc.description.abstract Los significativos avances en tecnicas automaticas de anóli- sis, como model checking, constraint solving y computación evolutiva, adquieren constantemente mayor relevancia en actividades complejas de construccion de software, y son exitosamente utilizadas para generar tests automaticamente, refinar requisitos de software, verificar disenos, y descubrir errores de programas. Sin embargo, el uso de tales tecnicas para asistir en actividades de ensenanza-aprendizaje es muy escaso. En este trabajo, analizamos el uso del lenguaje formal Alloy y su extension Dy- nAlloy, que incorpora acciones y programas, como herramienta educativa, para la asistencia y el soporte de tareas de elaboracion y comprension de especificaciones, y otras actividades en las cuales las especificaciones, entendidas como descripciones declarativas de software, son centrales. Mostraremos como el analisis automatico subyacente a estos lenguajes puede emplearse efectivamente para dar soporte en la depuracion de especificaciones, permite introducir naturalmente conceptos que suelen escapar a cursos introductorios, como el no determinismo, y puede facilitar el uso de abstracciones de datos adecuadas en cursos introductorios. es
dc.language es es
dc.subject Educación es
dc.subject Languages es
dc.subject Requirements/Specifications es
dc.title Analizando el uso de (Dyn)Alloy como herramienta educativa es
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-987-3806-05-6 es
sedici.creator.person Cornejo, César es
sedici.creator.person Politano, Mariano es
sedici.creator.person Raverta, Fernando es
sedici.creator.person Permigiani, Sonia es
sedici.creator.person Ponzio, Pablo Daniel es
sedici.creator.person Regis, Germán es
sedici.creator.person Aguirre, Nazareno Matías es
sedici.description.note XIII Workshop Tecnología Informática Aplicada en Educación (WTIAE) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2015-10
sedici.relation.event XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015) es
sedici.relation.isRelatedWith http://sedici.unlp.edu.ar/handle/10915/50028 es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)