Specifying Software Requirements

Proceedings of the IEEE

Volumn 68, Issue 9, 1980, Pages 1077-1085

  Yeh, Raymond T ^a   Zave, Pamela ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

EID: 0019055533     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/PROC.1980.11806     Document Type: Article

References (37)

1. M. W. Alford, “A requirements engineering methodology for realtime processing requirements,” IEEE Trans. Software Eng., vol. SE-3, pp. 60-69, 1977.
2. C. Bachman and M. Dayn, “The role concept in data models,” in Proc. 3rd Int. Conf. Very Large Data Bases (Tokyo, Japan), 1977.
3. R. Balzer and N. Goldman, “Principles of good software specification and their implications for specification language,” in Proc. Conf. Specifications of Reliable Software (Cambridge, MA), pp. 58-69, 1979.
4. L. A. Belady and M. M. Lehman, “Characteristics of Large Systems,” in Software Methodology, Peter Wegner, Ed. Cambridge, MA: M.I.T. Press, June 1979.
5. T. E. Bell and T. A. Thayer, “Software requirements: Are they really a problem?” in Proc. 2nd Int. Conf. Software Engineering (San Francisco, CA), pp. 61-68, Oct. 1976.
6. B. Boehm, “Software and its impact-A quantitative assessment,” Datamation, vol. 19, no. 5, 48-59, 1973.
7. “Software engineering,” IEEE Trans. Comput, vol. C-25, pp. 1226-1241, 1976.
8. P. Brinch Hansen, “A realtime scheduler,” Information Science, California Inst. Technol., Pasadena, Nov. 1975.
9. P. Chen, “The entity-relationship model-Toward a unified view of data,” Trans. Data Base Systems, vol. 1, pp. 9-36, 1976.
10. E. F. Codd, “A relational model of data for large shared data banks,” Commun. ACM, vol. 13. pp. 377-387. 1970.
11. M. Conner, “Process synchronization by behavior controllers,” Ph.D. dissertation, Dep. Computer Sciences, Univ. of Texas, Austin.
12. C. Date, An Introduction to Data Base Systems. Reading, MA: Addison-Wesley, 1977.
13. E. W. Dijkstra, “Co-operating sequential processes,” in Programming Languages, F. Genuys, Ed. New York: Academic Press, pp. 43-112, 1968.
14. E. Falkenberg, “Concepts for modelling information,” in Model- ling in Data Base Management Systems, Nijssen, Ed., 1976.
15. J. S. Gishen, R. A. Maddux, and M. P. Perriens, “A requirements, specification and design methodology for software engineering,” Tech. Rep. IBM Federal Systems Division, 1979.
16. A. N. Habermann, “Path expressions,” Dep. Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, 1975.
17. C. Jones, Design Methods. New York: Wiley, 1970.
18. E. Lindencrona-Ohlin, “A study on conceptual data modelling,” Ph.D. dissertation, Dep. Comput. Sci., Univ. of Stockholm, Stockholm, Sweden, 1979.
19. R. C. Linger, H. D. Mills, and B. I. Witt, Structured Programming. Reading, MA: Addison-Wesley, 1979.
20. B. Liskov and V. Berzins, “An appraisal on program specifications,” M.I.T. Tech. Rep., 1977.
21. H.M. Markowitz, “SIMSCRIPT,” RC 6811, IBM Res. Div., 1978.
22. T. W. Mao and R. T. Yeh, “Communication Port: A language concept for concurrent programming,” IEEE Trans. Software Eng., vol. SE-6, pp. 194-204, 1980.
23. D. L. Parnas, “Designing software for ease of extension and contraction,” IEEE Trans. Software Eng., vol. SE-5, pp. 128-138, 1970.
24. F. Parr, “Software maintenance,” in Proc. Beyond Structured Programming, INFOTECH State of the Art Conf., 1978.
25. J. L. Peterson, “Petri Nets,” ACM Computing Surveys, vol. 9, no. 3, pp. 223-252, 1977.
26. W. E. Riddle and R. E. Fairley, Eds., in Proc. Software Development Tools Workshop Conference (Pingree Park, CO), May 1979.
27. L. Robinson and R. C. Holt, “Formal specifications for solutions to synchronization problems,” Comput. Sci. Group, Stanford Res. Inst., Stanford, CA, 1975.
28. D. T. Ross, “Structured analysis (SA): A language for communicating ideas,” IEEE Trans. Software Eng., vol. SE-3, pp. 16-34, 1977.
29. N. Roussopoulos, “A semantic network model of data bases,” Ph.D. dissertation, Dep. Comput. Sci., Univ. of Toronto, Toronto, Ont., Canada, TR 104, 1976.
30. H. Simon, The Sciences of the Artificial. Cambridge, MA: M.I.T. Press, 1970.
31. J. Smith and D. Smith, “Data base abstractions: Aggregation and generalization,” Assoc. Comput. Mach. TODS, vol. 2, pp. 105-133, 1977.
32. D. Teichroew and E. H. Hershey, “PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems,” IEEE Trans. Software Eng., vol. SE-3, pp. 41-48, 1977.
33. R. T. Yeh, Current Trends in Programming Methodology, Vol. 1-Software Specification and Design. Englewood Cliffs, NJ: Prentice-Hall, 1977.
34. R. T. Yeh, A. Augustine, R. Mittermeir, W. Mao, and F. Evans, “Software requirement engineering: A perspective,” in Proc. Beyond Structured Programming, INFOTECH State of the Art Conference, London, England, Nov. 1978.
35. R. T. Yeh, N. Roussopoulos, and P. Chang, “Systematic derivation of software requirements through structured analysis,” Tech. Rep. SDBEG-15, Dep. Comput. Sci., Univ. of Texas, Austin, Sept. 1979.
36. V. Zave, “A comprehensive approach to requirements problems,” in Proc. COMPSAC '79 (Chicago, IL), pp. 117-122, Nov. 1979.
37. P. Zave, “Formal specification of complete and consistent performance requirements,” in Proc. 8th Texas Conf. Computing Systems (Dallas, TX), pp. 4B-18-4B-25, Nov. 1979.