{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:29Z","timestamp":1725663329402},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:30:01Z","timestamp":1330201801000},"page":"168-179","source":"Crossref","is-referenced-by-count":1,"title":["Modular algebraic specifications"],"prefix":"10.1007","author":[{"given":"Horst","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"17_CR1","volume-title":"Informatik Fachberichte Nr. 116","author":"M. Bidoit","year":"1985","unstructured":"Bidoit, M., Choppy, C., Voisin, F.: The ASSPEGIQUE Specification Environment, in: Kreowski, H.-J. (ed.): Informatik Fachberichte Nr. 116, Springer, Berlin, 1985"},{"key":"17_CR2","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"Blum, E.K., Ehrig, H., Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34 (1987), 293\u2013339","journal-title":"JCSS"},{"key":"17_CR3","unstructured":"Ehrig, H., Fey, W., Hansen, H., L\u00f6we, M., Parisi-Presicce, F.: Algebraic Theory of Modular Specification Development, Research Report No. 87-06, Techn. Univ. of Berlin, 1987"},{"key":"17_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, Springer, Berlin, 1985"},{"key":"17_CR5","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1988","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2, Springer, Berlin, 1988 (to appear)"},{"key":"17_CR6","unstructured":"Ehrig, H., Weber, H.: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress 1986, Dublin, 1986"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Futatzugi, K., Goguen, J.A., Jouannaud, J.P., Meseguer, G.: Principles of OBJ2, in: Proc. of the 12. ACM Symposium on Principles of Programming Languages, New Orleans, Lousiana (1985), 52\u201366","DOI":"10.1145\/318593.318610"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Gogolla, M.: On Parametric Algebraic Specifications with Clean Error Handling, in: Proc. of the Int. Joint Conf. on Theory and Practice of Software Development, Pisa, Italy (LNCS 249), 1987","DOI":"10.1007\/3-540-17660-8_49"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MC.1986.1663146","volume":"19","author":"J.A. Goguen","year":"1986","unstructured":"Goguen, J.A.: Reusing and Interconnecting Software Components, Computer 19, 2 (Feb. 1986), 16\u201328","journal-title":"Computer"},{"key":"17_CR10","unstructured":"Goguen, J.A., Meseguer, J.: Order Sorted Algebra I: Partial and Overloaded Operations, Errors and Inheritance, (to appear) SRI International Computer Science Lab, 198"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Hansen, H., L\u00f6we, M.: A New Module Concept for Algebraic Specifications, Internal Report, Techn. University of Berlin, 1988","DOI":"10.1007\/3-540-50667-5_69"},{"key":"17_CR12","unstructured":"Harper, R., MacQueen, D., Milner, R.: Standard ML, LFCS Report Series No. ECS-LFCS-86-2, Department of Computer Science, Univ. of Edinburgh, 1986"},{"key":"17_CR13","unstructured":"Hussmann, H.: Rapid Prototyping for Algebraic Specifications \u2014 RAP Systems User Manual, Univ. of Passau, Research Report MIP-8504, 1985"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F.: Partial Composition and Recursion of Module Specifications, in: Proc. of the Int. Joint Conf. on Theory and Practice of Software Development, Pisa, Italy, (LNCS 249), 1987, 217\u2013231","DOI":"10.1007\/3-540-17660-8_57"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F.: Iteration of Module Specifications, to appear in: Proc. of CAAP'88, Nancy, France, March 1988","DOI":"10.1007\/BFb0026102"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Reichel, H.: Behavioural Program Specification, in: Proc. Category Theory and Computer Programming, Guildford, September 1985, LNCS 240, pp. 390\u2013411","DOI":"10.1007\/3-540-17162-2_134"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Sanella, D., Wirsing, M.: A Kernal Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. of Edinburgh, 1\u201344; (extended abstract) also in: Proc. Int. Conf. on Foundations of Computing Theory, Borgholm, Sweden, Springer LNCS 158, 413\u2013427","DOI":"10.1007\/3-540-12689-9_122"},{"key":"17_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96878-5","volume-title":"Programming in Modula 2","author":"N. Wirth","year":"1985","unstructured":"Wirth, N.: Programming in Modula 2, Springer, Berlin, 1985"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:08:14Z","timestamp":1561370894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}