Alternatively, the main findings against aspectual decompositions were:
(i) The use of size measures was helpful to show that the AO implementations
of design by contract have not presented signi¯cant gains regarding four classical
size metrics, for example, the AO implementations of DbC increased the
number of lines of code and the number of operations of the studied target
system throughout the maintenance scenarios;
(ii) Although invasive modi¯cation was more frequent in the OO solutions, the AO
modifications tended to propagate to unrelated modules when performing OO
refactoring changes;
(iii) In general the aspectization of design by contract has shown no improvement
when dealing with heterogenous contracts.
preconditions.