Search

El enlance Codeplex para la descarga del código fuente figura en la página 12 del documento.

The aim of this master thesis is to develop a system which is able to help these potential users with the enrichment of Wikipedia articles in one language with the information resent in another language. The main contribution of this thesis is the detection of relevant information that is candidate

The model-reality communication requires the existence of a common language. This paper analyzes the names needed to communicate associations, links, directed links and visibilities. The result is a communication language based on names from abstractions and concepts realizations.

In [Mer14a] we analyzed associations and link names, and we drew up a communication language based on the visibilities names and objects names. In particular we have seen links and links directed mustn't have a name, because we can always reference them with a suitable combination of the names of involved relalizations. Now extend this result for specializations. The conclusion is that we only need to give name to the realizations of the components that are the root of the hierarchy of specialization / generalization. In [Mer14a] we analyzed associations and link names, and we drew up a communication language based on the visibilities names and objects names. In particular we have seen links and links directed mustn't have a name, because we can always reference them with a suitable combination of the names of involved relalizations. Now extend this result for specializations. The conclusion is that we only need to give name to the realizations of the components that are the root of the hierarchy of specialization / generalization.

L’objectiu d’aquest projecte és el de la creació d’un software amb el qual es podran controlar les feines realitzades per la construcció de peces mecàniques, per tal de generar-ne finalment la factura que s’entrega al client. El procés consistirà, primer de tot, en introduir les dades de l’ordre de treball que ha encarregat el client, i un cop aquesta ordre de treball ja està registrada en la base de dades, els operaris ja podran començar a realitzar les feines necessàries per portar-la a terme. Els tipus de feina que realitzaran seran, o bé hores treballades en una de les màquines pròpies de l’empresa, o bé la utilització de material. Els operaris faran servir tantes màquines i tant de material com sigui necessari fins a completar la peça indicada en l’ordre de treball, podent també treballar més d’un operari en la creació d’aquella peça. En finalitzar tot aquest procés, el programa calcularà el cost total de cada fein, tenint en compte el coeficient que té assignat cada treballador, els euros per hora de cada màquina, i la quantitat de material. Un cop realitzades totes les feines necessàries per la producció d’aquella peça, l’administrador podrà revisar-les i, si cal, modificar-les perquè quedin reflexades en l’albarà correctament. Un cop totes les feines estan correctes, es crearà l’albarà d’aquella ordre de treball, i en aquesta generació s’agruparan totes les feines, de manera que quedin sumades totes les hores treballades en una màquina, i tot el material utilitzat. Quan l’albarà ja ha quedat generat i, per tant, l’ordre de treball està finalitzada, l’administrador ja podrà procedir a crear la factura, la qual contindrà un o més albarans corresponents al client a qui se li efectua la factura.

