Desarrollo, Producción e Innovación en la Investigación científica
Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/2392
Browse
10 results
Search Results
Item Una estrategia didáctica para el dictado de informática teórica (presentación de proyecto de investigación y avances)(2008) Cárdenas, Marina Elizabeth; Marciszack, Marcelo Martín; Vázquez, Juan Carlos Jesús; Pérez, RamiroLos contenidos de informática teórica en carreras de informática no deberían presentar dificultades en cuanto a su transposición didáctica, ya que constituyen, el núcleo central de estudio de su disciplina. Lejos de tal aseveración, los estudiantes presentan dificultad para asimilar estos contenidos ya que los mismos están muy cercanos a la matemática y son fuertemente abstractos, por lo tanto resulta necesario contar con una estrategia didáctica que permita: por un lado, aportar sólidas bases teóricas y por otro, disponer de claros ejemplos de aplicación a la resolución de problemas reales; como son las herramientas para simulación, las implementaciones sobre casos concretos, el desarrollo de algoritmos, entre otros.Item Utilización de ontologías para el modelado de gramáticas formales y máquinas abstractas para la elicitación de requerimientos(2010) Marciszack, Marcelo Martín; Perez Cota, Manuel; Antonelli, Leandro; Giandini, Roxana; Cárdenas, Marina ElizabethPresentación del Proyecto Ontología para la Comparación de diferentes metodologías y herramientas para la especificación de requerimientos con el fin de determinar un esquema conceptual sobre un dominio de aplicación determinado: Máquinas Abstractas y las Gramáticas formales.Item Construcción de un modelo conceptual para gramáticas formales y máquinas abstractas con ontologías utilizando Protégé(2008) Marciszack, Marcelo Martín; Vázquez, Juan Carlos; Cárdenas, Marina Elizabeth; Castillo, Julio JavierEn este trabajo se ha desarrollado un modelo de representación conceptual de un modelo específico, en este caso teoría de gramáticas formales y máquinas abstractas, a través del modelo ontológico, una rama de la inteligencia artificial.Item Enseñanza de informática teórica con herramientas didácticas de soporte(2011) Paz Menvielle, María Alejandra; Pérez, Ramiro; Cárdenas, Marina Elizabeth; Marciszack, Marcelo MartínLos contenidos de informática teórica en carreras de informática constituyen el núcleo central de la disciplina, sin embargo los estudiantes presentan ciertas dificultades para la asimilación de estos contenidos ya que denotan un alto nivel de abstracción y orientación matemática. A raíz de ello surge la necesidad de contar con una herramienta didáctica que dé soporte y permita aportar solidas bases teóricas a la vez que ejemplos didácticos y claros de aplicación de dichos conceptos para la resolución de problemas. El presente trabajo busca mejorar las estrategias de enseñanza a partir del desarrollo de herramientas didácticas que disponen los docentes de la asignatura “Sintaxis y Semántica del Lenguaje” en el Departamento de Ingeniería en Sistemas de Información de la UTN FRC con el objetivo lograr que los estudiantes alcancen un aprendizaje significativo de los conceptos de Informática Teórica.Item Validación de Requerimientos a través de Modelos Conceptuales(2012) Pérez, Ramiro; Castro, Claudia Susana; Cárdenas, Marina Elizabeth; Marciszack, Marcelo MartínEl trabajo presentado en este articulo tiene como objetivo implementar una herramienta que permita gestionar y validar requerimientos de software, que ayudará a definir los límites del sistema al momento de formular los requerimientos, controlar y optimizar los procesos, y proveerá al grupo de desarrollo una base para la estimación del tiempo y costo del desarrollo de sistemas de software, permitiendo así conocer el estado del proyecto y el impacto de los cambios en caso de ser requeridos.Item Construcción de una ontología para gramáticas formales y máquinas abstractas utilizando Protégé para la elicitación de requerimientos(Red de Universidades con Informática, 2009) Marciszack, Marcelo Martín; Pérez Cota, Manuel; Antonelli, Leandro; Giandini, Roxana; Cárdenas, Marina ElizabethEl presente trabajo describe el desarrollo de un modelo de representación conceptual del dominio de la teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, con el objetivo de evaluar su utilización como herramienta de soporte a la elicitación de requerimientos de software basándose en una metodología de modelado ontológico.Item Construcción de esquemas conceptuales para la elicitación de requerimientos con ontologías utilizando Protégé(Universidad Tecnológica Nacional. Facultad Regional Mendoza, 2009) Marciszack, Marcelo Martín; Pérez Cota, Manuel; Antonelli, Leandro; Giandini, Roxana; Cárdenas, Marina ElizabethEl presente trabajo describe el desarrollo de una metodología y herramienta de soporte en las actividades de modelado conceptual, utilizado en la representación de un modelo sobre un dominio restringido, como son la Teoría de Gramáticas Formales y Máquinas Abstractas, a través del modelado Ontológico, utilizando como herramienta de soporte Protégé 2000. Para dar cumplimiento con el propósito de evaluar la utilización de esta Metodología/Herramienta como soporte en el proceso de elicitación de requerimientos de software y determinar el grado de correspondencia del modelo con la realidad y servir además en futuras etapas del desarrollo, se ha procedido a su caracterización a través de distintos criterios de evaluación los cuales han sido ciudadosamente seleccionados a partir de estudios y ensayos realizados por diversos autores.Item Construcción de una ontología utilizando Protégé para la elicitación de requerimientos(Centro de Ingenieros de Córdoba: Jorge Sarmiento, 2009) Marciszack, Marcelo Martín; Pérez Cota, Manuel; Antonelli, Leandro; Cárdenas, Marina ElizabethEl presente trabajo describe el desarrollo de un modelo de representación conceptual del dominio de la teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, con el objetivo de evaluar su utilización como herramienta de soporte a la elicitación de requerimientos de software basándose en una metodología de modelado ontológico.Item Modelado conceptual de gramáticas formales y máquinas abstractas utilizando ontologías(Microsoft; Universidad Argentina de la empresa, 2008) Cárdenas, Marina Elizabeth; Marciszack, Marcelo Martín; Castillo, Julio Javier; Vázquez, Juan Carlos JesúsEl presente trabajo describe el desarrollo de un modelo de representación conceptual de un dominio específico, en este caso teoría de gramáticas formales y máquinas abstractas, a través del modelado ontológico, una reciente rama de la inteligencia artificial. Este desarrollo es parte de un proyecto que nos permitirá comparar entre sí las diferentes metodologías y herramientas que suelen utilizarse en la etapa de relevamiento de requerimientos del proceso de desarrollo de software, y por otro lado, permitirá establecer el grado de correspondencia entre la conceptualización de las Máquinas y Gramáticas, ya que al existir un isomorfismo entre ambos dominios, éste debería continuar en los esquemas conceptuales resultantes de la aplicación de cada una de las metodologías comparadas.Item Estrategia de dictado de informática teórica utilizando herramientas didácticas(Red de Universidades con Carreras en Informática (RedUNCI), 2010) Paz Menvielle, María Alejandra; Marciszack, Marcelo Martín; Cárdenas, Marina Elizabeth; Pérez, RamiroEl presente desarrollo busca mejorar las estrategias de enseñanza a partir del desarrollo de herramientas didácticas que disponen los docentes de la asignatura Sintaxis y Semántica del Lenguaje en el Departamento de Ingeniería en Sistemas de Información de la UTN FRC con el objetivo lograr que los estudiantes alcancen un aprendizaje significativo de los conceptos de Informática Teórica. Para ello, se ha desarrollado un conjunto integrado de herramientas didácticas accesibles vía web, las cuales son utilizadas en los procesos de enseñanza y de aprendizaje, posibilitando de esta manera la asimilación de los contenidos curriculares de teoría de autómatas, traducción de lenguajes, gramáticas formales, y compiladores, realizando prácticas efectivas de los mismos, permitiendo además que sea el propio alumno quien evalúe su proceso de aprendizaje mediante el uso de un test de autoevaluación.