Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analysis tools, known as the SCR Toolset, but its availability is restricted by the Naval Research Laboratory of the USA. This toolset applies different kinds of analysis considering the whole set of behaviours associated with a requirements specification. In this paper we present a tool for describing and analyzing SCR requirements descriptions, that complements the SCR Toolset in two aspects. First, its use is not limited by any institution, and resorts to a standard model checking tool for analysis; and second, it allows to concentrate the analysis to particular sets of behaviours (subsets of the whole specifications), that correspond to particular scenarios explicitly mentioned in the specification. We take an operational notation that allows the engineer to describe behavioural "scenarios" by means of programs, and provide a translation into Promela to perform the analysis via Spin, an efficient off-the-shelf model checker freely available. In addition, we apply the SCR method to a Pacemaker system and we use its tabular specification as a running example of this article.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Herramientas de model finding para asistir en la construcción de especificaciones formales

Este trabajo plantea el desafío técnico de asistir en la construcción de especificaciones en el contexto de la enseñanza de la programación, en materias introductorias, a través de la provisión automática de información de análisis, basada en constraint solving relacional. Se presentan a través de ejemplos concretos, por un lado, la traducción de especificaciones que involucran expresiones cuantificadas al lenguaje Alloy, y por otro la definición de consultas de análisis que, mediante las herramientas Alloy y DynAlloy, brindan feedback automático a los estudiantes. Se discuten además algunas dificultades técnicas que se presentan al construir modelos de especificaciones con dominios numéricos, para su utilización en herramientas de model finding.Workshop: WTIAE – Tecnología Informática Aplicada en EducaciónRed de Universidades con Carreras en Informátic

Generando espacios para poner en práctica el hacer científico en la Licenciatura en Ciencias de la Computación

