Conducting Requirements Evolution by Replacing Components in the Current System

As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, we propose a method to support requirements evolution by replacing a component with another component, and by changing the current requirements so as to adapt to the new component. To explore the possibilities of such a replacement, we use the technique of specification matching. To change the current requirements, we modify the structure by following the concept of Design by Contract.ArticleProceedings : sixth Asia-Pacific Software Engineering Conference. 224-227 (1999)conference pape

Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Valuing flexibility in the migration to flexible-grid networks

Increasing network demand is expected to put pressure on the available capacity in core networks. Flexible optical networking can now be installed to increase network capacity in light of future traffic demands. However, this technology is still in its infancy and might lack the full functionality that may appear within a few years. When replacing core network equipment, it is therefore important to make the right investment decision between upgrading toward flexible-grid or fixed-grid equipment. This paper researches various installation options using a techno-economic analysis, extended with real option insights, showing the impact of uncertainty and flexibility on the investment decision. By valuing the different options, a correct investment decision can be made

Strengthening the Scientific Foundations of Professional Psychology: Time for the Next Steps

The field of professional psychology has been tremendously successful, although it has also been characterized by many competing preparadigmatic theoretical orientations, which have led to a great deal of contention as well as conflicting views regarding psychological development, functioning, and behavior change. There is now widespread agreement regarding scientific explanations of many psychological processes, however, and, consequently, it is time to update the basic conceptual frameworks used for professional psychology education and practice. Replacing the traditional reliance on an array of theoretical orientations with a science-based biopsychosocial framework would resolve many of the contradictions and conflicts that characterized the preparadigmatic era and would also provide a common perspective for unifying psychologists around a shared approach to practice, research, and training

Modular lightweight components for peripheral e-mobility solutions

Based on a comprehensive prototype, the researchers at the Otto von Guericke University systematically investigate components and system solutions within a project regarding the interplay of electric vehicles and range extenders. In consideration of the electric vehicle, named Editha, different operating strategies for the use of range extenders in the predominant application field of electric mobility were tested. The principal objectives of the project are to determine appropriate operating strategies for the use of a range extender and operating characteristics for an optimal system configuration of existing or future engine technology in combination with the respective generator technology. Thus, sensible and expedient combinatorics with regard to weight and performance criteria arises. This project aims at gaining an overall understanding of the interplay between automotive and alternative energy generation based on the prototype and the exemplary design of both power trains

Entanglement generation in persistent current qubits

In this paper we investigate the generation of entanglement between two persistent current qubits. The qubits are coupled inductively to each other and to a common bias field, which is used to control the qubit behaviour and is represented schematically by a linear oscillator mode. We consider the use of classical and quantum representations for the qubit control fields and how fluctuations in the control fields tend to suppress entanglement. In particular, we demonstrate how fluctuations in the bias fields affect the entanglement generated between persistent current qubits and may limit the ability to design practical systems.Comment: 7 pages, 4 figures, minor changes in reply to referees comment

The axisymmetric antidynamo theorem revisited

The axisymmetric kinematic dynamo problem is reconsidered and a number of open questions are answered. Apart from axisymmetry and smoothness of data and solution we deal with this problem under quite general conditions, i.e. we assume a compressible fluid of variable (in space and time) conductivity moving in an arbitrary (axisymmetric) domain. We prove unconditional, pointwise and exponential decay of magnetic field and electric current to zero. The decay rate of the external (meridional) magnetic field can become very small (compared to free decay) for special flow fields and large magnetic Reynolds numbers. We give an example of that. On the other hand, we show for fluids with weak variation of mass density and conductivity that the meridional and azimuthal decay rates do not drop significantly below those of free decay.Comment: Revised version, 28 pages, 1 figur