Four Dark Corners of Requirements Engineering

ACM Transactions on Software Engineering and Methodology

Volumn 6, Issue 1, 1997, Pages 1-30

  Zave, Pamela ^a   Jackson, Michael ^b  

^a AT AND T LABS RESEARCH   (United States)

^b AT and T Res and MAJ Consult Ltd   (United Kingdom)

Author keywords

Control of actions; Domain knowledge; Implementation bias; Refinement of requirements

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; INFORMATION SCIENCE; INFORMATION THEORY; TERMINOLOGY;

CONTROL OF ACTIONS; DOMAIN KNOWLEDGE; IMPLEMENTATION BIAS; REFINEMENT OF REQUIREMENTS; REQUIREMENTS ENGINEERING;

SOFTWARE ENGINEERING;

EID: 0030834984     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/237432.237434     Document Type: Article

References (47)

1. ABADI, M. AND LAMPORT, L. 1993. Composing specifications. ACM Trans. Program. Lang. Syst. 15, 1 (Jan.), 73-132.
2. ALPERN, B. AND SCHNEIDER, F. B. 1987. Recognizing safety and liveness. Distrib. Comput. 2, 117-126.
3. ATLEE, J. M. AND GANNON, J. 1993. Analyzing timing requirements. In Proceedings of the 1993 International Symposium on Software Testing and Analysis. Softw. Eng. Notes 18, 3 (July), 117-127.
4. BALZER, R. AND GOLDMAN, N. 1979. Principles of good software specification and their implications for specification language. In Proceedings of the Specifications of Reliable Software Conference. IEEE Computer Society, Washington, D.C., 58-67.
5. BRACHMAN, R. J., FIKES, R. E., AND LEVESQUE, H. J. 1983. Krypton: A functional approach to knowledge representation. IEEE Comput. 16, 10 (Oct.), 67-73.
6. BUBENKO, J. A., JR., Ed. 1983. On concepts and strategies for requirements and information analysis. In Information Modeling. Chartwell-Bratt, Bromley, England, 125-169.
7. CURTIS, B., KRASNER, H., AND ISCOE, N. 1988. A field study of the software design process for large systems. Commun. ACM 31, 11 (Nov.), 1268-1287.
8. DARDENNE, A., VAN LAMSWEERDE, A., AND FICKAS, S. 1993. Goal-directed requirements acquisition. Sci. Comput. Program. 20, 3-50.
9. DOBSON, J. E., BLYTH, A. J. C., CHUDGE, J., AND STRENS, R. 1994. The ORDIT approach to organisational requirements. In Requirements Engineering: Social and Technical Issues, M. Jirotka and J. A. Goguen, Eds. Academic Press, New York, 87-106.
10. DUBOIS, E., DU BOIS, PH., AND PETIT, M. 1993. O-O requirements analysis: An agent perspective. In Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 93). Lecture Notes in Computer Science, vol. 707. Springer-Verlag, 458-481.
11. FEATHER, M. S. 1987. Language support for the specification and development of composite systems. ACM Trans. Program. Lang. Syst. 9, 2 (Apr.), 198-234.
12. FEATHER, M. S. 1994. Towards a derivational style of distributed system design - An example. Automated Softw. Eng. 1, 1 (Mar.), 31-59.
13. FEATHER, M. S., FICKAS, S., AND HELM, B. R. 1991. Composite system design: The good news and the bad news. In Proceedings of the 6th Annual Knowledge-Based Software Engineering Conference. IEEE Computer Society, Washington, D.C., 16-25.
14. GRIES, D. AND SCHNEIDER, F. B. 1993. A Logical Approach to Discrete Math. Springer-Verlag, Berlin.
15. HAREL, D. 1987. Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 231-274.
16. HEITMEYER, C., BULL, A., GASARCH, C., AND LABAW, B. 1995a. SCR*: A toolset for specifying and analyzing requirements. In Proceedings of the 10th Annual Conference on Computer Assurance (COMPASS '95). IEEE, New York, 109-122.
17. HEITMEYER, C., LABAW, B., AND KISKIS, D. 1995b. Consistency checking of SCR-style requirements specifications. In Proceedings of the 2nd IEEE International Symposium on Requirements Engineering. IEEE Computer Society, Washington, D.C., 56-63.
18. HENINGER, K. L. 1980. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Softw. Eng. 6, 1 (Jan.), 2-13.
19. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall International, Chichester, U.K.
20. ISCOE, N., WILLIAMS, G. B., AND ARANGO, G. 1991. Domain modeling for software engineering. In Proceedings of the 13th International Conference on Software Engineering. IEEE Computer Society, Washington, D.C., 340-343.
21. JACKSON, D. 1995a. Structuring Z specifications with views. ACM Trans. Softw. Eng. Methodol. 4, 4 (Oct.), 365-389.
22. JACKSON, M. 1978. Information systems: Modelling, sequencing, and transformations. In Proceedings of the 3rd International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., 73-81.
23. JACKSON, M. 1983. System Development. Prentice-Hall International, Chichester, U.K.
24. JACKSON, M. 1995b. Software Requirements and Specifications: A Lexicon of Practice, Principles, and Prejudices. Addison-Wesley, Reading, Mass.
25. JACKSON, M. AND ZAVE, P. 1995. Deriving specifications from requirements: An example. In Proceedings of the 17th International Conference on Software Engineering. ACM, New York, 15-24.
26. JARKE, M., BUBENKO, J., ROLLAND, C., SUTCLIFFE, A., AND VASSILIOU, Y. 1992. Theories underlying requirements engineering: An overview of NATURE at genesis. In Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society, Washington, D.C., 19-31.
27. JEREMAES, P., KHOSLA, S., AND MAIBAUM, T. S. E. 1986. A modal (action) logic for requirements specification. In Software Engineering 86, D. Barnes and P. Brown, Eds. Peter Peregrinus, 278-294.
28. JOHNSON, W. L. 1988. Deriving specifications from requirements. In Proceedings of the 10th International Conference on Software Engineering. IEEE Computer Society, Washington, D.C., 428-438.
29. JONES, C. B. 1990. Systematic Software Development Using VDM. 2nd ed. Prentice-Hall International, Chichester, U.K.
30. KHOSHAFIAN, S. N. AND COPELAND, G. P. 1990. Object identity. In Readings in Object-Oriented Database Systems, Stanley B. Zdonik and David Maier, Eds. Morgan Kaufmann, San Mateo, Calif., 37-46.
31. LAMPORT, L. 1989. A simple approach to specifying concurrent systems. Commun. ACM 32, 1 (Jan.), 32-45.
32. LEHMAN, M. M. 1980. Programs, life cycles, and laws of software evolution. Proc. IEEE 68, 9 (Sept.), 1060-1076.
33. LEVESON, N. G., HEIMDAHL, M. P. E., HILDRETH, H., AND REESE, J. D. 1994. Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20, 9 (Sept.), 684-707.
34. LISKOV, B. H. AND ZILLES, S. N. 1975. Specification techniques for data abstractions. IEEE Trans. Softw. Eng. 1, 1 (Mar.), 7-19.
35. MOSTOW, J. 1983. A problem-solver for making advice operational. In Proceedings of the National Conference on Artificial Intelligence (AAAI-83). AAAI, Menlo Park, Calif., 279-283.
36. PARNAS, D. L. AND CLEMENTS, P. C. 1986. A rational design process: How and why to fake it. IEEE Trans. Softw. Eng. 12, 2 (Feb.), 251-257.
37. PARNAS, D. L. AND MADEY, J. 1995. Functional documentation for computer systems engineering. Sci. Comput. Program. 25, 41-61.
38. SPIVEY, J. M. 1990. Specifying a real-time kernel. IEEE Softw. 7, 5 (Sept.), 21-28.
39. SPIVEY, J. M. 1992. The Z Notation: A Reference Manual. 2nd ed. Prentice-Hall, Englewood Cliffs, N.J.
40. SWARTOUT, W. AND BALZER, R. 1982. On the inevitable intertwining of specification and implementation. Commun. ACM 25, 7 (July), 438-440.
41. TURSKI, W. M. 1988. Time considered irrelevant for real-time systems. BIT 28, 473-486.
42. 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, Washington, D.C., 198-207.
43. WING, J. M. 1990. A specifier's introduction to formal methods. IEEE Comput. 23, 9 (Sept.), 8-24.
44. WORDSWORTH, J. B. 1992. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, Reading, Mass.
45. Yu, E., DU BOIS, PH., DUBOIS, E., AND MYLOPOULOS, J. 1995. From organization models to system requirements: A "cooperating agents" approach. In Proceedings of the 3rd International Conference on Cooperative Information Systems. 194-204.
46. ZAVE, P. 1982. An operational approach to requirements specification for embedded systems. IEEE Trans. Softw. Eng. 8, 3 (May), 250-269.
47. ZAVE, P. AND JACKSON, M. 1993. Conjunction as composition. ACM Trans. Softw. Eng. Methodol. 2, 4 (Oct.), 379-411.