Search

En muchas asignaturas de Ingeniería Informática se pide a los alumnos que programen en papel. Entre sus ventajas, esto permite a los alumnos centrarse en la funcionalidad evitando las distracciones causadas por la sintaxis y sin limitar su pensamiento a un lenguaje o paradigma de programación concreto. Aún así, los estudiantes se quejan de no poder probar su código, lo que les impide descubrir errores. En contraposición al estado del arte que ha estudiado este problema para lenguajes de propósito general como Java con estudiantes de cursos iniciales, nosotros nos centramos en lenguajes estándares de la definición de reglas como OCL que se imparten en cursos avanzados. En este artículo presentamos nuestra experiencia tras introducir una herramienta de modelado para la definición de restricciones OCL en una asignatura de Ingeniería de Requisitos. Esta asignatura es optativa y se ofrece en el tercer y cuarto curso del grado de Ingeniería Informática. El estudio que hemos realizado abarca dos cursos académicos, 2019 y 2020, en los cuales hubo 136 y 161 estudiantes matriculados respectivamente. Presentamos los detalles de nuestro experimento, los resultados obtenidos del estudio empírico llevado a cabo y nuestras conclusiones, las cuales respaldan la idoneidad del uso de herramientas. In many Computer Engineering courses, students are asked to program on paper. Among its advantages, this allows students to focus on functionality avoiding the distractions caused by syntax and without limiting their thinking to a specific programming language or paradigm. Still, students complain about not being able to test their code, preventing them from discovering bugs. While the state of the art has studied this problem for general-purpose languages like Java and with students of initial courses, we focus on standard languages for contraint definition like OCL, which are taught in advanced courses. In this article, we present our experience after introducing a modeling tool for the definition of OCL constraints in the Requirements Engineering course. This course is optional and is offered in the third and fourth years of the Computer Engineering degree. The study we have carried out covers two academic years, 2019 and 2020, in which there were 136 and 161 students enrolled, respectively. We present the details of our study, the results obtained from the empirical study carried out and our conclusions, which support the suitability of the use of tools.

Cuando se analiza la posibilidad de que toda persona pueda aprender a programar surgen diferentes incógnitas sobre cuál es la mejor forma de abordar la cuestión. El lenguaje de programación, la metodología, la tipología de ejercicios, o la duración de un curso son variables que pueden determinar el éxito o el fracaso del mismo. En este artículo se presenta una experiencia docente en la impartición de un MOOC (Massive Open Online Course) para iniciarse en la programación dirigido a todos los públicos. Se describen y discuten el diseño, el desarrollo y los resultados alcanzados con el objetivo de discernir si un curso de estas características puede ser factible para iniciar a cualquier persona en la programación de ordenadores. Many questions appear when the statement “any citizen is able to learn programming language” is analysed. The programming language, the methodology, the type of exercises or the duration of the course are variables that may affect the success or the failure of an introductory course. This paper presents a teaching experience of a MOOC course aiming at introducing programming suitable for all audiences. The design, the execution and the results are described along with a discussion whether this type of course can be feasible as an introductory course to learn language programming. Este trabajo ha sido parcialmente financiado por el Elearn Center de la Universitat Oberta de Catalunya en el programa de ayudas a la promoción y diseño de MOOC.

Una educación de calidad y al alcance de todos es parte del compromiso social que tienen las universidades en el contexto cambiante en que vivimos. Las TIC constituyen un elemento estratégico para que las universidades puedan plantear respuestas a las necesidades de los sectores de la sociedad en riesgo de exclusión y aumentar las oportunidades de desarrollo y acceso al conocimiento de las personas y las comunidades. Desde el año 2013, nuestra universidad viene desarrollando diversas iniciativas con el propósito de acercar las TIC a la sociedad en general y a la educación en particular como una herramienta para el aprendizaje permanente. Uno de estos proyectos tiene como finalidad promover una mejor adaptación de los niños y adolescentes ingresados en diferentes instituciones hospitalarias para favorecer su estancia mediante la realización de un conjunto de actividades lúdicoeducativas basadas en el aprendizaje de la programación de aplicaciones informáticas. Dichas actividades pueden llevarse a cabo dentro del recinto hospitalario o en el mismo domicilio del enfermo. El objetivo del presente artículo es presentar la experiencia desarrollada A quality educational system for all the audiences belongs to the main social commitment that universities have with the current and ever-changing society. The ICT are a strategic key element for the universities in order to promote solutions for sectors of the population which suffer social exclusion and to increase its access to the knowledge. Our university has developed several initiatives with the objective to approach the technology to the general audience. Moreover, these activities promote the lifelong learning using the technology as a tool. One of these projects focuses on encouraging a better adaptation of inpatient young people to facilitate the stay by doing several leisure-educational activities based on learning of a programming language. These activities could be done in the hospital grounds or in the inpatient residence. The aim of this paper is to show the experience of this initiative

