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
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:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
JENUI_2011_060.pdf | 650,73 kB | Adobe PDF | Abrir Vista previa | |
Este ítem está licenciado bajo Licencia Creative Commons