A collaborative learning experience in modeling the requirements of teleoperated system for ship hull maintenance

This paper presents a join experience in modelling the requirements of the product line of teleoperated systems for ship hull maintenance, which are basically robotic systems used for ship maintenance operations, such as cleaning or painting the ship hull. It is proposed to specify the product line requirements through a feature model, a conceptual model, and a use case model, which together allow domain understanding, derivation of reusable product line requirements, and efficient decision-making in the specification of new systems developed in the product line. Action Research, a qualitative research method in software engineering, has been applied to define the collaborative research process

Cooperative learning of requirements engineering through an international educational scenario enabled by the MOY programme

The International Excellence Campus for Higher Education and Research of the Region of Murcia, and the Mediterranean Office for Youth (MOY) programme are new initiatives that offer opportunities for designing educational activities in which can take part international students enrolled in academic degrees at different universities. Besides, a significant rise in distributed and collaborative software development has been observed in recent years (Global Software Development, GSD), which involves space, time and socio-cultural distances and requires new techniques, tools and practices to meet new challenges and opportunities. In addition, poor requirements are one of the most common causes of project failure in any domain. Projects which devote more resources to Requirements Engineering (RE) result in lower costs and lower deviations of their planning. Therefore, the relevance of education and training the future systems and software professionals in RE activities and techniques, in particular in GSD environments, must be stressed. We have conducted an educational innovation activity based on teaching RE in co-located and GSD contexts. This activity has been carried out in the form of an experiment with students. This paper presents the scenario in which this educational activity is framed as well as some preliminary results of this experiment

Data mining for exploring E-learning in a computer science course using online judging

[SPA] En el Espacio Europeo de Enseñanza Superior emergen nuevas metodologías de enseñanza basadas en el proceso de aprendizaje de los estudiantes, que promueven el interés de los estudiantes y ofrecen retroalimentación personalizada. Los sistemas de enjuiciamiento en red son métodos prometedores para estimular la participación de los estudiantes en el proceso de aprendizaje. La enorme cantidad de datos disponible en un sistema de enjuiciamiento en red ofrece la posibilidad de explorar qué parámetros son relevantes para el aprendizaje de la programación de computadores. En este artículo, se identifican los factores que afectan a la corrección de los programas a partir de las actividades de programación en un curso de algoritmos y estructuras de datos. Se utilizan tecnologías de minería de datos como los árboles de decisión, que han demostrado ser muy efectivos como predictores en algunos dominios de aprendizaje electrónico. Los resultados muestran que los parámetros Lenguaje de programación, Número de problema y Titulación pueden ser utilizados como predictores de la corrección de un programa, con una precisión del 60,1%. Como trabajo futuro, pretendemos estudiar los factores que afectan al rendimiento de los trabajadores en un entorno de desarrollo global del software, aplicando la minería de datos a actividades de programación colaborativas. [ENG] New teaching methods based on the students' learning process are being developed in the European Higher Education Area. Most of them are oriented to promote students' interest in the study and offer personalized feedback. On-line judging is a promising method for encouraging students’ participation in the elearning process. The great amount of data available in an on-line judging tool provides the possibility of exploring some of the most indicative attributes for learning programming concepts and techniques. In this paper, the results of programming activities carried out in a course on “Algorithms and Data Structures” has been used to identify the factors that affect the program correction, by using powerful data mining technologies taken from artificial intelligence domain. Concretely, our study uses a decision tree because it has been identified as the best predictor in some elearning domains. An overall accuracy of 60.1% in the prediction of the program correction was achieved with three input parameters (Programming language, Number of problem and Degree). In future work, we aim to analyze collaborative activities in order to identify the factors or predictor variables that affect workers’ performance in a global software development contextThis research is part of the PEGASO-PANGEA projects (TIN2009-13718-C02-02) financed by the Spanish Ministry of Science and Innovation (Spain), and the GEODAS project (TIN2012-37493-C03) financed by both the Spanish Ministry of Economy and Competitiveness and European FEDER funds. This work was also supported by the Spanish MINECO, as well as European Commission FEDER funds, under grant TIN2012-38341-C04-03

Material formativo y validación experimental de un sistema móvil de respuesta inmediata para la enseñanza de las habilidades directivas y gestión de la calidad en enfermería.

