Documenting framework behavior
Neelam Soundarajan · ACM Computing Surveys · 2000
: Object-Oriented frameworks must be equipped with appropriate documentation; otherwise application developers will be forced to go through the code of the framework they are using in order to see how to use it, thereby minimizing the advantages of frameworks. We point out the need for a new approach to the specification of the behavior of frameworks, outline a possible approach, and briefly consider how an application developer can combine a framework specification of the type proposed with appropriate information about the code he supplies to arrive at a specification of his particular application. Categories: D.1.5 [Object-oriented programming], D.2.1 [Requirements/Specifications]. General Terms: Design, Documentation Additional Key Words and Phrases: Specifying object oriented framework behavior, Invariants over traces of method calls. 1. Motivation Object-Oriented Frameworks can dramatically reduce the time and effort needed to develop complete applications, with the applicat...