{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T08:23:54Z","timestamp":1648974234176},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1991,8]]},"DOI":"10.1007\/bf02426921","type":"journal-article","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T06:50:35Z","timestamp":1149663035000},"page":"143-162","source":"Crossref","is-referenced-by-count":0,"title":["On interfaces"],"prefix":"10.1007","volume":"1","author":[{"given":"Russell J.","family":"Abbott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"BF02426921_CR1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/TSE.1985.231536","volume":"SE-11","author":"G.T. Almes","year":"1985","unstructured":"G.T. Almes, A. P. Black, E. D. Lazowska, and J. D. Noe, \u201cThe Eden System: A technical review,\u201dIEEE Trans. Software Eng., Vol. SE-11, No. 1, pp. 43\u201359, January 1985.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02426921_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4792-0","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"N. Cercone","year":"1987","unstructured":"N. Cercone and G. McCalla.The Knowledge Frontier: Essays in the Representation of Knowledge, Springer-Verlag: New York, 1987."},{"key":"BF02426921_CR3","unstructured":"U.S. Department of Defense, DI-E-30131: Interface Control Document. Department of Defense, 1966."},{"key":"BF02426921_CR4","unstructured":"U.S. Department of Defense, DI-E-30141: Interface Specification. Department of Defense, 1973."},{"key":"BF02426921_CR5","unstructured":"U.S. Department of Defense, DI-E-5550: System\/System Segment Interface Control Document. Department of Defense, 1981."},{"key":"BF02426921_CR6","unstructured":"U.S. Department of Defense, DI-MCCR-800026A: Interface Requirements Specification. Department of Defense, 1988."},{"key":"BF02426921_CR7","unstructured":"U.S. Department of Defense, DI-MCCR-800027A: Interface Design Document. Department of Defense, 1988."},{"issue":"1","key":"BF02426921_CR8","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/TSE.1980.230209","volume":"SE-6","author":"J.V. Guttag","year":"1980","unstructured":"J.V. Guttag, \u201cNotes on type abstraction,\u201dIEEE Trans. Software Eng., Vol. SE-6, No. 1, pp. 13\u201323, January 1980.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02426921_CR9","volume-title":"Formal Theories of the Commonsense World","author":"J.R. Hobbs","year":"1985","unstructured":"J.R. Hobbs and R.C. Moore,Formal Theories of the Commonsense World, Ablex Publishing Corp.: Norwood, NJ, 1985."},{"key":"BF02426921_CR10","doi-asserted-by":"crossref","first-page":"1389","DOI":"10.1145\/76380.316015","volume":"32","author":"J. McCarthy","year":"1989","unstructured":"J. McCarthy, \u201cNetworks considered harmful for electronic mail,\u201dCACM, vol. 32, pp. 1389\u20131390, December 1989.","journal-title":"CACM"},{"key":"BF02426921_CR11","volume-title":"Webster's Ninth New Collegiate Dictionary","author":"Merriam- Webster, Inc.","year":"1987","unstructured":"Merriam- Webster, Inc.,Webster's Ninth New Collegiate Dictionary, Merriam-Webster, Inc.: Springfield, MA, 1987."},{"key":"BF02426921_CR12","volume-title":"Tutorial: Object Oriented Computing","author":"G.E. Peterson","year":"1987","unstructured":"G.E. Peterson,Tutorial: Object Oriented Computing, IEEE Computer Society Press: Los Alamitos, CA, 1987."},{"issue":"3","key":"BF02426921_CR13","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359461.359483","volume":"20","author":"L. Robinson","year":"1977","unstructured":"L. Robinson and K.N. Levitt, \u201cProof techniques for hierarchically structured programs,\u201dCACM, vol. 20 (3) pp. 271\u2013283, April 1977.","journal-title":"CACM"},{"key":"BF02426921_CR14","volume-title":"System and Software Requirements Engineering","author":"R.H. Thayer","year":"1990","unstructured":"R.H. Thayer and M. Dorfman,System and Software Requirements Engineering, IEEE Computer Society Press: Los Alamitos, CA, 1990."},{"key":"BF02426921_CR15","volume-title":"Qualitative Reasoning about Physical Systems","author":"D.S. Weld","year":"1990","unstructured":"D.S. Weld and J. de Kleer,Qualitative Reasoning about Physical Systems, Morgan Kaufmann: San Mateo, CA, 1990."}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02426921.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T09:15:42Z","timestamp":1554023742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02426921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["BF02426921"],"URL":"https:\/\/doi.org\/10.1007\/bf02426921","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}