软件需求工程--方法及工具评述

文中从需求工程的基本概念和研究内容出发，简单介绍了需求工程生命周期和需求规范等概念；比较全面地总结了现有的有代表性的需求工程开发方法和工具，对其中一些重要的方法及工具作了分类和评述，并指出了需求工程方法和工具开发与实际领域相脱离等不足之处；最后探讨了需求工程研究现状中存在的一些主要问题及一些相应的解决方案

基于ISO9001和CMM的软件需求管理的研究

软件需求的定义比较多，各种定义之间比较容易混淆，学术界倾向于把整个需求范围称之为“需求工程”。从软件工程角度来讲，把整个软件需求研究领域划分为“需求开发”和“需求管理”比较合适。图1表明了需求开发和需求管理在整个需求工程中的关系。

Monitoring the performance of aerodrome ground lighting

This article provides an overview of a novel prototype device that can be used to aid airports in monitoring their landing lighting. Known as Aerodrome Ground Lighting (AGL), the device is comprised of a camera that is capable of capturing images of landing lighting as aircraft approach the airport. AGL is designed to automatically examine landing lighting to assess if it is operating under uniform brightness standards (i.e., luminous intensity of luminares) that aviation governing bodies require. A detailed discussion of the hardware and software requirements of AGL -- currently under joint development by researchers at Queens University Belfast and Cobham Flight Inspection Limited -- is presented. Results from the research indicate that assessing the performance of both ground-based runway luminaries and elevated approach luminaries is possible, though further testing is needed for full validation.

Personalized public transportation information

Thesis to obtain the Master of Science Degree in Computer Science and Engineering

Uso de modelos i* para enriquecer requisitos em métodos ágeis

The activity of requirements engineering is seen in agile methods as bureaucratic activity making the process less agile. However, the lack of documentation in agile development environment is identified as one of the main challenges of the methodology. Thus, it is observed that there is a contradiction between what agile methodology claims and the result, which occurs in the real environment. For example, in agile methods the user stories are widely used to describe requirements. However, this way of describing requirements is still not enough, because the user stories is an artifact too narrow to represent and detail the requirements. The activities of verifying issues like software context and dependencies between stories are also limited with the use of only this artifact. In the context of requirements engineering there are goal oriented approaches that bring benefits to the requirements documentation, including, completeness of requirements, analysis of alternatives and support to the rationalization of requirements. Among these approaches, it excels the i * modeling technique that provides a graphical view of the actors involved in the system and their dependencies. This work is in the context of proposing an additional resource that aims to reduce this lack of existing documentation in agile methods. Therefore, the objective of this work is to provide a graphical view of the software requirements and their relationships through i * models, thus enriching the requirements in agile methods. In order to do so, we propose a set of heuristics to perform the mapping of the requirements presented as user stories in i * models. These models can be used as a form of documentation in agile environment, because by mapping to i * models, the requirements will be viewed more broadly and with their proper relationships according to the business environment that they will meet

The 3C cooperation model applied to the classical requirement analysis

Aspects related to the users' cooperative work are not considered in the traditional approach of software engineering, since the user is viewed independently of his/her workplace environment or group, with the individual model generalized to the study of collective behavior of all users. This work proposes a process for software requirements to address issues involving cooperative work in information systems that provide distributed coordination in the users' actions and the communication among them occurs indirectly through the data entered while using the software. To achieve this goal, this research uses ergonomics, the 3C cooperation model, awareness and software engineering concepts. Action-research is used as a research methodology applied in three cycles during the development of a corporate workflow system in a technological research company. This article discusses the third cycle, which corresponds to the process that deals with the refinement of the cooperative work requirements with the software in actual use in the workplace, where the inclusion of a computer system changes the users' workplace, from the face to face interaction to the interaction mediated by the software. The results showed that the highest degree of users' awareness about their activities and other system users contribute to a decrease in their errors and in the inappropriate use of the system.

Lightweight compilation of (C)LP to JavaScript

We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.

Realización de Mapa Estratégico de Ruido de las Carreteras de la Red del Estado (A-3 - zona Campus Sur de la U.P.M.)

