Learn More
Most techniques used to assess the qualitative characteristics of software are done in testing phase of software development. Assessment of performance in the early software development process is particularly important for risk management. In this paper, we present a method based on interface automata and use queuing theory to predict software(More)
This paper introduces a formalism, called Viewcharts, for speciication and composition of software behavioral views. The objective is software behav-ioral requirements speciication independent of implementation. The paper claims that behavioral requirements of large-scale and complex systems can bedescribed formally as compositions of simple behavioral(More)
This paper presents a review and discussion of post-factum software systems integration. The problem is deened; the approaches and associated issues are discussed. Integration of redundant software components, developed using diverse software engineering methodologies, into a fault tolerant system is reviewed. Finally, a novel approach to fault tolerant(More)
Large-scale software systems, distributed or otherwise, are generally complex to describe, construct, manage, understand, and maintain. Current research approaches to reducing this complexity separate software structural and behavioral descriptions. It is important to study and analyze the behavioral as well as structural aspects of software systems. Much(More)
This paper introduces the idea of a software behav-ioural view: intuitively, this is a complete description of the behaviour of the system observable from a specific point of view. We believe that a fully developed methodology based on views would significantly reduce the complexity of creating and understanding software requirements. In this paper we take(More)