Abstract
Specification of many kinds of knowledge about the world is essential to requirements engineering. Research on knowledge representation in artificial intelligence provides a wealth of relevant techniques that can be incorporated into specification languages.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Balzer, N. Goldman and D. Wile, “Operational Specification as the Basis for Rapid Prototyping,” Proc. ACM Sigsoft Software Eng. Symp. Rapid Prototyping, Columbia, Md., in ACM Software Eng. Notes, vol. 7, no. 5, Dec. 1982, pp. 3–16.
M.L. Wilson, “A Requirements and Design Aid for Relational Data Bases,” Proc. Fifth Int’l Conf. Software Eng, IEEE-CS Press, Los Alamitos, Calif., 1981, pp. 283–293.
R.T. Yeh and R.T. Mittermeir, “Conceptual Modeling as a Basis for Deriving Software Requirements,” Int’l Computer Symp, Taipei, Taiwan, Dec. 1980.
J.A. Bubenko, Jr., “On Concepts and Strategies for Requirements and Information Analysis,” SYSLAB Rept. No. 4, Dept. of Computer Science, Chalmers University of Technology, 1981.
N. Roussopoulos, “CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications,” IEEE Trans. Software Eng., vol. SE-5, no. 5, Sept. 1979, pp. 481–496.
S.J. Greenspan, J. Mylopoulos, and A. Borgida, “Capturing More World Knowledge in the Requirements Specification,” Proc. Sixth Int’1 Conf. Software Eng., IEEE-CS Press, Los Alamitos, Calif., 1982, pp. 225–234.
S.J. Greenspan, “Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition,” Ph.D. thesis, Dept. of Computer Science, University of Toronto, 1984.
J. Mylopoulos, P.A. Bernstein, and H.K.T. Wong, “A Language Facility for Designing Interactive Database-Intensive Application,” ACM Trans. Database Systems, vol. 5, no. 2, June 1980, pp. 185–207.
A. Borgida, J. Mylopoulos, and H.K.T. Wong, “Generalization as a Basis for Software Specification,” On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, M. Brodie, J. Mylopoulos, and J. Schmidt, eds., Springer-Verlag, New York, 1984, pp. 87–114.
J. Allen, “Maintaining Knowledge about Temporal Intervals,” Comm. ACM, vol. 26, no. 11, Nov. 1983, pp. 832–843.
D.T. Ross, “Structured Analysis (SA): A Language for Communicating Ideas,” IEEE Trans. Software Eng., special issue on requirements analysis, vol. SE-3, no. 1, Jan. 1977, pp. 16–34.
A. Borgida, “Intelligent Handling of Exceptions in Information Systems — An Overview,” Proc. First Int’l Workshop on Expert Database Systems, L. Kerscheberg, ed., Institute for Information Management, Technology and Policy, University of South Carolina, Columbia, South Carolina, Oct. 1984, pp. 643–651.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 IEEE
About this paper
Cite this paper
Borgida, A., Greenspan, S., Mylopoulos, J. (1985). Knowledge Representation as the Basis for Requirements Specifications. In: Brauer, W., Radig, B. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70840-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-70840-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15999-5
Online ISBN: 978-3-642-70840-4
eBook Packages: Springer Book Archive