Title
Design of Modular Software Systems with Reuse
Abstract
A formal framework for the design of modular software systems is presented which incorporates the idea of reusing existing software components in new applications. The approach uses the representation of the development process of software as a graph and instantiates the notion of components as nodes and the notion of causal relations between these components as edges of the graph. A formal method for the systematic reuse of components is proposed. The method consists of five steps which describe how to construct for a given abstract system specification a modular implementation by reusing existing implementations available as leaves of appropriate reusable components. The retrieval of reusable components from a database particularly focuses on the correctness of software reuse. The presented method is supported by a system that covers the development and administration of components and relations in the development graph and the retrieval of components from the database.
Year
DOI
Venue
1995
10.1007/BFb0015458
KORSO Book
Keywords
Field
DocType
modular software systems,development process,software systems,software component,formal method
Software design,Domain engineering,Software engineering,Systems engineering,Computer science,Software system,Resource-oriented architecture,Component-based software engineering,Software construction,Software development,Software framework
Conference
ISBN
Citations 
PageRank 
3-540-60589-4
2
0.41
References 
Authors
4
3
Name
Order
Citations
PageRank
Stefan Gastinger131.12
Rolf Hennicker283283.55
Robert Stabl3121.91