ICSR
2009
Springer
13 years 2 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
AIR
2005
13 years 4 months ago
2005
As software organisations mature, their repositories of reusable software components from previous projects will also grow considerably. Remaining conversant with all components in...
ENTCS
2007
13 years 4 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
CASCON
1996
13 years 5 months ago
1996
: This paper presents an approach for defining evaluation criteria for reusable software components. We introduce a taxonomy of factors that influence selection, describe each of t...
IPPS
1999
IEEE
13 years 8 months ago
1999
IEEE
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...