En cumplimiento de la Directiva 2002/49/CE en lo referente a carreteras, se han llevado a cabo en España, en el año 2007, los mapas estratégicos de ruido (MER) de los grandes ejes viarios de más de 6 millones de vehículos / año (datos 2006). En esta categoría se encuentra la carretera A-3 a su paso por el Campus Sur de la U.P.M. De acuerdo con el pliego de prescripciones técnicas, estos MER se dividen en fase A o de estudio básico y fase B o de estudio de detalle. En el proyecto denominado “Realización de Mapa Estratégico de Ruido de las carreteras de la Red del Estado (A-3 - Zona Campus sur de la U.P.M.)” se muestran los resultados de información pública de fase A del Mapa Estratégico de Ruido (MER) para la carretera A-3 en la Comunidad de Madrid. Teniendo en cuenta dichos resultados y la no elección del Campus Sur en la fase B (detalle) de dicho MER; en el presente proyecto se realiza el Mapa Estratégico de fase B del Campus Sur de la U.P.M. para el gran ejes viarios (A-3), de cumplimiento de la Directiva 2002/49/CE y siguiendo las indicaciones del pliego de prescripciones técnicas para esta primera fase de entregas de 2007 y utilizando para ello Sistemas de Información Geográfica (SIG). Se justifica, según los resultados obtenidos, si hubiera sido necesaria su inclusión en esta fase de estudio. Una vez establecidas las diferencias entre Mapa Estratégico de Ruido (MER) y Mapa de Ruido (MR), se analizan los diversos criterios técnicos que debe tomar un consultor acústico durante la realización de un MER y cómo estos pueden afectar al resultado final siendo todos ellos válidos pero creando una falta de homogeneidad entre los diferentes MER según el autor del estudio. Se describen las diferentes acciones que se están tomando tras la entrega de 2007 para intentar solucionar este problema de cara a las nuevas entregas. ABSTRACT: The environmental Noise Directive 2002/49/EC has clear requirements to Member States in terms of Strategic Noise Maps according to roads. So, have been carried out in Spain, in 2007, Strategic Noise Maps of the major roads which have more than six million vehicle passages a year (2006 data) where the A-3 road near “Campus Sur U.P.M.” is included. In accord with the statement of technical requirements, these Strategic Noise Maps are divided into A phase (Basic study) and B phase (detailed study). The present project by the name of "Implementation of Strategic Noise Map of Spanish Roads (A-3 – Campus Sur U.P.M. area)" shows the results of Strategic Noise Map for the A-3 in the Community of Madrid (A phase, public information – EGRA project Spanish Ministry of Transport). According to de study results and the not election of “Campus Sur” to B phase (detail), in this project has been made the B phase of Strategic Map in compliance with Directive 2002/49/EC, following the technical requirements specifications for the first phase of deliveries (2007) and using Geographic Information Systems (GIS) to carry on them. Is justified, in accordance with the results, if it was necessary to include “Campus Sur” in this B phase of study. Once established the differences between Strategic Noise Map and Noise Map, the present project examines the technical criteria that must take an acoustic consultant for the realization of a Strategic Map and how these criteria could affect the quality of the final results being all of them valid but it generate a lack of homogeneity between the different Strategic Noise Map by the author of the study. There wasn’t so much experience in Spain in the methodology proposed by the European Noise Directive. The actions that are being taken after delivery of 2007 to try to solve this problem and get harmonized the results among the whole network for the new deliveries each five years are shown at the present project.

Large Numerical Models in Continuous Hybrid Simulation

Hybrid simulation is a technique that combines experimental and numerical testing and has been used for the last decades in the fields of aerospace, civil and mechanical engineering. During this time, most of the research has focused on developing algorithms and the necessary technology, including but not limited to, error minimisation techniques, phase lag compensation and faster hydraulic cylinders. However, one of the main shortcomings in hybrid simulation that has pre- vented its widespread use is the size of the numerical models and the effect that higher frequencies may have on the stability and accuracy of the simulation. The first chapter in this document provides an overview of the hybrid simulation method and the different hybrid simulation schemes, and the corresponding time integration algorithms, that are more commonly used in this field. The scope of this thesis is presented in more detail in chapter 2: a substructure algorithm, the Substep Force Feedback (Subfeed), is adapted in order to fulfil the necessary requirements in terms of speed. The effects of more complex models on the Subfeed are also studied in detail, and the improvements made are validated experimentally. Chapters 3 and 4 detail the methodologies that have been used in order to accomplish the objectives mentioned in the previous lines, listing the different cases of study and detailing the hardware and software used to experimentally validate them. The third chapter contains a brief introduction to a project, the DFG Subshake, whose data have been used as a starting point for the developments that are shown later in this thesis. The results obtained are presented in chapters 5 and 6, with the first of them focusing on purely numerical simulations while the second of them is more oriented towards a more practical application including experimental real-time hybrid simulation tests with large numerical models. Following the discussion of the developments in this thesis is a list of hardware and software requirements that have to be met in order to apply the methods described in this document, and they can be found in chapter 7. The last chapter, chapter 8, of this thesis focuses on conclusions and achievements extracted from the results, namely: the adaptation of the hybrid simulation algorithm Subfeed to be used in conjunction with large numerical models, the study of the effect of high frequencies on the substructure algorithm and experimental real-time hybrid simulation tests with vibrating subsystems using large numerical models and shake tables. A brief discussion of possible future research activities can be found in the concluding chapter.

Approche basée sur des patrons pour concevoir des logiciels d’enseignement adaptés aux technologies du Web

