In this work we propose an extension of the MooZ formal speciication language with support for parameterized packages. This enhances MooZ's capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ's structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classe...

This report presents a perspective on software reuse in the context of "ideal" software development capabilities. Software reuse is viewed as a means of achieving—or at least approximating—the ideal capabilities. A generic application and development model is proposed for unifying various types of software reuse. The model can be initially formulated as a project family architecture and produce...

Software reuse has been considered as a means to help solve the software development crisis. This paper surveys recent work based on the broad framework of software reusability research, and suggests directions for future research. We address general, technical, and nontechnical issues of software reuse, and conclude that reuse needs to be viewed in the context of a total systems approach. We a...

Software reuse has been recognised as an attractive idea with an obvious payoff to achieve software that is faster, better and cheaper. One important component to be highlighted in designing reusable object-oriented software is design patterns. Design patterns describe a commonly recurring structure of communicating components that solve a general design problem in a particular context. An impo...

The software product line (SPL) community defines SPLs not only by technical aspects like configurability and code reuse among product line variants, but also by the engineering process that accompanies the development. This paper discusses the question whether this engineering process is a mandatory property of SPLs; it concretely examines the Linux Kernel, which is not being developed accordi...

The analysis and measurement of current levels of software reuse are necessary to monitor improvements. This paper provides a framework for the derivation of measures of software reuse and introduces several de nitions, attributes, and abstractions of potentially measurable reuse properties. The framework is applied to the problem of measuring reuse in object oriented systems which support \lev...

We present an overview of some of the research being performed at the Norwegian Computing Center. We believe many of the problems related to software engineering in general and object-oriented development in particular result from too little attention being paid to the role of modelling, both in terms of how we understanding problems and how we attempt to solve them using software systems. We p...

The continuous demand for software of ever-increasing complexity will change our current approach to software development. In the future, the creation of software will apply increasing levels of automation to the development process. The application of componentware will become commonplace and development will move from the back office to the application user's workstation. All of these develop...

This paper argues that eecient, incremental cus-tomization of OS services can be achieved using a twofold strategy: an object-oriented architecture that relies on composition to facilitate code reuse and customiza-tion; and, an OS structure that places a minimal set of trusted functions into the kernel, with all remaining services collocated with application code in user-level protection domains.

Garment is a mechanism for abstraction and encapsu lation of languages It aims specially to make best sup port on the design and implementation of Domain Spe ci c Language DSL This approach opens some new prospects for reuse of software artifacts In this paper we include a brief introduction to Garment approach and a discussion of various possibilities of software reuse supported by the Garment...