Formalizing Reusable Software Components (opens in new tab)

Formalizing Reusable Software Components Rich, Charles; Waters, Richard C. There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. Unfortunately, there has been only limited success in actually doing this. We believe that the lack of success stems not from any resistance to the idea, nor from any lack of trying, but rather from the difficulty of choosing an appropriate formalism for representing components. In this...