This paper extends the concept of value-based software engineering as proposed by Boehm to the field of software maintenance. The various approaches to assessing the value of software products and to calculating the return of investment (ROI) on software projects are reviewed. The authors propose a methodology of value-driven software maintenance for assessing the value of software maintenance ...

Program transformation systems provide one means of formally deriving a program from its speciication. The main advantage of this development method is that the executable program is correct by construction. In this paper we describe a tool called ReForm which is designed to address the inverse problem to support the extraction of a speciication from existing program code, using transformations...

There is a general acceptance that software engineering research should be supported by empirical evaluation. To make real progress researchers must address the di culties caused by the human-intensive nature of software development as well as experimental validity. This paper proposes the use of multi-method empirical research programs, as an alternative to `single-shot' empirical studies, to ...

This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to al...

Design patterns in software engineering have been proven to offer great benefits, and scientific software is no exception. Especially as scientific software becomes more object-oriented, the importance of design patterns cannot be underestimated. We present a set of design patterns for scientific computing implemented in C++, apply them to two example object-oriented frameworks, and demonstrate...

Context: Assumptions are constantly made by stakeholders or generated automatically in software development. However, there is a lack of systematic analysis and comprehensive understanding of the research and practice regarding assumptions and their management. Objective: This work aims to explore and analyze the state of the art on assumptions and their management in software development. Meth...

Mixed-strategy supports generic design and enhances software changeability. The main motivation for building a mixed-strategy solution is to exploit opportunities offered by similarity patterns. By doing this, we gain extra levels of changeability, which matters in maintenance, and genericity, which matters in reuse. From the mixed-strategy perspective, there is no difference between maintainab...

Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, therefore a better understanding of software change is an important software engineering issue. This paper covers selected topics related to software change, including minicycle of change, partitioned annotations, and...

I n the past many decades, breakdown, maintenance and replacement issues of deteriorating machines and systems are extensively studied within the literature. A number of maintenance and replacement models, techniques and policies are created, documented and tested. However, of these models are comprised of some classes ∗M.Tech. Student, Department of Mechanical Engineering, Madhav Institute of ...

In many application domains embedded systems and the corresponding embedded software face an increase in sometimes mutually exclusive stakeholder needs like requests from different customers or national legal obligations. In order to meet these needs variability is explicitly designed into the embedded software. Nowadays, in the engineering process of embedded software the variability informati...