Verifying UML/OCL operation contracts

In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to ensure the quality of the final application. Research on model consistency has focused mostly on the models' static aspects. Instead, this paper addresses the verification of their dynamic aspects, expressed as a set of operations defined by means of pre/postcondition contracts. This paper presents an automatic method based on Constraint Programming to verify UML models extended with OCL constraints and operation contracts. In our approach, both static and dynamic aspects are translated into a Constraint Satisfaction Problem. Then, compliance of the operations with respect to several correctness properties such as operation executability or determinism are formally verified

El proyecto reformador del General José Ballivián. La construcción del Estado-Nación durante el gobierno provisional de 1841-1843

Durante los dos primeros años del gobierno de José Ballivián (1841- 1847) se aprueba una numerosa legislación respecto a la Instrucción Pública, la reforma del ejército, la ocupación del territorio nacional y la reforma de la administración pública del estado. A raíz de esta legislación se establecen bases para el avance en la construcción del estado-nación boliviano mediante el control del territorio nacional, la racionalización de la administración pública, el impulso a la educación y la parcial desmovilización del ejército.During it’s first two years the government of Jose Ballivián (1841-1847) passes a huge legislation regarding the Public Instruction, the reform of armed forces, the occupation of national territory and the reform of the public administration of the country. Following this legislation foundations establishe the construction progress of the Bolivian national state led by the control of national territory, rationalization of the public administration, promotion of education and a partial reduction of armed forces

Flexibilidad laboral y nuevas tecnologías: e-trabajo

Una de las principales metas de las empresas es atraer y retener a personas cualificadas. Para ello se ponen en práctica diferentes estrategias de gestión de los recursos humanos, entre las que destacamos las relacionadas con la flexibilidad laboral y más concretamente aquellas que persiguen compaginar la vida laboral y privada de los trabajadores. En este contexto, las nuevas tecnologías juegan un importante papel a través del e-trabajo y de una de sus modalidades más conocidas: el teletrabajo.One of the main goals of the companies is to attract and to retain qualified people. To get it, they put into practice different human resource strategies, among those, we will highlight those related with the work flexibility, and more exactly those that try to obtain a work-life balance. In this context, the new technologies play an important paper through the e-work and one of their good known modalities: telework

How do software architects consider non-functional requirements: an exploratory study

© 2012 IEEE. 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.Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the state of the practice on these topics may benefit both practitioners' and researchers' daily work. A few empirical studies have been conducted in the past, but none under the perspective of software architects, in spite of the great influence that NFRs have on daily architects' practices. This paper presents some of the findings of an empirical study based on 13 interviews with software architects. It addresses questions such as: who decides the NFRs, what types of NFRs matter to architects, how are NFRs documented, and how are NFRs validated. The results are contextualized with existing previous work.Peer ReviewedPostprint (author’s final draft

Nuevas tecnologías y nuevos riesgos laborales: estrés y tecnoestrés

Tanto el apego excesivo a las TICS, como el rechazo frontal a las mismas, da lugar a patrones de comportamiento disfuncionales. Aunque ambas posturas son potencialmente perjudiciales, en este artículo vamos a detenernos en la primera, debido a su relación con uno de los factores más perjudiciales para el logro de la calidad de vida en el trabajo: el estrés, y más concretamente en este caso, el tecnoestrés.Both the excessive attachment to the ICT, as the rejection front to them, leads to dysfunctional behavioral patterns. Although both positions are potentially harmful, in this article we will stop at first, because of its relationship with one of the most damaging factors for achieving the quality of life at work: stress, and more specifically in this case, the tecnoestrés

Estrés tecnológico: medidas preventivas para potenciar la calidad de vida laboral

