Requirements Validation Through Viewpoint Resolution

IEEE Transactions on Software Engineering

Volumn 17, Issue 12, 1991, Pages 1253-1269

  Sampaio do Prado Leite, Julio Cesar ^a   Freeman, Peter A ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

elicitation; requirements analysis; Requirements engineering; validation; viewpoint analysis; viewpoint resolution

Indexed keywords

SYSTEMS SCIENCE AND CYBERNETICS - HEURISTIC PROGRAMMING;

ANALOGY HEURISTICS; CONFLICTS RESOLUTION; REQUIREMENTS ELICITATION; REQUIREMENTS ENGINEERING; REQUIREMENTS VALIDATION; VIEWPOINT RESOLUTION;

COMPUTER SOFTWARE;

EID: 0026399119     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.106986     Document Type: Article

References (31)

1. B. W. Boehm, “A spiral model of software development,” IEEE Computer, pp. 61-72, May 1988.
2. M. Burstin, “Requirements analysis of large software systems,” Ph.D. diss., Tel-Aviv Univ., Israel, 1984.
3. M. Feather, “Detecting interference when merging specification evolutions,” in Proc. 5th Int. Workshop 011 Software Specification and Design (Pittsburgh, PA). Los Alamitos, CA: IEEE Computer Soc. Press, 1989, pp. 169-176.
4. A. Finkelstein and H. Fuchs, “Multiparty specification,” in5th Int. Workshop on Software Specification and Design (Pittsburgh. PA). Los Alamitos, CA: IEEE Computer Soc. Press, 1989, pp. 185-195.
5. A. Finkelstein and R. Waters, “Summary of the requirements elicitation, analysis and formalization track.” ACM S!GSOFT, vol. 14, no. 5, p. 40, July 1989.
6. S. Fickas, “Automating the analysis process: an example,” in 4th Int. Workshop on Software Specification and Design (Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 58-67.
7. P. Freeman, Software Perspectives: The System is the Message. Reading, MA: Addison Wesley, 1987.
8. P. Freeman and J. C. S. P. Leite, “Requirements techniques and languages: a survey,” Dept. Computer Sci., Univ. California, Irvine, 1988.
9. C. Gane and T. Sarson, Structured Systems Analysis: Tools and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1979.
10. S. Greenspan, “Requirements modeling: a knowledge representation approach to software requirements definition Ph.D. thesis,” Computer Res. Group, Univ. Toronto, Mar. 1984.
11. R. Hall, “Computational approaches to analogical reasoning: a comparative analysis,” Artificial Intel/., vol. 21, no. 1, pp. 241-250, Jan. 1988.
12. E. Horowitz, A. Kemper, and B. A. Narasimhan, “Survey of application generators,” IEEE Computer, vol. 18, no. 1, pp. 40-54, Jan. 1985.
13. C. Jones, Systematic Software Development Using VDM. Englewood Cliffs, NJ: Prentice-Hall, 1986.
14. R. Kowalski, “Software engineering and artificial intelligence in new generation computing,” presented at an Award Lecture in London, May 15, 1984.
15. S. Ohlsson and P. Langley, “PRISM: tutorial and manual,” Dept. Computer Sci., Univ. California, Irvine, Tech. Rep. 86–02, Feb. 1986.
16. S. Lee and S. Sluizer, “SXL: an executable language,” in Proc. 4th Int. Workshop on Software Specification and Design (Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 231–235.
17. J. Leite, “Viewpoint analysis: a case study,” in Proc. 5th Int. Workshop on Software Specification and Design (Pittsburgh, PA). Los Alamitos, CA: IEEE Computer Soc. Press, 1989, pp. 111-119.
18. J. Leite, “Viewpoint resolution in requirements elicitation,” Ph.D. thesis, Dept. Computer Sci., Univ. California, Irvine, 1988.
19. G. Mullery, “CORE—a method for controlled requirement specification,” in Proc. 4th Int. Conf. on Software Eng. Los Alamitos, CA: IEEE Computer Soc. Press, 1979, pp. 126–135.
20. C. Niskier T. Maibaum, and D. A. Schwabe, “Look through PRISMA: toward pluralistic knowledge-based environments,” in Proc. 5th Int. Workshop on Software Specification and Design (Pittsburgh, PA). Los Alamitos, CA: IEEE Computer Soc. Press, 1989, 128–136.
21. M. Ould and C. Vuwin, Testing in Software Development. Cambridge, UK: British Computer Soc. and Cambridge Univ. Press, 1986
22. “Requirement specification,” in Proc. 4th Int. Conf. on Software Eng. Los Alamitos, CA: IEEE Computer Soc. Press, 1979, pp. 126–135.
23. E. Rich, Artificial Intelligence. New York: McGraw-Hill, 1983.
24. C. Rich, R. Waters, and H. Reubenstein, “Towards a requirements apprentice,” in Proc. 4th Int. Workshop on Software Specification and Design (Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, 79–86.
25. W. Robinson, “Integrating multiple specifications using domain goals,” in Proc. 5th Int. Workshop on Software Specification and Design (Pittsburgh, PA). Los Alamitos, CA: IEEE Computer Soc. Press, 1989, pp. 219–226.
26. D. Ross, “Structured Analysis (SA): a language for communicating ideas,” in Tutorial on Design Techniques, P. Freeman and M. Wasserman, Eds. Long Beach, CA: IEEE Computer Soc. Press, 1980, pp. 107–125.
27. “Special issue on rapid prototyping,” SIGSOFT, Dec. 1982.
28. G. Steele and G. Sussman, “The revised report on Scheme, a Dialect of LISP,” MIT, Cambridge, Tech. Rep. Al Memo. No. 452, Jan. 1978.
29. J. Wing, “A Larch specification of the library problem,” in Proc. 4th Int. Workshop on Software Specification and Design (Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 34–41.
30. J. Wing, “A study of 12 specifications of the library problem,” IEEE Software, vol. 5, pp. 66–76, July 1988.
31. K. Yue, “What does it mean to say that a specification is complete?,” in Proc. 4th Int. Workshop on Software Specification and Design (Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 42–49.