Capturing more world knowledge in the requirements specification

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1982, Pages 225-235

  Greenspan, Sol J ^a   Mylopoulos, John ^a   Borgida, Alex ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

FUNCTIONAL SPECIFICATION; REAL-WORLD; REQUIREMENTS MODELS; REQUIREMENTS SPECIFICATIONS; SOFTWARE REQUIREMENTS; WORLD KNOWLEDGE;

SOFTWARE ENGINEERING;

EID: 85050595861     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Bell, T. E., and T. A. Thayer, "Software Requirements: Are They Really a Problem?", Proceedings of the Second International Conference on Software Engineering, San Francisco, October 1976, pp. 61-68.
2. Bell, T. E., D. C. Bixler, and M. E. Dyer, "An Extendible Approach to Computer-Aided Software Requirements Engineering, " in [21], pp. 49-60.
3. Boehm, B., "Software Engineering: R&D Trends and Defense Needs, " in Wegner, P. (editor). Research Directions in Software Technology, MIT Press, 1979.
4. Borgida, A., "Flexible handling of exceptions: A prospectus for research, " Dept. of Computer Science, Rutgers Univ., Feb. 1982.
5. Borgida, A., J. Mylopoulos, and H. K. T. Wong, "Methodological and Computer Aids for Interactive Information System Design, " in Automated Tools for Information System Design, H.-J. Schneider and A. Wasserman (editors), IFIP, North-Holland, 1982.
6. Borgida, A., J. Mylopoulos, and H. K. T. Wong, "Taxonomic Software Specifications, " in M. Brodie, J. Mylopoulos, and J. Schmidt (Eds.), Perspectives on Conceptual Modelling, Springer-Verlag, 1982.
7. Brachman, R. J., "Oi the Epistemological Status of Semantic Networks, " in [12].
8. Brachman, R. and B. Smith (editors), Special Issue on Knowledge Representation, SIGftRT No. 50, February 1980.
9. Brodie, M. L., and S. N. Zilles (eds.), Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, CO, 23-26 June 1980, SIGPLAN Notices, Volume 16, No. 1, Jan. 1981.
10. Bubenko, J. A., "Information Modeling in the Context of System Development, " IFIP 80.
11. Dijkstra, E. W., "Notes on Structured Programming, " Structured Programming, Academic Press, 1972.
12. Findler, N. (Editor), Associative Networks, Academic Press, 1979.
13. Greenspan, S. J., Ph. D. Thesis on Requirements Modeling, Dept. of Computer Science, University of Toronto (forthcoming).
14. Hoare, C. A. R., "Notes on Data Structuring, " in Structured Programming, Academic Press, 1972.
15. Levesque, H. J., and J. Mylopoulos, "A Procedural Approach to Semantic Networks, " in [12], pp. 93-120.
16. Lum, V., et al., 1978 New Orleans Data Base Design Workshop Report, IBM Research Report RJ2554, San Jose, July 1979.
17. McLeod, D. and R. King, "Semantic Database Models, " in Principles of Database Design, S. B. Yao (editor), Prentice Hall, 1981.
18. McLeod, D., and J. Smith, "Abstraction in Databases, " in [9].
19. Mylopoulos, M., P. A. Bernstein, and H. K. T. Wong, "A Language Facility for Designing Interactive Database-Intensive Application, " ACM Transactions on Database Systems, Volume 5, Number 2, June 1980, pp. 185-207.
20. Parnas, D., "On the Criteria to be Used in Decomposing Systems Into Modules, " Comm. ACM, Vol 15, No. 12, December 1972, pp. 1053-1058.
21. Ross, D. T. (guest editor) Special Issue on Requirements Analysis, " IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977.
22. Ross, D. T., "Structured Analysis(SA): A Language for Communicating Ideas, " in [21], pp. 16-34.
23. Roussopoulos, N., "CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications, " IEEE Transactions on Software Engineering, Volume SE-5, Number 5, September 1979. pp. 481-496.
24. Smith, J., and D. Smith, "Database Abstractions: Aggregation and Generalization, " TODS, Vol. 2, No. 2, 1977, pp. 105-133.
25. Solvberg, A., "A Contribution to the Definition of Concepts for Expressing Users' Information Systems Requirements, " Proc. International Conf. on Entity-Relationship Approach to Systems Analysis and Design, December 10-12, 1979, pp. 359-380.
26. Teichroew, D. and E. Hershey, III, "PSL/PSA: A Computer-Aid ed Technique for Structured Documentation and Analysis of Information Processing Systems, " in [21], pp.41-48.
27. Wilson, M., "A Semantics-Based Approach to Requirements Analysis and System Design, " Proc. COMPSAC 79. Nov. 1979, pp.107-112.
28. Wirth, N., "Program Development by Stepwise Refinement, " Comm ACM, April 1971.
29. Yeh, R. et al., "Software Requirement Engineering: A Perspective, " Dept. of Computer Science, Univ. of Texas, Austin, 1979.