Classification of research efforts in requirements engineering

ACM Computing Surveys

Volumn 29, Issue 4, 1997, Pages 315-321

  Zave, Pamela ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ENGINEERING RESEARCH; FORMAL LANGUAGES; SOFTWARE PROTOTYPING;

EMBEDDED SYSTEMS; REQUIREMENTS ENGINEERING; SAFETY CRITICAL SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0031385980     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/267580.267581     Document Type: Article

References (39)

1. ALFORD, M. W. 1977. A requirements engineering methodology for real-time processing requirements. IEEE Trans. Softw. Eng. III, 1 (Jan.) 60-69.
2. CHUNG, L. AND NIXON, B. A. 1995. Dealing with non-functional requirements: Three experimental studies of a process-oriented approach. In Proceedings of the Seventeenth International Conference on Software Engineering, ACM Press, ACM, New York, NY, 25-37.
3. COEN-PORISINI, A., KEMMERER, R. A., AND MANDRIOLI, D. 1994. A formal framework for ASTRAL intralevel proof obligations. IEEE Trans. Softw. Eng. XX, 8 (Aug.) 548-561.
4. DARDENNE, A., VAN LAMSWEERDE, A., AND FICKAS, S. 1993. Goal-directed requirements acquisition. Science of Computer Programming XX, 3-50.
5. Du BOIS, P., DUBOIS, E., AND ZEIPPEN, J.-M. 1997. On the use of a formal RE language: The generalized railroad crossing problem. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7740-6, 128-137.
6. EASTERBROOK, S. 1992. Domain modelling with hierarchies of alternative viewpoints. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 65-72.
7. FEATHER, M. S. 1987. Language support for the specification and development of composite systems. ACM Trans. Program. Lang. Syst. IX, 2 (Apr.), 198-234.
8. FICKAS, S. AND FEATHER, M. S. 1995. Requirements monitoring in dynamic environments. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7017-7, 140-147.
9. GOGUEN, J. A. AND LINDE, C. 1992. Techniques for requirements elicitation. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 152-164.
10. HARRISON, M. AND BARNARD, P. 1992. On defining requirements for interaction. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 50-54.
11. HEIMDAHL, M. P. E. AND LEVESON, N. G. 1996. Completeness and consistency in hierarchical state-based requirements. IEEE Trans. Softw. Eng. XXII, 6 (June), 363-377.
12. HEITMEYER, C. L., JEFFORDS, R. D., AND LABAW, B. G. 1996. Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Method. V, 3 (July) 231-261.
13. HENINGER, K. L. 1980. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Softw. Eng. VI, 1 (Jan.) 2-13.
14. ISHIHARA, Y., SEKI, H., AND KASAMI, T. 1992. A translation method from natural language specifications into formal specifications using contextual dependencies. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 232-239.
15. JACKSON, M. 1983. System Development. Prentice-Hall International.
16. JOHNSON, W. L. 1988. Deriving specifications from requirements. In Proceedings of the Tenth International Conference on Software Engineering, IEEE Computer Society, ISBN 0-8186-0849-8, 428-438.
17. LAM, W., MCDERMID, J. A., AND VICKERS, A. J. 1997. Ten steps towards systematic requirements reuse. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7740-6, 6-15.
18. DO PRADO LEITE, J. C. S. AND DE PADUA ALBUQUERQUE OLIVEIRA, A. 1995. A client oriented requirements baseline. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7017-7, 108-115.
19. LEFERING, M. 1992. An incremental integration tool between requirements engineering and programming in the large. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 82-89.
20. LOR, K.-W. E. AND BERRY, D. M. 1991. Automatic synthesis of SARA design models from system requirements. IEEE Trans. Softw. Eng. XVII, 12 (Dec.) 1229-1240.
21. LUBARS, M., POTTS, C., AND RICHTER, C. 1992. A review of the state of the practice in requirements modeling. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 2-14.
22. MAIDEN, N. A. M. AND SUTCLIFFE, A. G. 1992. Requirements engineering by example: An empirical study. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 104-111.
23. MATSON, J. E., BARRETT, B. E., AND MELLICHAMP, J. M. 1994. Software development cost estimation using function points. IEEE Trans. Softw. Eng. XX, 4 (Apr.) 275-287.
24. MUKHOPADHYAY, T. AND KEKRE, S. 1992. Soft-ware effort models for early estimation of process control applications. IEEE Trans. Softw. Eng. XVIII, 10 (Oct.) 915-924.
25. NUSEIBEH, B., KRAMER, J., AND FINKELSTEIN, A. 1994. A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans. Softw. Eng. XX, 10 (Oct.) 760-773.
26. PARNAS, D. L. AND CLEMENTS, P. C. 1986. A rational design process: How and why to fake it. IEEE Trans. Softw. Eng. XII, 2 (Feb.), 251-257.
27. PARNAS, D. L. AND MADEY, J. 1995. Functional documentation for computer systems engineering. Science of Computer Programming XXV (Oct.), 41-61.
28. PORTER, A. A., VOTTA, JR., L. G., AND BASILI, V. R. 1995. Comparing detection methods for software requirements inspections: A replicated experiment. IEEE Trans. Softw. Eng. XXI, 6 (June) 563-575.
29. RAMESH, B., POWERS, T., STUBBS, C., AND EDWARDS, M. 1995. Implementing requirements traceability: A case study. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7017-7, 89-95.
30. REUBENSTEIN, H. B. AND WATERS, R. C. 1991. The requirements apprentice: Automated assistance for requirements acquisition. IEEE Trans. Softw. Eng. XVII, 3 (Mar.) 226-240.
31. RYAN, K. AND MATHEWS, B. 1992. Matching conceptual graphs as an aid to requirements reuse. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 112-120.
32. SOMMERVILLE, I., RODDEN, T., SAWYER, P., BENTLEY, R., AND TWIDALE, M. 1992. Integrating ethnography into the requirements engineering process. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 165-173.
33. VAN SCHOUWEN, A. J., PARNAS, D. L., AND MADEY, J. 1992. Documentation of requirements for computer systems. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 198-207.
34. VAN LAMSWEERDE, A., DARIMONT, R., AND MASSONET, P. 1995. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7017-7, 194-203.
35. WEYUKER, E., GORADIA, T., AND SINGH, A. 1994. Automatically generating test data from a boolean specification. IEEE Trans. Softw. Eng. XX, 5 (May) 353-363.
36. YEN, J. AND TIAO, W. A. 1997. A systematic tradeoff analysis for conflicting imprecise requirements. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-7740-6, 87-96.
37. ZAVE, P. 1991. An insider's evaluation of PAIS-Ley. IEEE Trans. Softw. Eng. XVII, 3 (Mar.) 212-225.
38. ZAVE, P. AND JACKSON, M. 1993. Conjunction as composition. ACM Trans. Softw. Eng. Method. II, 4 (Oct.) 379-411.
39. ZAVE, P. AND SCHELL, W. M. 1986. Salient features of an executable specification language and its environment. IEEE Trans. Softw. Eng. XII, 2 (Feb.) 312-325.