En este artículo se presenta una plataforma para el aprendizaje en línea de lenguajes de programación. Su principal objetivo es ofrecer una retroalimentación inmediata a los estudiantes en sus ejercicios de programación. Además, la plataforma contiene un conjunto de servicios web que permiten la compilación y verificación de código en línea. La plataforma no sólo facilita a los docentes la gestión y corrección de las actividades de los estudiantes y les da un retorno inmediato, sino que abre la puerta a la realización de aplicaciones web que permitan la resolución en línea de ejercicios de programación sin la necesidad de instalar ningún entorno de desarrollo ni depender de ninguna plataforma concreta. Actualmente se está implantando en asignaturas de los Grados en Ingeniería Informática y Tecnologías de la Telecomunicación. SUMMARY -- This paper presents an eLearning platform for programming languages. Its main aim is to provide students with immediate feedback on their programming exercises. In addition, the platform contains a set of web services that allow online compilation and code verification. The platform does not only simplify the management and correction of activities to teachers and gives immediate feedback to students, but also opens the door to the realization of web applications that allow online resolution of programming exercises without installing any development environment and totally platform independent. The platform is currently on implantation process for Computer Science and Telecomunication Degrees.

6 Pagss. 2 Tabls, 5 Figs., [EN] The water retention curve (θ(ψ)), which defines the relationship between soil volumetric water content (θ) and matric potential (ψ), is of paramount importance in characterizing the hydraulic behavior of soils. We present a design of TDR-pressure cell (TDRCell) for estimating θ(ψ) in undisturbed soil samples. The TDR-Cell consists of a 50-mm-long and 50-mm internal diameter stainless steel cylinder attached to a porous ceramic disc and closed at the ends with two aluminum lids. A 49-mm-long and 3-mm-diameter stainless steel rod, which runs longitudinally through the centre of the cylinder, constitutes the inner rod of a coaxial TDR probe. The TDR-Cell was used to determine the θ(ψ) curves of packed sand and seven undisturbed soil samples from three profiles of agricultural soils. These θ(ψ) curves were subsequently compared to those obtained from the corresponding 2-mm sieved soils using the pressure plate method. An excellent correlation (R2 = 0.988) was found between the θ values measured by TDR on the different undisturbed soils and the corresponding θ obtained from the soil gravimetric water content. A typical bimodal θ(ψ) function was found for most of the undisturbed soil samples. Comparison between the θ(ψ) curves measured with the TDR-Cell and those obtained from the 2-mm sieved soils showed that the pressure plate method overestimates θ at low ψ values., [ES] La curva de retención de agua en el suelo, θ(ψ), definida como la relación entre el contenido volumétrico de agua en el suelo (θ) y el potencial mátrico (ψ), es una propiedad fundamental para caracterizar el comportamiento hidráulico del suelo. Este trabajo presenta un diseño de cámara de presión por TDR (Celda-TDR) para la medida de θ(ψ) en muestras intactas de suelo. Esta cámara consiste en un cilindro de acero inoxidable de 50 mm de longitud y 50 mm diámetro interno, que reposa sobre un disco cerámico y cerrado por los dos extremos con dos tapas de aluminio perforadas. La tapa superior tiene insertada una varilla de acero inoxidable de 49 mm de longitud y 3 mm de diámetro que cruza longitudinalmente el centro del cilindro. Ambos elementos, cilindro y varilla, conforman una sonda coaxial cilíndrica que permite medir la humedad del suelo contenido en la cámara de presión. Se efectuó un primer experimento de laboratorio para comprobar la fiabilidad el método TDR para la medida de θ. Posteriormente se estimó, utilizando la Celda-TDR, la curva de retención de siete muestras de suelo inalterado procedentes de los horizontes genéticos de tres calicatas. Las curvas θ(ψ) obtenidas con la Celda-TDR fueron posteriormente comparadas con las obtenidas sobre las mismas muestras de suelo tamizadas a 2 mm de diámetro utilizando el método clásico de las ollas de presión. La correlación entre θ medida por TDR y el método gravimétrico fue excelente (R2 = 0.988). Las curvas θ(ψ) obtenidas con la Celda-TDR en las muestras de suelo inalterado muestran un claro comportamiento bimodal. Sin embargo, se observaron grandes diferencias entre θ(ψ) medida en las muestras inalteradas de suelo y las obtenidas en el suelo tamizado, dando estas últimas una clara sobreestimación de θ en condiciones próximas a saturación., El presente trabajo ha sido financiado por la Comisión Interministerial de Ciencia y Tecnología (proyectos: AGL2007-66320- CO2-02/AGR) CSIC (Proyectos: PIE-200840I214 and 2008401246) y DGA- Obra social La Caixa (Proyectos: GA-LC-010/2008; GA-LC-006- 2008).

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity diagrams, interaction diagrams and state machines. Unfortunately, current proposals devoted to the verification of behavioral schemas tend to skip the analysis of the actions they may include. The main goal of this paper is to cover this gap by presenting several techniques aimed at verifying AS specifications. Our techniques are based on the static analysis of the dependencies between the different actions included in the behavioral schema. For incorrect specifications, our method returns a meaningful feedback that helps repairing the inconsistency.

