{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T09:31:02Z","timestamp":1775899862247,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540159995","type":"print"},{"value":"9783642708404","type":"electronic"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70840-4_13","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T03:27:22Z","timestamp":1320377242000},"page":"152-169","source":"Crossref","is-referenced-by-count":13,"title":["Knowledge Representation as the Basis for Requirements Specifications"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Borgida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sol","family":"Greenspan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1006258.1006261","volume":"7","author":"R Balzer","year":"1982","unstructured":"R. Balzer, N. Goldman and D. Wile, \u201cOperational Specification as the Basis for Rapid Prototyping,\u201d Proc. ACM Sigsoft Software Eng. Symp. Rapid Prototyping, Columbia, Md., in ACM Software Eng. Notes, vol. 7, no. 5, Dec. 1982, pp. 3\u201316.","journal-title":"ACM Software Eng. Notes"},{"key":"13_CR2","first-page":"283","volume-title":"A Requirements and Design Aid for Relational Data Bases","author":"ML Wilson","year":"1981","unstructured":"M.L. Wilson, \u201cA Requirements and Design Aid for Relational Data Bases,\u201d Proc. Fifth Int\u2019l Conf. Software Eng, IEEE-CS Press, Los Alamitos, Calif., 1981, pp. 283\u2013293."},{"key":"13_CR3","volume-title":"Conceptual Modeling as a Basis for Deriving Software Requirements","author":"RT Yeh","year":"1980","unstructured":"R.T. Yeh and R.T. Mittermeir, \u201cConceptual Modeling as a Basis for Deriving Software Requirements,\u201d Int\u2019l Computer Symp, Taipei, Taiwan, Dec. 1980."},{"key":"13_CR4","volume-title":"SYSLAB Rept","author":"JA Bubenko Jr.","year":"1981","unstructured":"J.A. Bubenko, Jr., \u201cOn Concepts and Strategies for Requirements and Information Analysis,\u201d SYSLAB Rept. No. 4, Dept. of Computer Science, Chalmers University of Technology, 1981."},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1109\/TSE.1979.234209","volume":"5","author":"N Roussopoulos","year":"1979","unstructured":"N. Roussopoulos, \u201cCSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications,\u201d IEEE Trans. Software Eng., vol. SE-5, no. 5, Sept. 1979, pp. 481\u2013496.","journal-title":"IEEE Trans. Software Eng., vol. SE-5"},{"key":"13_CR6","first-page":"225","volume-title":"Proc. Sixth Int1 Conf. Software Eng","author":"SJ Greenspan","year":"1982","unstructured":"S.J. Greenspan, J. Mylopoulos, and A. Borgida, \u201cCapturing More World Knowledge in the Requirements Specification,\u201d Proc. Sixth Int\u20191 Conf. Software Eng., IEEE-CS Press, Los Alamitos, Calif., 1982, pp. 225\u2013234."},{"key":"13_CR7","volume-title":"Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition","author":"SJ Greenspan","year":"1984","unstructured":"S.J. Greenspan, \u201cRequirements Modeling: A Knowledge Representation Approach to Software Requirements Definition,\u201d Ph.D. thesis, Dept. of Computer Science, University of Toronto, 1984."},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J Mylopoulos","year":"1980","unstructured":"J. Mylopoulos, P.A. Bernstein, and H.K.T. Wong, \u201cA Language Facility for Designing Interactive Database-Intensive Application,\u201d ACM Trans. Database Systems, vol. 5, no. 2, June 1980, pp. 185\u2013207.","journal-title":"ACM Trans. Database Systems"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-1-4612-5196-5_4","volume-title":"On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages","author":"A Borgida","year":"1984","unstructured":"A. Borgida, J. Mylopoulos, and H.K.T. Wong, \u201cGeneralization as a Basis for Software Specification,\u201d 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\u2013114."},{"issue":"11","key":"13_CR10","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J Allen","year":"1983","unstructured":"J. Allen, \u201cMaintaining Knowledge about Temporal Intervals,\u201d Comm. ACM, vol. 26, no. 11, Nov. 1983, pp. 832\u2013843.","journal-title":"Comm. ACM"},{"key":"13_CR11","first-page":"16","volume-title":"IEEE Trans. Software Eng special issue on requirements analysis","author":"DT Ross","year":"1977","unstructured":"D.T. Ross, \u201cStructured Analysis (SA): A Language for Communicating Ideas,\u201d IEEE Trans. Software Eng., special issue on requirements analysis, vol. SE-3, no. 1, Jan. 1977, pp. 16\u201334."},{"key":"13_CR12","first-page":"643","volume-title":"Proc. First Int\u2019l Workshop on Expert Database Systems","author":"A Borgida","year":"1984","unstructured":"A. Borgida, \u201cIntelligent Handling of Exceptions in Information Systems \u2014 An Overview,\u201d Proc. First Int\u2019l 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\u2013651."}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70840-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T09:02:19Z","timestamp":1557910939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70840-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159995","9783642708404"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70840-4_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"value":"0343-3005","type":"print"}],"subject":[],"published":{"date-parts":[[1985]]}}}