Next:
2.1 What is Reuse
Up:
Reuse by Contract
Previous:
1 Background
2 Position
2.1 What is Reuse by Contract really?
2.2 Proof Tasks and Code Reuse
2.3 Significance
2.4 Benefits
2.5 Obstacles
2.6 Possible Solutions
Bernd Fischer and Gregor Snelting
Sept. 2, 1997
