An object-oriented tool for tracing requirements

It is widely agreed that tracing requirements is essential in developing large systems. Tracing helps in verifying system features against requirements, in identifying error sources, and most significantly, in managing change, which is pervasive and continuous in software development. We describe a tool called TOOR (Traceability of Object Oriented Requirements) that is based on principles from hyperprogramming (J. Goguen, 1990) and hyperrequirements (J. Goguen and Luqi, 1995), and is motivated by the considerations about context and information discussed by J. Goguen (1996), and about the importance of the social discussed by J. Goguen (1994). TOOR uses the sophisticated module system of FOOPS (J. Goguen, 1987) for flexibility, reuse and object orientation