Tanto el apego excesivo a las Tecnologías de la Información y Comunicación (TICS), como el rechazo frontal a las mismas, dan lugar a patrones de comportamiento disfuncionales, puesto que ambas reacciones dificultan y obstaculizan el correcto desempeño tanto de la vida personal como laboral de los trabajadores. En este artículo nos hemos detenido en analizar las consecuencias que la introducción de dichas TICS tiene en relación con uno de los factores más perjudiciales para el logro de la calidad de vida en el trabajo: el estrés y, más concretamente en este caso, el tecnoestrés (moderna enfermedad de adaptación, causada por la falta de habilidad para tratar con las nuevas tecnologías) y las posibles medidas preventivas para afrontarlo. Puesto que los actuales son tiempos de continuos cambios tecnológicos, es claro que su evolución no debe ser frenada por los posibles riesgos que conllevan, sino más bien es necesario plantearse nuevas formas de hacer empresa. En concreto, hay que potenciar una concienciación desde los departamentos de recursos humanos en las empresas, que deberían llevar a cabo una política orientada a la prevención mediante la reducción y la eliminación de barreras, proporcionando oportuni- dades para practicar, simplificando la tecnología y reduciendo el umbral de ansiedad: mientras más fácilmente puedan los empleados interactuar con la tecnología, menos (tecno) estrés se producirá.Considering the information and communication technologies (ICTs), either the excessive dependency or the rejection to ICTs could end in a certain dysfunctional behaviour, because both reactions can be an obstacle to the development a good work and family life. In the present article we analyse the consequences of introducing ICTs and their relation with one of the most harmful factor to achieve a good quality of work: the stress, and especially in this case, the “technostress” (a modern disease of adaptation caused by an inability to cope with the new computer technologies in a healthy manner) and some possible ways to face it.The rapid technological changes are part of our daily lives, it is clear that we cannot stop such evolution but we need to redesign the way we do business and organise private companies. In fact, companies should foster human resources’ consciousness, in the sense of promoting an internal policy based on health at risk prevention to eliminate barriers. Companies should allow employees to have more opportunities to practise; try to simplify the technology, and to reduce anxiety among users: an easy access and interaction with technology will definitely lower the technostress among employees

El mite del Rei En Jaume dins l'Aplec de Rondalles d'en Jordi des Recó

Abstract not availabl

Nuevas tecnologías y nuevos riesgos laborales: estrés y tecnoestrés

Tanto el apego excesivo a las TICS, como el rechazo frontal a las mismas, da lugar a patrones de comportamiento disfuncionales. Aunque ambas posturas son potencialmente perjudiciales, en este artículo vamos a detenernos en la primera, debido a su relación con uno de los factores más perjudiciales para el logro de la calidad de vida en el trabajo: el estrés, y más concretamente en este caso, el tecnoestrés.Both the excessive attachment to the ICT, as the rejection front to them, leads to dysfunctional behavioral patterns. Although both positions are potentially harmful, in this article we will stop at first, because of its relationship with one of the most damaging factors for achieving the quality of life at work: stress, and more specifically in this case, the tecnoestrés

Trabajo y relaciones laborales en las universidades europeas: una realidad plural

La declaración de la Sorbona (Mayo, 1998), destacó la creación del Espacio Europeo de Educación Superior, como clave para facilitar la movilidad y empleabilidad de los ciudadanos europeos. Esto requiere, entre otras actuaciones, la adopción de un sistema de "grados "fácilmente comprensibles y comparables, así como el uso del Suplemento Europeo al Título, que promoverá la capacidad de inserción y la competitividad internacional del sistema universitario europeo. Para lograr estos objetivos, es esencial conocer cómo están estructurados los planes de estudio de las diferentes universidades europeas. En este trabajo hemos analizado los planes de estudio de algunas de las más prestigiosas instituciones europeas, como muestra de las diferentes ofertas formativas que actualmente existen en el campo de las Relaciones Laborales/Ciencias del TrabajoThe Sorbonne declaration (May 1998), emphasised the creation of the European area of higher education as a key way to promote citizens' mobility and employability and the Continents overall development. These goals require, among others, the adoption of a system of easily readable and comparable degree, also through the implementation of the Diploma Supplement, in order to promote European citizens' employability and the international competitiveness of the European higher education system. To attain those objectives it is essential to know how European Universities articulate their studies programmes. In this paper, we have analyzed the study programmes of some of the most prestigious Europeans institutions as a sample of the differents formative offerings in the Labour Relations/ Sciences du Travail field