Dependable software architectures determine the method of integrating a fault tolerance technique with a given system in order to make the system dependable. Dependable architectures demonstrably possess properties such as safety, security, and fault tolerance. Enriching software architecture...

This book emphasizes the importance of validation and verification in the modernization of systems that are critical to safety, security, and economic profits. Containing integration analyses to control the evolution of legacy systems towards object oriented technologies, this publication...

We study an endogenous growth model where a profit-motivated R and D sector coexists with the introduction of free blueprints invented by philanthropists. These goods are priced at marginal cost, contrary to proprietary ones which are produced by a monopoly owned by the inventor. We show that...

There is considerable debate regarding the use of intellectual property rights (IPR) to spur innovation in the software industry. In this paper we focus on the choice of intellectual property right regimes and industry growth. We begin by developing a growth optimal mixture of open source and...