135 Pags.- 21 Figs.- 18 Tabls. Proyecto dirigido, en la Unidad de Suelos y Riegos del Centro de Investigación y Tecnología Agroalirnentaria (C.I.T.A.), Unidad Asociada a la EEAD-CSIC, por los Drs. Carmen Castañeda del Álamo y Dr. Juan Herrero Isern, investigadores EEAD-CSIC. Creative Commons License Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)., El objetivo general de este trabajo es establecer criterios agronómicos utilizables para regular la actividad agrícola y las ayudas económicas de la UE. De entre los muchos criterios aplicables, el presente trabajo se ha centrado en la salinidad edáfica. Así, a través de índices que recojan las condiciones de salinidad edáfica, se podrían estipular límites para el laboreo en la interfase humedal-cultivo sin desfavorecer los derechos y subsidios económicos del agricultor. Dadas las condiciones especiales de estos humedales y su entorno -tamaño, régimen hídrico, fluctuaciones de humedad y salinidad-, este objetivo general se ha desglosado en los siguientes objetivos concretos: 1.Establecer puntos de muestreo dispuestos en transectos representativos de las áreas seleccionadas, levantando el perfil topográfico de cada transecto. 2.Caracterizar los puntos de muestreo: profundidad del nivel freático, vegetación, y laboreo agrícola en su caso. 3.Obtener la salinidad en los puntos de muestreo mediante métodos clásicos y estimar su influencia en el rendimiento de los cultivos. 4.Estudiar la utilidad del sensor electromagnético (SEM) para reducir el número de muestras de suelo en futuros reconocimientos de estas zonas, calibrando el instrumento con la salinidad obtenida en el punto anterior.

Fil: Planas, E. B. de. Servicio Geológico Nacional; Argentina

Proceedings of 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. E. Planas, J. Cabot, C. Gómez, E. Guerra, and J. de Lara, "Lightweight Executability Analysis of Graph Transformation Rules", 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Leganes, Spain, 2010, pp. 127 - 130, Domain Specific Visual Languages (DSVLs) play a cornerstone role in Model-Driven Engineering (MDE), where (domain specific) models are used to automate the production of the final application. Graph Transformation is a formal, visual, rule-based technique, which is increasingly used in MDE to express in-place model transformations like refactorings, animations and simulations. However, there is currently a lack of methods able to perform static analysis of rules, taking into account the DSVL meta-model integrity constraints. In this paper we propose a lightweight, efficient technique that performs static analysis of the weak executability of rules. The method determines if there is some scenario in which the rule can be safely applied, without breaking the meta-model constraints. If no such scenario exists, the method returns meaningful feedback that helps repairing the detected inconsistencies., Work funded by the Spanish Ministry of Science and Innovation through mobility grants JC2009-00015 and PR2009-0019, projects TIN2008-02081 and TIN2008-00444 and the R&D programme of the Madrid Community, project S2009/TIC-1650