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 Gastinger | 1 | 3 | 1.12 |
Rolf Hennicker | 2 | 832 | 83.55 |
Robert Stabl | 3 | 12 | 1.91 |