Entorno de soporte para el autoaprendizaje en el diseño de circuitos digitales

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10045/126935
Información del item - Informació de l'item - Item information
Título: Entorno de soporte para el autoaprendizaje en el diseño de circuitos digitales
Autor/es: Bañeres, David | Bermejo, Iván | Clarisó, Robert | Jorba, Josep | Serra, Montse | Santanach, Francesc | Rodríguez, A.
Palabras clave: Circuitos | Verificación | Autoevaluación | Educación a distancia | Model Checking
Fecha de publicación: 2011
Editor: Asociación de Enseñantes Universitarios de la Informática (AENUI) | Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática
Cita bibliográfica: Bañeres, D., et al. “Entorno de soporte para el autoaprendizaje en el diseño de circuitos digitales”. En: Chávez, Antonia, et al. (eds.). JENUI 2011. Actas de las XVII Jornadas sobre la Enseñanza Universitaria de la Informática, Sevilla, 5 al 8 de julio de 2011. Sevilla: Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2011. ISBN 978-84-694-5156-4, pp. 471-478
Resumen: El diseño de circuitos digitales forma parte de las competencias básicas de los nuevos Grados en Ingeniería Informática e Ingeniería de Telecomunicaciones. Un obstáculo importante para el aprendizaje de dichas competencias es que las herramientas académicas existentes para el diseño de circuitos no permiten validar si un diseño se ajusta a la especificación de partida. En este artículo, se describe un entorno de autoaprendizaje para que los estudiantes puedan realizar ejercicios de diseño de circuitos y recibir un feedback continuo. | The design of digital circuits is a basic competence of the new Degrees in Computer Science and Engineering of Telecommunications. An important hindrance in the learning process of these skills is that the existing academic tools for the design of circuits do not allow the student to validate if his design satisfies the specification. In this article, we describe an online environment where the students can verify their designs with an automatic feedback.
Patrocinador/es: Este trabajo ha sido financiado con la ayuda APLICA 2010 de la Univ. Oberta de Catalunya
URI: http://hdl.handle.net/10045/126935
ISBN: 978-84-694-5156-4
Idioma: spa
Tipo: info:eu-repo/semantics/conferenceObject
Derechos: Licencia Creative Commons Reconocimiento-NoComercial-CompartirIgual 4.0
Revisión científica: si
Versión del editor: https://aenui.org/actas/indice_e.html#anio2011
Aparece en las colecciones:JENUI 2011

Archivos en este ítem:
Archivos en este ítem:
Archivo Descripción TamañoFormato 
ThumbnailJENUI_2011_060.pdf650,73 kBAdobe PDFAbrir Vista previa


Este ítem está licenciado bajo Licencia Creative Commons Creative Commons