Reusability --- in a top-down development style,
the SETS calculus can be used to horizontally
refine a given component and find isomorphic versions of its
sub-components in the repository.
In a bottom-up style,
SETS component aggregation can be expressed by
``software -circuit'' diagrams, using a graphical notation suggestively
resembling the conventional hardware notation:
But diagrams should never replace formalisms
--- every ``software -circuit'' has a proper semantics and is just a shorthand
for some piece of mathematics.