Nuestra principal meta como docentes es formar a nuestros alumnos como científicos (personas que disfruten jugando con ideas) y como educadores (personas que buscan transmitir ideas y puedan hacerlo de manera efectiva). Creemos que lograr estas metas es muy importante en el desarrollo personal y profesional de nuestros alumnos. Buscamos brindarles a los alumnos la experiencia de jugar y disfrutar con la resolución creativa y original de problemas complejos. Consideramos muy importante ayudar a los alumnos a vislumbrar que lo que están aprendiendo es importante e interesante, y tienen el deber de compartirlo con los demás. Para que los alumnos afiancen firmemente sus conocimientos del método científico, deben experimentar directamente con la formulación de hipótesis, el diseño experimental, la verificación de la hipótesis y el análisis de los datos para su posterior presentación. La currícula debe proveer esta experiencia con el objetivo vital de que los estudiantes hagan ciencia, no solo lean sobre ciencia. En este trabajo presentamos el enfoque que estamos implementando con el fin de que los alumnos logren usar sus conocimientos en la resolución creativa y original de problemas complejos y en su capacidad para transmitir estas resoluciones. Se busca que los alumnos logren un pensamiento científico y creativo, que los lleve a una mejor comprensión asumiendo una actitud crítica y participativa.Eje: Workshop de innovación en educación en informática (WIEI)Red de Universidades con Carreras en Informática (RedUNCI

Proyecto integrador Ciudad de los Niños, universidad y computación

La alfabetización digital es fundamental para el desarrollo integral y para no caer en la nueva versión de analfabetismo. “Si tuviera que improvisar un conjunto de necesidades mínimas para considerar que una persona es “letrada”, diría que es imprescindible que sepa otro idioma (además del castellano, inglés o chino, para que no quede todo reducido a lo que nos llega del país del norte), pero también, conocimientos sobre cómo programar”, afirma Adrián Paenza. La familiarización con la tecnología y las ciencias de la computación aporta a reducir la desigualdad socio-económica producto de la sociedad moderna que privilegia el conocimiento por sobre el trabajo basado en la fuerza bruta. En este trabajo presentamos nuestra experiencia en un proyecto destinado a niños en situación de acogimiento temporal que tiende a generar un espacio de desarrollo, motivación y aprendizaje para chicos en situación de riesgo. Para esto se plantea como eje central la enseñanza de la programación, la familiarización con la tecnología y el acceso a las TICs para que puedan adaptarse y adquirir capacidades indispensables en la actualidad. Como fuente de motivación se focaliza en el uso juegos de ingenio, lenguajes visuales de programación y minirobots.Área: Educación en Tecnología.Red de Universidades con Carreras en Informática (RedUNCI

Proyecto integrador Ciudad de los Niños, universidad y computación

La alfabetización digital es fundamental para el desarrollo integral y para no caer en la nueva versión de analfabetismo. “Si tuviera que improvisar un conjunto de necesidades mínimas para considerar que una persona es “letrada”, diría que es imprescindible que sepa otro idioma (además del castellano, inglés o chino, para que no quede todo reducido a lo que nos llega del país del norte), pero también, conocimientos sobre cómo programar”, afirma Adrián Paenza. La familiarización con la tecnología y las ciencias de la computación aporta a reducir la desigualdad socio-económica producto de la sociedad moderna que privilegia el conocimiento por sobre el trabajo basado en la fuerza bruta. En este trabajo presentamos nuestra experiencia en un proyecto destinado a niños en situación de acogimiento temporal que tiende a generar un espacio de desarrollo, motivación y aprendizaje para chicos en situación de riesgo. Para esto se plantea como eje central la enseñanza de la programación, la familiarización con la tecnología y el acceso a las TICs para que puedan adaptarse y adquirir capacidades indispensables en la actualidad. Como fuente de motivación se focaliza en el uso juegos de ingenio, lenguajes visuales de programación y minirobots.Área: Educación en Tecnología.Red de Universidades con Carreras en Informática (RedUNCI

Experiencia de enseñanza de la programación en un contexto de vulnerabilidad social

En la actualidad un alfabetismo muy popular es el Alfabetismo digital, que implica el conocimiento y la comprensión de tecnologías digitales. En este trabajo abordamos la enseñanza de la programación, a través de la familiarización con algunas herramientas tecnológicas visuales, y el acceso a las TIC. En particular, reportamos acerca de vivencias y aprendizajes con niños en situación de vulnerabilidad social quienes concurren al Hogar “Ciudad de los Niños”, ubicado en Río Cuarto, Córdoba, Argentina.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Experiencia de enseñanza de la programación en un contexto de vulnerabilidad social

En la actualidad un alfabetismo muy popular es el Alfabetismo digital, que implica el conocimiento y la comprensión de tecnologías digitales. En este trabajo abordamos la enseñanza de la programación, a través de la familiarización con algunas herramientas tecnológicas visuales, y el acceso a las TIC. En particular, reportamos acerca de vivencias y aprendizajes con niños en situación de vulnerabilidad social quienes concurren al Hogar “Ciudad de los Niños”, ubicado en Río Cuarto, Córdoba, Argentina.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Experiencia de enseñanza de la programación en un contexto de vulnerabilidad social

En la actualidad un alfabetismo muy popular es el Alfabetismo digital, que implica el conocimiento y la comprensión de tecnologías digitales. En este trabajo abordamos la enseñanza de la programación, a través de la familiarización con algunas herramientas tecnológicas visuales, y el acceso a las TIC. En particular, reportamos acerca de vivencias y aprendizajes con niños en situación de vulnerabilidad social quienes concurren al Hogar “Ciudad de los Niños”, ubicado en Río Cuarto, Córdoba, Argentina.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

ProgEnv: un entorno para la enseñanza de la programación

El curso de Ingreso Universitario en carreras de computación, es para muchos estudiantes, el primer contacto con la disciplina y por ello es de gran importancia el desarrollo de actividades que permitan introducir los conceptos básicos, favoreciendo la participación de los estudiantes a través de consignas que estimulen la creatividad y el interés por las ciencias de la computación, en particular por la programación. La complejidad de las actividades abordadas es sin duda un factor determinante para promover el aprendizaje de conceptos asociados a la programación, siendo muchas veces motivo de frustración para alumnos que se inician en esta práctica. En este contexto, la elección de las herramientas y lenguajes de enseñanza adecuados juegan un rol fundamental, permitiendo desarrollar nociones complejas con un alto grado de abstracción de manera simple y clara. En este trabajo presentaremos un entorno de desarrollo visual para la enseñanza de la programación, al que llamamos ProgEnv por Programming Environment, su utilización en el dictado del módulo “Introducción a la Programación” que forma parte de las actividades de ingreso a las carreras Analista en Computación, Profesorado y Licenciatura en Ciencias de la Computación de la Facultad de Ciencias Exactas de la Universidad Nacional de Río Cuarto y los resultados obtenidos en dicha experiencia.VIII Workshop Innovación en Educación en Informática.Red de Universidades con Carreras en Informátic

ProgEnv: un entorno para la enseñanza de la programación

El curso de Ingreso Universitario en carreras de computación, es para muchos estudiantes, el primer contacto con la disciplina y por ello es de gran importancia el desarrollo de actividades que permitan introducir los conceptos básicos, favoreciendo la participación de los estudiantes a través de consignas que estimulen la creatividad y el interés por las ciencias de la computación, en particular por la programación. La complejidad de las actividades abordadas es sin duda un factor determinante para promover el aprendizaje de conceptos asociados a la programación, siendo muchas veces motivo de frustración para alumnos que se inician en esta práctica. En este contexto, la elección de las herramientas y lenguajes de enseñanza adecuados juegan un rol fundamental, permitiendo desarrollar nociones complejas con un alto grado de abstracción de manera simple y clara. En este trabajo presentaremos un entorno de desarrollo visual para la enseñanza de la programación, al que llamamos ProgEnv por Programming Environment, su utilización en el dictado del módulo “Introducción a la Programación” que forma parte de las actividades de ingreso a las carreras Analista en Computación, Profesorado y Licenciatura en Ciencias de la Computación de la Facultad de Ciencias Exactas de la Universidad Nacional de Río Cuarto y los resultados obtenidos en dicha experiencia.VIII Workshop Innovación en Educación en Informática.Red de Universidades con Carreras en Informátic