The modern world is software-intensive. National infrastructures, smartphones and computers, health-care systems, e-commerce... everything is run by software. Therefore, developing high-quality software solutions is essential for our society. Conceptual modeling is an early activity of the software development process whose aim is to define the conceptual schema of a domain. As the role played by conceptual schemas in software development becomes more relevant---because of, for example, the emergence of model-driven approaches---, their quality becomes crucial too. The quality of a conceptual schema can be analyzed in terms of ``quality properties''. All conceptual schemas should have the fundamental properties of syntactic and semantic correctness, relevance and completeness, as well as any other quality property that has been proposed in the literature and that may be required or recommended in particular projects. It is a fact that only a few quality properties have been integrated into the development environments used by professionals and students, and thus enforced in the conceptual schemas developed by them. A possible explanation of this unfortunate fact may be that the proposals have been defined in the literature in disparate ways, which makes it difficult to integrate them into those environments. The goal of this thesis is to ease the integration of those quality properties that can be evaluated using the conceptual schema itself. We propose a method that permits the unified definition and treatment of conceptual schema quality issues, which we understand as ``important quality topics or problems for debate or discussion''. Our work includes, on the one hand, a characterization and formalization of conceptual schema quality issues, and, on the other hand, the creation of a catalog of quality issues obtained from the literature and defined using the aforementioned formalization. We also provide a prototype implementation of our method, which integrates the catalog of quality issues on top of a real modeling tool. This implementation provides assistance to conceptual modelers during the development of a conceptual schema in a non-disruptive manner. Moreover, our thesis discusses incremental methods for the efficient evaluation of OCL expressions in the context of quality issues and integrates one of them into our prototype tool., El món actual funciona a través del programari. Les infraestructures nacionals, els ordinador i telèfons inte¿ligents, els sistemes de salut, de comerç electrònic... tot depèn del programari. És, doncs, per aquest motiu que cal dissenyar solucions de programari d'alta qualitat. La modelització conceptual és una de les etapes inicials en el procés de desenvolupament de programari. El seu objectiu és definir l'esquema conceptual d'un domini. A mesura que el rol que juguen els esquemes conceptuals esdevé més i més rellevants dins d'aquest context (degut a, per exemple, l'aparició de metodologies de disseny de programari dirigides per models), la seva qualitat també esdevé un requisit elemental. La qualitat d'un esquema conceptual es pot analitzar a través de diferents "propietats de qualitat". Així, tenim que tots els esquemes conceptuals haurien de satisfer les propietats fonamentals de correctesa sintàctica i semàntica, rellevància i completesa, així com altres propietats que s'han proposat a la literatura i que el projecte on s'estigui desenvolupant l'esquema requereixi o recomani. Malauradament, ens trobem que només algunes propietats de qualitat s'han integrat als entorns de desenvolupament que utilitzen els professionals i els estudiants i, per tant, les propietats que podem assegurar se satisfaran són poques. Una possible explicació d'aquest fet és que les propostes existents es defineixen de maneres força diferents, cosa que en dificulta la integració a aquests entorns. L'objectiu de la tesi és pa¿liar aquesta situació i simplificar la integració d'aquelles propietats de qualitat que avaluen un esquema conceptual utilitzant la informació disponible al propi esquema. El mètode que proposem permet la definició i el tractament unificat de "quality issues" per a la modelització conceptual, els quals entenem com "tot allò que pot ser rellevant considerar per assegurar la qualitat d'un esquema". La feina inclou, per una banda, la caraterització i formalizació dels "quality issues" i, per l'altra, la creació d'un catàleg d'issues disponibles a la literatura i expressats mitjançant la nostra formalizació. A més a més, la tesi també inclou la implementació d'un prototipus que demostra com funciona el mètode. El prototipus integra el catàleg de "quality issues" dins una eina de modelització conceptual real i permet assistir als modeladors durant el desenvolupament d'esquemes. Finalment, la nostra feina també ofereix una breu discussió sobre la importància que tenen els mètodes incrementals d'avaluació d'expressions OCL, com es poden adaptar a la nostra definició de "quality issues" i descriu la seva integració a l'eina prototipus que hem desenvolupat

[CATALÀ] L'objectiu d'aquest projecte és crear una aplicació que sigui capaç de, mitjançant un esquema conceptual, una base d'informació i un conjunt d'esdeveniments a aplicar, retornar-nos els conjunts d'esdeveniments que, afegits als esdeveniments inicials, mantenen l'esquema conceptual consistent. [ANGLÈS] This project goal is to develop an application that, starting from a conceptual schema, a set of instances for the schema and a set of insertion or deletion events, can give a list of the necessary events that must be added to the ones provided to maintain consistency of the conceptual schema.

El present projecte s’inscriu en el context de Induct Software AS: una start-up TIC (Tecnologies de la Informació i la Comunicació) Noruega. El projecte té com a objectiu el disseny i implementació d’un nou equip de desenvolupadors a Barcelona, Espanya, durant la segona meitat de l’any 2014. Concretament, aquest document és el pla de gestió del projecte, on es descriuen detalladament totes aquelles accions que s’haurien de dur a terme per tal d’assolir l’objectiu del projecte de manera satisfactòria. Els capítols de la memòria s’han estructurat seguint, dins dels marges permesos per les característiques pròpies del projecte, l’estructura proposada pel Project Management Institute (PMI) en la seva descripció de les àrees de coneixement de la gestió de projectes. Aquests son: Abast, Anàlisi de stakeholders, Gestió del temps, Gestió de la qualitat, Gestió dels recursos humans, Gestió de les comunicacions, Gestió de les adquisicions, Gestió dels costos i Gestió dels riscos. A més, s’han afegit capítols per aquelles àrees pròpies del projecte de suficient rellevància, com la Gestió dels aspectes legals. En cada capítol, tant l’estructura com les metodologies emprades varien, per tal d’assolir els objectius concrets de cada un d’ells. Aquest pla de gestió defineix les tasques i el calendari per a la contractació, entrenament i posada en marxa d’un grup de treball, definit tant en la seva composició com en la seva organització. Addicionalment, la memòria també detalla aspectes vitals com els costos d’execució i planificació, les adquisicions necessàries, o la metodologia per gestionar potencials riscos identificats i avaluar la qualitat del projecte, entre d’altres. Es proposa un pla amb un calendari d’execució de 10 mesos, des de Novembre 2014 fins Juliol 2015, tot i que l’anàlisi de costos arriba fins al 2019. Es recomana un procés de contractació escalonat. En un primer estadi es contractarà un equip de desenvolupadors sèniors, que seran entrenats a Noruega durant un període de 3 mesos. Posteriorment, un equip de 3 programadors juniors serà contractat i entrenat a Espanya, per l’equip de programadors sènior. En total, el procés de contractació i entrenament de tot l’equip requereix de 8 mesos. Addicionalment, s’adquiriran noves oficines a Barcelona per fer cabuda al nou equip, un pis a noruega, equip tècnic pels nous empleats i requeriments addicionals relacionats amb les noves oficines. En l’aspecte legal, s’oficialitzarà un contracte de serveis entre Induct Espanya i la matriu Noruega, per tal de gestionar el finançament del projecte. El cost total del projecte depèn dels incentius fiscals als que Induct estigui subjecte. Tot i així, en la memòria s’estima uns costos operatius de 337,180.51 €/any. Es recomana no endarrerir l’execució del projecte, degut a les favorables condicions econòmiques actuals del mercat espanyol i a les restriccions temporals d’alguns dels incentius fiscals als que es pretén aplicar.

In [Mer14a] we analyzed the names of the associations and links, both in reality and in the model, where they appear as visibility and directed links. In [Mer14b] we analyzed the names of the specializations and their realizations. Now we analyze the names of associative concepts and their realizations. But the task is more difficult than it seems at first glance. This paper analyzes what is a model of an associative concept. This will give us the basis to analyze the names of associative concepts and their realizations in [Mer14c] . In [Mer14a] we analyzed the names of the associations and links, both in reality and in the model, where they appear as visibility and directed links. In [Mer14b] we analyzed the names of the specializations and their realizations. Now we analyze the names of associative concepts and their realizations. But the task is more difficult than it seems at first glance. This paper analyzes what is a model of an associative concept. This will give us the basis to analyze the names of associative concepts and their realizations in [Mer14c] .

Requirements management is one of the cornerstone activities in software development. Agile methodologies use dedicated methods, techniques and artifacts in order to implement this activity. Remarkably, Backlog Grooming is the activity of managing and welcoming changing requirements in SCRUM. However, current industrial practices in agile development still tend to render this process in the shape of a list of statements, features and bug fixes that often leads to a blurred view of the goals of the project, the underestimation of client's needs and the decrease of the ability to respond to changes. In this paper we outline an approach that uses goal and agent oriented modelling techniques in order to fill in this "intentional" gap that current industrial approaches lack.

El ROS (Robotic Operating System) és un sistema operatiu per robots que està esdevenint un estàndard molt reconegut per molts grups de recerca de sistemes intel•ligents. Per aquest motiu i per la facilitat de compartir treballs realitzats per diferents grups de desenvolupament d’arquitectura software, el laboratori Arlab va mostrar interès per transformar el seu robot BigBot a l’arquitectura software que aquest sistema operatiu ofereix. L’objectiu és implementar l’arquitectura sofware ROS en un ordinador, i posteriorment controlar els diferents sensors i actuadors del robot en qüestió. Concretament es treballarà en la implementació del telèmetre làser URG 04LX, una càmera RGB-D, el sensor inercial 3DM-GX1 i els motors amb els seus codificadors rotatius (anomenats també encóders)

While co-locating virtual machines improves utilization in resource shared environments, the resulting performance interference between VMs is difficult to model or predict. QoS sensitive applications can suffer from resource co-location with other less short-term resource sensitive or batch applications. The common practice of overprovisioning resources helps to avoid performance interference and guarantee QoS but leads to low machine utilization. Recent work that relies on static approaches suffer from practical limitations due to assumptions such as a priori knowledge of application behaviour and workload. To address these limitations, we present Stay-Away, a generic and adaptive mechanism to mitigate the detrimental effects of performance interference on sensitive applications when co-located with batch applications. Our mechanism complements the allocation decisions of resource schedulers by continuously learning the favourable and unfavourable states of co-execution and mapping them to a state-space representation. Trajectories in this representation are used to predict and prevent any transition towards interference of sensitive applications by proactively throttling the execution of batch applications. The representation also doubles as a template to prevent violations in the future execution of the repeatable sensitive application when co-located with other batch applications. Experimental results with realistic applications show that it is possible to guarantee a high level of QoS for latency sensitive applications while also improving machine utilization.

El robot Bigbot és una plataforma mòbil que està destinada a treballar conjuntament amb un gos ensinistrat en operacions de cerca de persones en situacions de rescat. El robot treballarà amb equips de rescat i seguirà un gos ensinistrat ajudant-lo a ell, recopilant informació del seu entorn i atorgant una comunició remota per veu amb una zona de control. En aquesta zona de control es podrà teleoperar el robot, visualitzar en temps real la visió del robot i tota la informació de l’entorn del robot i establir la comunicació per veu amb diferents dispositius connectats. Per poder aconseguir aquest augment d’autonomia en el robot s’incorporarà una nova placa-PC que podrà executar el sistema ROS per controlar i comunicar tots els processos necessaris. A més a més, es generaran diferents programes-menú per crear una interfície home-màquina i poder controlar fàcilment el robot i tot el sistema ROS. Per tal de donar més autonomia al robot Bigbot i aconseguir que no depengui d’un ordinador remot, se li ha incorporat un placa-PC de baix consum, la instense PC IPC C2340V-WB-FM4U que treballarà conjuntament amb una càmera RGB-D, una càmera tèrmica uns altaveus i un micròfon i es comunicarà amb una placa de control (encarregada de controlar les rodes i els sensors de les rodes i una unitat de mesura inercial) a través connexió inal•làmbrica WiFi

© 2013 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. Software requirement patterns have been proposed as a type of artifact for fostering requirements reuse. In this paper, we present PABRE-Proj, a tool aimed at supporting requirements elicitation and specification.

Esta memoria trata sobre la implementación de un gestor de peticiones de cambio, basado en los estándares definidos por ITIL. Este gestor se implementa dentro del ERP eSengo, desarrollado por Isencia S.L. También se hace una breve explicación sobre los submódulos que han sido necesarios y los estados de flujo de ejecución del gestor. Además se explican características sobre el ERP eSengo y sobre la plataforma basada en Java Beans, SherpaBeans, también desarrollada por Isencia, a parte de enumerar las tecnologías que esta plataforma utiliza. Aquesta memòria tracta sobre l'implementació d'un gestor de peticions de canvi, basat en els estàndard definits per ITIL. Aquest gestor s'inclou a l'ERP eSengo, desenvolupat per Isencia S.L. També es fa una breu explicació sobre els submòduls necessaris i els estats del fluxe de execució del gestor. A més a més s'expliquen característiques sobre l'ERP eSengo i la plataforma basada en Java Bean, SherpaBeans, també desenvolupada per Isencia, també s'en enumeren les tecnologies utilitzades per aquesta plataforma. In this memory we discuss about the implementation of a change request manager based on ITIL's standard definitions. This manager is included in eSengo, and ERP developed by Isencia S.L. Although there are and explanation about the developed sub-module that gives functionality to the manager. Also we introduce some features about eSengo ERP and SherpaBeans platform, based on JavaBeans and developed by Isencia, also there is an enumeration of technologies that uses SherpaBeans.

Projecte realitzat en el marc d’un programa de mobilitat amb l'Institute of Database Systems and Information Management (DIMA) de la Technische Universität Berlin We developed a method for extracting patterns from models of the domain. We applied the method and created a catalog for the healthcare management domain. The results of the thesis enable software designers to obtain models of high quality through the reuse of abstracted domain knowledge.

Trackflow3D és un sistema de detecció de rutes i afluència de persones dins d'un recinte. Amb ell podem estudiar quina zona pot ser el millor lloc per posar un anunci i que el màxim de persones el puguin veure.

Executable models play a key role in many development methods (such as MDD and MDA) by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable models include a fine-grained specification of the system behaviour using an action language. Executable models are not a new concept but are now experiencing a comeback. As a relevant example, the OMG has recently published the first version of the “Foundational Subset for Executable UML Models” (fUML) standard, an executable subset of the UML that can be used to define, in an operational style, the structural and behavioural semantics of systems. The OMG has also published a beta version of the “Action Language for fUML” (Alf) standard, a concrete syntax conforming to the fUML abstract syntax, that provides the constructs and textual notation to specify the fine-grained behaviour of systems. The OMG support to executable models is substantially raising the interest of software companies for this topic. Given the increasing importance of executable models and the impact of their correctness on the final quality of software systems derived from them, the existence of methods to verify the correctness of executable models is becoming crucial. Otherwise, the quality of the executable models (and in turn the quality of the final system generated from them) will be compromised. Despite the number of research works targetting the verification of software models, their computational cost and poor feedback makes them difficult to integrate in current software development processes. Therefore, there is the need for efficient and useful methods to check the correctness of executable models and tools integrated to the modelling tools used by designers. In this thesis we propose a verification framework to help the designers to improve the quality of their executable models. Our framework is composed of a set of lightweight static methods, i.e. methods that do not require to execute the model in order to check the desired property. These methods are able to check several properties over the behavioural part of an executable model (for instance, over the set of operations that compose a behavioural executable model) such as syntactic correctness (i.e. all the operations in the behavioural model conform to the syntax of the language in which it is described), non-redundancy (i.e. there is no another operation with exactly the same behaviour), executability (i.e. after the execution of an operation, the reached system state is -in case of strong executability- or may be -in case of weak executability- consistent with the structural model and its integrity constraints) and completeness (i.e. all possible changes on the system state can be performed through the execution of the operations defined in the executable model). For incorrect models, the methods that compose our verification framework return a meaningful feedback that helps repairing the detected inconsistencies.

All software development is based on the construction and transformation of modelos. Thus a fundamental task in development is the communication of models. However, as each level of modeling is a closed world with its own language, communication is not always possible. We need a common language of communication, and that the message delivered in terms of a world language must be interpretable in the language of the world receiver. In this report we analyze what are the properties required for communication, and what is the relationship with the general properties of modeling presented in All software development is based on the construction and transformation of modelos. Thus a fundamental task in development is the communication of models. However, as each level of modeling is a closed world with its own language, communication is not always possible. We need a common language of communication, and that the message delivered in terms of a world language must be interpretable in the language of the world receiver. In this report we analyze what are the properties required for communication, and what is the relationship with the general properties of modeling presented in

In the second report of this serie we have analyzed the properties that should have a model to be communicable. Models used in the software development express both abstractions and realizations of these abstractions. In this paper we analyze how two-level models (abstractions and realizations ) require introducing new conditions for model communicability In the second report of this serie we have analyzed the properties that should have a model to be communicable. Models used in the software development express both abstractions and realizations of these abstractions. In this paper we analyze how two-level models (abstractions and realizations ) require introducing new conditions for model communicability

It is well known that requirements changes in a later phase of software developments is a major source of software defects and costs. Thus, the need of techniques to control or reduce the amount of changes during software development projects. The authors advocate the use of foresight methods as a valuable input to requirements elicitation, with the potential to decrease the number of changes that would be required after deployment, by anticipating them. In this paper, the authors define a process for using a foresight method, namely Futures Wheel, for requirements elicitation. To illustrate the use of this approach, the authors perform a case study using a route planning system.

En aquest projecte es desenvolupa el maquinari i el programari d'un centre multimèdia. Aquest és un sistema elemental, capaç de reproduir i copiar fitxers d'imatge, so i vídeo provinents del mateix sistema, d'un dispositiu extern com per exemple un disc òptic o una memòria flash, i també d'altres sistemes connectats en xarxa. El programari és de codi obert, està desenvolupat per funcionar amb el sistema operatiu Linux i està implementat amb Java. Es realitza una aplicació escalable per facilitar l’addició de funcionalitats.

En el Centre d'Investigació en Robòtica Submarina (CIRS) de la Universitat de Gironaes disposa de diferents robots submarins els quals utilitzen una arquitectura software anomenada Component Oriented Layered-based Architecture for Autonomy ( COLA2 ), la qual ha estat desenvolupada per estudiants i professors del mateix centre. Per tal de fer aquesta arquitectura més accessible per a professors i estudiant d’altres centres la COLA2 s’està adaptant al Robot Operative System (ROS) que és un framework genèric per al desenvolupament d’aplicacions amb robots. Aquest projecte pretén dissenyar un comportament per al robot Girona500 que estigui desenvolupat dins la versió ROS de l’arquitectura COLA2. El comportament haurà de fer mantenir una determinada posició al robot amb informació visual de la càmera del robot i amb dades de navegació. La tasca de mantenir la posició es de vital importància per a poder realitzar intervencions submarines que requereixen de precisió i, precisament, el medi on es treballa no ajuda

Implementación y estudio de un framework de persistencia como solución a una problemática concreta. Implementation and study of a persistence framework as a solution to a specific problem. Implementació i estudi d'un framework de persistència com a solució a una problemàtica concreta.

The growing size and complexity of software systems, together with critical time-to-market needs, demand new software engineering approaches for software development. To remain competitive, organizations are challenged to make informed and feasible value-driven design decisions in order to ensure the quality of the systems. However, there is a lack of support for evaluating the economic impact of these decisions with regard to software reference architectures. This damages the communication among architects and management, which can result in poor decisions. This paper aims at opening a path in this direction by presenting a pragmatic preliminary economic model to perform cost-benefit analysis on the adoption of software reference architectures as key asset for optimizing architectural decision-making. A preliminary validation based on a retrospective study showed the ability of the model to support a cost-benefit analysis presented to the management of an IT consulting company.

Avui en dia, una bona il·luminació vial és molt important, tant per als conductors com per als vianants. Els fanals o conjunts òptics estan compostos per una font de llum que és la làmpada, el reflector i la carcassa que els protegeix. Trobar la forma exacta d’un reflector amb unes propietats òptiques en particular és de gran importància en el sector luminotècnic. En aquest projecte es vol dissenyar i desenvolupar una sistema capaç d’ajudar a obtenir el reflector adequat, un programari que permeti dissenyar un reflector a partir d’una boca qualsevol, i mitjançant una làmpada, capturar la intensitat de llum que el reflector projecta sobre al terra o una superfície del carrer. L’aplicació desenvolupada vol facilitar el procés de selecció d’un bon reflector als enginyers luminotècnics

Implementación y estudio de un framework de persistencia como solución a una problemática concreta. Implementation and study of a persistence framework as a solution to a specific problem. Implementació i estudi d'un framework de persistència com a solució a una problemàtica concreta.

Desenvolupar una aplicació web en Java j2ee, i més concretament un cercador de formacions. Desarrollar una aplicación web en Java j2ee, y más concretamente un buscador de formaciones.

Gestión de los equipos asignados a un departamento/empresa. Management teams assigned to a department / company. Gestió dels equips assignats a un departament / empresa.

En este artículo presentamos los resultados de una Revisión Sistemática de la Literatura en el campo de la educación y el entrenamiento de habilidades convenientes para el Desarrollo Global de Software (DGS). Nuestro objetivo consiste en recopilar y estudiar las diferentes propuestas y estrategias empleadas en este campo que sean de utilidad tanto para profesionales como para investigadores y que permitan identificar las mejores prácticas que se deben cubrir para afrontar los problemas que conlleva el DGS. In this paper we present the results of a Systematic Literature Review in the field of Global Software Development (GSD) training and education. Our aim is to collect and study the various proposals and strategies employed in this field that may be useful for both professionals and researchers and to identify best practices that should be covered to address the problems that GSD entails. Este trabajo está financiado por el proyecto PEGASO/MAGO (Ministerio de Ciencia e Innovación MICINN y Fondos FEDER, TIN2009-13718-C02-01). También por los proyectos MEVALHE (HITO-09-126) y ENGLOBAS (PII2I09-0147-8235), financiados por la Consejería de Educación y Ciencia (Junta de Comunidades de Castilla-La Mancha), y Fondos FEDER, así como por GlOBALIA (PEII11-0291-5274) (Consejería de Educación y Ciencia, Junta de Comunidades de Castilla-La Mancha) y ORIGIN (IDI-2010043 (1-5)) financiado por CDTI y FEDER.

Taking into account the drawbacks presented above for each asset in the PABRE framework, the objectives of this thesis are: 1. Do a systematic review of the existent published works on reuse in Requirements Engineering stage, particularly on the use of patterns to achieve the reuse of requirements during Requirements Engineering. 2. Construction of a complete set of non-technical SRP that can be obtained from the Software Requirement Specifications (SRSs) corresponding to 6 real projects. 3. Study of the Content Management System domain and construction of some examples of functional SRP for this domain from the same 6 SRSs. 4. Check the validity of the current SRP metamodel for its suitability for non-technical and functional SRPs. 5. Validate the structure of SRPs (as it is the base of this thesis) and construct a survey which will be used to know what requirements engineers think about the usability of SRP catalogues in real projects in their different enterprises or organizations and if it will be applicable or not.

Aquest projecte final de carrera explica l'experiència d'un procés d'implantació de millora de processos en una organització que es dedica al desenvolupament de software. La millora s'ha dut a terme sota el paradigma del model de maduresa i capacitat CMMI-DEV v1.3. En els deu mesos de duració del projecte, s'han definit pràctiques relatives a les àrees de procés de nivell 2 de CMMI-DEV, s'ha definit una metodologia de desenvolupament específica per a l'organització, i s'ha dut a terme el desplegament dels productes i processos desenvolupats. La millora ha situat a l'organització participant en un procés de millora continua i amb la possibilitat d'una avaluació formal per a l'obtenció d'una acreditació de qualitat.

Commercial Off-The-Shelf (COTS) components selection is an activity that plays an increasingly crucial role in the delivery of software systems. We are using i*, specially Strategic Dependency models, for driving this activity. Software domains are modeled as actors, and the relationships among them and with external actors (people, other software systems, organizations, etc.) are represented using the concept of dependency. While providing some satisfactory findings, our proposal has also given light to some interesting questions that we have tackled or are still dealing with, remarkably: Which are the foundations of COTS components selection? Which are the properties of interest when selecting COTS components and how do we formalize them? How do we build i* models in a consistent way? What is the precise meaning of the i* constructs that we use in our models? How do we organize the knowledge about the marketplace and how do we use this knowledge during selection? What type of tool-support is appropriate? In this chapter, we present our current state of research in the COTS components selection area and provide some partial answers to the questions above.

Disseny i implementació d'un programa que serveix com a base per a l'anàlisi de concordances, obert a futures ampliacions i modificacions. La memòria està estructurada de manera didàctica per tal de facilitar l'enteniment del que s'ha fet i com s'ha fet i proporciona una guia per a l'ampliació. Diseño e implementación de un programa que sirve como base para el análisis de concordancias, abierto a futuras ampliaciones y modificaciones. La memoria está estructurada de manera didáctica para facilitar el entendimiento de lo que se ha hecho y cómo se ha hecho y proporciona una guía para su ampliación. Design and implementation of an application software that serves as the basis for the analysis of linguistic concordances, and which is open to future extensions and modifications. The paper is organised in an educational way for better understanding what has been done and how it has been done and provides a guide for further development.