An object-oriented tool for tracing requirements

IEEE Software

Volumn 13, Issue 2, 1996, Pages 52-64

  Pinheiro, Francisco A C ^a,b,c   Goguen, Joseph A ^a,d,e,f,g,h  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b STATE UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^c UNIVERSITY OF BRASILIA   (Brazil)

^d UNIVERSITY OF CALIFORNIA   (United States)

^e Ctr for Requirements and Found

^f SRI INTERNATIONAL   (United States)

^g STANFORD UNIVERSITY   (United States)

^h UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DATABASE SYSTEMS; GRAPHICAL USER INTERFACES; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE ENGINEERING; SPECIFICATIONS; SYSTEMS ENGINEERING;

HYPERMEDIA; INTERACTIVE TRACE MODE; OBJECT ORIENTED SYSTEM DEVELOPMENT; SOFTWARE PACKAGE TOOR; TRACING REQUIREMENTS;

OBJECT ORIENTED PROGRAMMING;

EID: 0030105847     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.506462     Document Type: Article

References (10)

1. J. Goguen, "Requirements Engineering as the Reconciliation of Social and Technical Issues," in Requirements Engineering: Social and Technical Issues, M. Jirotka and J. Goguen, eds., Academic Press, San Diego, Calif., 1994, pp. 165-199.
2. J. Goguen, "The Dry and The Wet," in Information Systems Concepts, E. Falkenberg, C. Rolland, and E.N. El-Sayed, eds., Elsevier, North-Holland, 1992, pp. 1-17.
3. A. Socorro. Design, Implementation and Evaluation of a Declarative Object-Oriented Programming Language, doctoral dissertation, Oxford University Computing Laboratory, Oxford, UK, 1993.
4. J. Goguen and J. Messeguer, "Unifying Functional, Object-Oriented, and Relational Programming with Logical Semantics," in Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, eds., MIT Press, Cambridge, Mass., 1987, pp. 417-477.
5. R. Burstall and J. Goguen, "The Semantics of Clear, a Specification Language," Proc. 1979 Copenhagen Winter School on Abstract Software Specification, Springer-Verlag, Berlin, 1980, pp. 292-332.
6. J. Goguen, "Reusing and Interconnecting Software Components," Computer, Feb. 1986, pp. 16-28.
7. J. Goguen, "Principles of Parameterized Programming," in Software Reusability, Volume I: Concepts and Models, T. Biggerstaff and A. Perlis, eds., Addison-Wesley, Reading, Mass., 1989, pp. 159-225.
8. J. Goguen, "Hyperprogramming: A Formal Approach to Software Environments," Proc. Symp. Formal Approaches to Software Environment Technology, Joint System Development Corp., Tokyo, 1990.
9. Luqi and J. Goguen, "Formal Methods: Promises and Problems," IEEE Software, 1996, to appear.
10. F.A.C. Pinheiro, Design of a Hyper-Environment for Traceability of Object-Oriented Requirements in System Development, doctoral dissertation, Oxford University Computing Laboratory, Oxford, UK, to appear.