An object-oriented tool for tracing requirements

Author

Pinheiro, Francisco A C ; Goguen, J.A.

Author_Institution

Comput. Lab., Oxford Univ., UK

fYear

1996

fDate

15-18 Apr 1996

Firstpage

219

Abstract

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

Keywords

formal specification; object-oriented programming; program diagnostics; FOOPS; TOOR; Traceability of Object Oriented Requirements; change management; error sources; hyperprogramming; hyperrequirements; large systems; object orientation; object oriented tool; requirements tracing; software development; sophisticated module system; system features; Aging; Animation; Computer errors; Filling; Graphics; Laboratories; Object oriented programming;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering, 1996., Proceedings of the Second International Conference on

Conference_Location

Colorado Springs, CO

Print_ISBN

0-8186-7252-8

Type

conf

DOI

10.1109/ICRE.1996.491449

Filename

491449