[SPA] Este trabajo presenta los resultados de una experiencia piloto que propone una herramienta de respuesta inmediata en el proceso de aprendizaje de la materia Gestión de la Calidad en Enfermería de una titulación universitaria del Grado de Enfermería en la Universidad de Murcia. Con la finalidad de alcanzar este objetivo se ha preparado material digital para el aprendizaje de la materia de “Habilidades Directivas y Gestión de la Calidad en Enfermería”, utilizando dispositivos de respuesta automática, también conocidos como clickers. El nuevo material es más dinámico que las tradicionales transparencias en PowerPoint, a la vez que estimula la participación de los alumnos. El material se ha preparado empleando la herramienta SIDRA (SIstema De Respuesta inmediata de la Audiencia), implementada por miembros del Grupo de Investigación de Ingeniería del Software de la Universidad de Murcia. Como resultado de esta innovación docente, se ha publicado un artículo con la primera parte del proyecto, donde presenta una revisión bibliográfica de estudios empíricos que emplean dispositivos inalámbricos en educación universitaria de enfermería. Otro artículo científico presenta la experiencia de SIDRA en un curso universitario que enseña las habilidades directivas y gestión de la calidad en enfermería. [ENG] This paper presents an empirical study on the effectiveness of the use of an Audience Response System (ARS) called SIstema De Respuesta inmediata de la Audiencia (SIDRA) in a nursing administration and management course at the University of Murcia. With this aim in view, instructional material was prepared to teach the course “Habilidades Directivas y Gestión de la Calidad en Enfermería”, by using automatic response devices known as clickers. This instrument is more dynamic than the traditional slides in PowerPoint, thus promoting the students’ participation. The software tool SIDRA (SIstema De Respuesta inmediata de la Audiencia), designed and implemented by members of the Software Engineering Research Group at the University of Murcia, was used to carry out the proposal. As a result, a mapping study which explores the adoption of wireless devices in university nursing teaching and addresses their repercussion on future professionals was published in a research journal. Another research paper submitted to a research journal describes our experience on the use of SIDRA in a nursing administration and management course.Este trabajo forma parte del proyecto PEGASO-PANGEA (TIN2009-13718-C02-02) financiado por el Ministerio de Ciencia e Innovación, y del proyecto GEODAS-REQ (TIN2012-37493-C03-02) financiado por el Ministerio de Economía y Competitividad y con fondos europeos FEDE

Can Intuition Become Rigorous? Foundations for UML Model Verification Tools

The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper reports on research to facilitate the formal revision of UML informal specifications. The approach is based on the algebraic specification formal theory, which is used to formalize the UML Statechart Diagrams and subsequently verify them. To illustrate the proposal, the so-called orthogonality property is investigated. This property is modeled at the UML metamodel level so that its fulfillment on the part of any particular UML Statechart diagram can be mathematically proven or disproven. The formal models obtained are specified in the executable formal language Maude thus providing the additional advantage of using them as functional prototypes. These results lead up to a whole formalization of the UML, which can be used in practice, and lay the foundations for the construction of rigorous UML CASE tools

ABSTRACT Precise WIS Development ∗

In recent years, Internet has become the platform that supports most areas in organizations. This fact has led to the appearance of specific tools for the construction of Web Information Systems (WIS). However, in these tools an absence of functionalities for verification and validation (V&V) of the models built has been detected. This work aims to redress this absence with the definition of a strategy for the specification of the models used in the WIS development that can be used with V&V objectives. The approach has been validated in a specific methodology (MIDAS) and an associated tool (MIDAS-CASE), both aligned with the MDA proposal. One of the diagrams used in this methodology has been formalized: the extended navigation model, achieving a precise specification of this diagram. This specification permits the definition and formal verification of properties related to this diagram, as well as its validation. The specification and verification of a concrete property are also shown

Desarrollo de aplicaciones de salud para plataformas móviles: un mercado emergente

Asistimos a la creación de un nuevo mercado de aplicaciones para la salud en dispositivos móviles, una gran oportunidad para desarrollar nuevos modelos de negocio con las que ampliar la oferta de servicios o mejorar los existentes. En este artículo analizamos algunas cuestiones clave a tener en cuenta en el desarrollo de aplicaciones de salud para dispositivos móviles

Recomendaciones sobre seguridad y privacidad informática en el tratamiento de datos de salud

Un reciente informe de la Agencia Europea de Seguridad de las Redes y de la Información, pone de manifiesto la tendencia creciente de los ataques a la información personal de salud. Estos ataques se ven agravados con la informatización de las historias clínicas de salud y la falta de conocimientos informáticos del personal que trabaja en los centros sanitarios. En este artículo, se pretende hacer una revisión de los estándares, normativa y recomendaciones nacionales e internacionales que incluyen buenos hábitos de seguridad y privacidad para los profesionales de entornos sanitarios

Introducing sustainability in a Software Engineering curriculum through Requirements Engineering

Resumen de los autoresGrado en Ingeniería Informática (Universidad de Murcia)Existe una preocupación a nivel mundial en relación al medioambiente y a la sostenibilidad. Los programas de investigación nacionales, europeos e internacionales, así como las nuevas políticas gubernamentales, están encaminando sus objetivos en pos de solventar estos problemas. La concienciación y educación sobre esta problemática es una actividad necesaria y trasversal a todas las disciplinas. Las Tecnologías de la Información y de las Comunicaciones (TIC) constituyen uno de los pilares de nuestra sociedad, por lo que los currículos educativos relacionados con este sector deben de ser la piedra angular sobre la que cimentar la educación acerca del desarrollo sostenible. Nuestra propuesta es la inclusión de la sostenibilidad en un currículo de enseñanza universitaria de Informática, dirigida especialmente al ámbito de la Ingeniería de Software. La propuesta se articula en torno a una subdisciplina crítica dentro de la Ingeniería de Software, la Ingeniería de Requisitos. Así, la sostenibilidad adquiere protagonismo de primer orden para los alumnos, mostrándoles cómo puede formar parte de los requisitos a tener en cuenta en la construcción de sistemas, trasladando además esta concienciación sobre sostenibilidad a los clientes y usuarios de estos productos. Nuestra propuesta es compatible con el Manifiesto de Karlskrona sobre desarrollo sostenible, que define los aspectos clave relacionados con la sostenibilidad y las TIC.ES