Les applications Web en général ont connu d’importantes évolutions technologiques au cours des deux dernières décennies et avec elles les habitudes et les attentes de la génération de femmes et d’hommes dite numérique. Paradoxalement à ces bouleversements technologiques et comportementaux, les logiciels d’enseignement et d’apprentissage (LEA) n’ont pas tout à fait suivi la même courbe d’évolution technologique. En effet, leur modèle de conception est demeuré si statique que leur utilité pédagogique est remise en cause par les experts en pédagogie selon lesquels les LEA actuels ne tiennent pas suffisamment compte des aspects théoriques pédagogiques. Mais comment améliorer la prise en compte de ces aspects dans le processus de conception des LEA? Plusieurs approches permettent de concevoir des LEA robustes. Cependant, un intérêt particulier existe pour l’utilisation du concept patron dans ce processus de conception tant par les experts en pédagogie que par les experts en génie logiciel. En effet, ce concept permet de capitaliser l’expérience des experts et permet aussi de simplifier de belle manière le processus de conception et de ce fait son coût. Une comparaison des travaux utilisant des patrons pour concevoir des LEA a montré qu’il n’existe pas de cadre de synergie entre les différents acteurs de l’équipe de conception, les experts en pédagogie d’un côté et les experts en génie logiciel de l’autre. De plus, les cycles de vie proposés dans ces travaux ne sont pas complets, ni rigoureusement décrits afin de permettre de développer des LEA efficients. Enfin, les travaux comparés ne montrent pas comment faire coexister les exigences pédagogiques avec les exigences logicielles. Le concept patron peut-il aider à construire des LEA robustes satisfaisant aux exigences pédagogiques ? Comme solution, cette thèse propose une approche de conception basée sur des patrons pour concevoir des LEA adaptés aux technologies du Web. Plus spécifiquement, l’approche méthodique proposée montre quelles doivent être les étapes séquentielles à prévoir pour concevoir un LEA répondant aux exigences pédagogiques. De plus, un répertoire est présenté et contient 110 patrons recensés et organisés en paquetages. Ces patrons peuvent être facilement retrouvés à l’aide du guide de recherche décrit pour être utilisés dans le processus de conception. L’approche de conception a été validée avec deux exemples d’application, permettant de conclure d’une part que l’approche de conception des LEA est réaliste et d’autre part que les patrons sont bien valides et fonctionnels. L’approche de conception de LEA proposée est originale et se démarque de celles que l’on trouve dans la littérature car elle est entièrement basée sur le concept patron. L’approche permet également de prendre en compte les exigences pédagogiques. Elle est générique car indépendante de toute plateforme logicielle ou matérielle. Toutefois, le processus de traduction des exigences pédagogiques n’est pas encore très intuitif, ni très linéaire. D’autres travaux doivent être réalisés pour compléter les résultats obtenus afin de pouvoir traduire en artéfacts exploitables par les ingénieurs logiciels les exigences pédagogiques les plus complexes et les plus abstraites. Pour la suite de cette thèse, une instanciation des patrons proposés serait intéressante ainsi que la définition d’un métamodèle basé sur des patrons qui pourrait permettre la spécification d’un langage de modélisation typique des LEA. L’ajout de patrons permettant d’ajouter une couche sémantique au niveau des LEA pourrait être envisagée. Cette couche sémantique permettra non seulement d’adapter les scénarios pédagogiques, mais aussi d’automatiser le processus d’adaptation au besoin d’un apprenant en particulier. Il peut être aussi envisagé la transformation des patrons proposés en ontologies pouvant permettre de faciliter l’évaluation des connaissances de l’apprenant, de lui communiquer des informations structurées et utiles pour son apprentissage et correspondant à son besoin d’apprentissage.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Analyzing requirements and approaches for sourcing software based services

Increasingly, software is no longer developed as a single system, but rather as a smart combination of so-called software services. Each of these provides an independent, specific and relatively small piece of functionality, which is typically accessible through the Internet from internal or external service providers. To the best of our knowledge, there are no standards or models that describe the sourcing process of these software based services (SBS). We identify the sourcing requirements for SBS and associate the key characteristics of SBS (with the sourcing requirements introduced). Furthermore, we investigate the sourcing of SBS with the related works in the field of classical procurement, business process outsourcing, and information systems sourcing. Based on the analysis, we conclude that the direct adoption of these approaches for SBS is not feasible and new approaches are required for sourcing SBS.

Analyzing requirements and approaches for sourcing software based services

Increasingly, software is no longer developed as a single system, but rather as a smart combination of so-called software services. Each of these provides an independent, specific and relatively small piece of functionality, which is typically accessible through the Internet from internal or external service providers. There are no standards or models that describe the sourcing process of these software based services (SBS). The authors identify the sourcing requirements for SBS and associate the key characteristics of SBS (with the sourcing requirements introduced). Furthermore, this paper investigates the sourcing of SBS with the related works in the field of classical procurement, business process outsourcing, and information systems sourcing. Based on the analysis, the authors conclude that the direct adoption of these approaches for SBS is not feasible and new approaches are required for sourcing SBS.