{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:10:58Z","timestamp":1725718258768},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108849"},{"type":"electronic","value":"9783662010891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-01089-1_24","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T15:08:56Z","timestamp":1362409736000},"page":"255-269","source":"Crossref","is-referenced-by-count":3,"title":["Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Werner","family":"Fey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV: Data Structuring","author":"JA Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types, IBM Research Report RC-6487, Oct 1976. Current Trends in Programming Methodology, IV: Data Structuring (R.T. Yeh,Ed.) Prentice Hall, New Jersey (1978), pp. 80\u2013149"},{"key":"24_CR2","volume-title":"The Semantics of CLEAR, a Specification Language, Proc. 1979 Copenhagen Winter School on Abstract Software Specifications","author":"RM Burstall","year":"1980","unstructured":"Burstall, R.M, Goguen, J.A.: The Semantics of CLEAR, a Specification Language, Proc. 1979 Copenhagen Winter School on Abstract Software Specifications (1980)"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-10828-9_51","volume":"112","author":"H Ehrig","year":"1981","unstructured":"Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements, Proc. 6th CAAP, Genove 81, Italy, LNCS 112 (1981),pp.1\u201424","journal-title":"Proc. 6th CAAP, Genove 81, Italy, LNCS"},{"key":"24_CR4","first-page":"75","volume-title":"Algebraische Spezifikation eines St\u00fccklistensystems \u2014 Eine Fallstudie; Software Engineering \u2014 Entwurf und Spezifikation, Teubner Berichte des German Chapter of the ACM","author":"H Ehrig","year":"1981","unstructured":"Ehrig, H, Fey, W., Kreowski, H.-J.: Algebraische Spezifikation eines St\u00fccklistensystems \u2014 Eine Fallstudie; Software Engineering \u2014 Entwurf und Spezifikation, Teubner Berichte des German Chapter of the ACM, Band 5, Stuttgart (1981), pp. 75\u201390"},{"key":"24_CR5","first-page":"46","volume":"5","author":"H-J Kreowski","year":"1981","unstructured":"Kreowski, H.-J.: Algebraische Spezifikation von Softwaresystemen; Software Engineering-Entwurf und Spezifikation, Teubner Berichte des German Chapter of the ACM, Band 5, Stuttgart(1981), pp. 46\u201374","journal-title":"Teubner Berichte des German Chapter of the ACM"},{"key":"24_CR6","unstructured":"Fey, W.: Specification of a Parts System: From Requirements to Design; to appear"},{"key":"24_CR7","first-page":"285","volume-title":"A process-oriented approach to software development","author":"C Floyd","year":"1981","unstructured":"Floyd, Ch.: A process-oriented approach to software development, Proc. 6th ACM European Regional Conf. on Systems Architecture, London 1981, pp. 285\u2013294"},{"key":"24_CR8","first-page":"273","volume-title":"The environment of program development and maintenance","author":"MM Lehmann","year":"1981","unstructured":"Lehmann, M.M.: The environment of program development and maintenance, Proc. 6th ACM European Regional Conf. on System Architecture, London 1981, pp. 273\u2013284"},{"key":"24_CR9","first-page":"107","volume-title":"Software Stability","author":"WM Turski","year":"1981","unstructured":"Turski, W.M.: Software Stability, Proc. 6th ACM European Regional Conf. on Systems Architecture, London 1981, pp. 107\u2013116"}],"container-title":["Informatik-Fachberichte","GI \u2014 11. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01089-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T14:07:41Z","timestamp":1557583661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01089-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108849","9783662010891"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01089-1_24","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}