{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:30Z","timestamp":1725455730723},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605898"},{"type":"electronic","value":"9783540478027"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015461","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:32:11Z","timestamp":1131863531000},"page":"173-189","source":"Crossref","is-referenced-by-count":4,"title":["How to cope with the Spectrum of Spectrum"],"prefix":"10.1007","author":[{"given":"U.","family":"Wolter","sequence":"first","affiliation":[]},{"given":"K.","family":"Didrich","sequence":"additional","affiliation":[]},{"given":"F.","family":"Cornelius","sequence":"additional","affiliation":[]},{"given":"M.","family":"Klar","sequence":"additional","affiliation":[]},{"given":"R.","family":"Wess\u00e4ly","sequence":"additional","affiliation":[]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"9_CR1","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hu\u00dfmann, D. Nazareth, F. Regensburger, and K. St\u00f8len. The Requirement and Design Specification Language Spectrum \u2014 An Informal Introduction, Version 1.0. Technical report, Technische Universit\u00e4t M\u00fcnchen, 1993."},{"key":"9_CR2","series-title":"Series in Computer Science","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1990","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Series in Computer Science. Prentice Hall International, London, 1990."},{"key":"9_CR3","unstructured":"I. Cla\u00dfen, H. Ehrig, and D. Wolz. Algebraic Specification Techniques and Tools for Software Development \u2014 The ACT Approach. AMAST Series in Computing. World Scientific Publishing, 1993."},{"key":"9_CR4","unstructured":"I. Cla\u00dfen. ACT system \u2014 user manual. Draft Version, April 1992."},{"key":"9_CR5","first-page":"228","volume-title":"LNCS 782","author":"K. Didrich","year":"1994","unstructured":"K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. Opal: Design and Implementation of an Algebraic Programming Language. In Proceedings Programming Languages and System Architectures, Zurich, Switzerland, March 1994, pages 228\u2013244. Springer, LNCS 782, 1994."},{"key":"9_CR6","unstructured":"K. Didrich. ACT ONE-C: Eine Erweiterung der Spezifikationssprache ACT ONE im Hinblick auf kompakte Darstellungen von Spezifikationen. Diplomarbeit, 1992."},{"key":"9_CR7","unstructured":"Hartmut Ehrig. FLEX: A Flexible Extension and Integration Concept for Software development in KORSO and COMPASS. Report 93-17, TU Berlin, FB Informatik, May 1993."},{"key":"9_CR8","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"key":"9_CR9","first-page":"171","volume":"50","author":"A. Fett","year":"1993","unstructured":"Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and P. Pepper. Algebraic programming in OPAL. Bulletin of the European Association for Theoretical Computer Science (EATCS), (50):171\u2013181, June 1993.","journal-title":"Bulletin of the European Association for Theoretical Computer Science (EATCS)"},{"key":"9_CR10","first-page":"221","volume":"164","author":"J. A. Goguen","year":"1984","unstructured":"J. A. Goguen and R. M. Burstall. Introducing Institutions. In Proceedings Logics of Programming Workshop, Carnegie Mellon, pages 221\u2013256. Springer LNCS 164, 1984.","journal-title":"Springer LNCS"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journals of the ACM"},{"key":"9_CR12","unstructured":"R. Grosu and F. Regensburger. The Logical Framework of Spectrum. Technical report, Technische Universit\u00e4t M\u00fcnchen, March 1994."},{"key":"9_CR13","first-page":"275","volume-title":"Logic colloquium '87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275\u2013329. Elsevier, North Holland, 1989."},{"key":"9_CR14","unstructured":"P. Pepper. The Programming Language OPAL. Technical Report 91\u201310, TU Berlin, June 1991."},{"key":"9_CR15","unstructured":"Wolfram Schulte. Effiziente und korrekte \u00dcbersetzung strikter applikativer Programmiersprachen. PhD thesis, Technische Universit\u00e4t Berlin, 1992."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0167-6423(90)90025-9","volume":"14","author":"D. R. Smith","year":"1990","unstructured":"Douglas R. Smith and Michael R. Lowry. Algorithm theories and design tactics. Science of Computer Programming, 14:305\u2013321, 1990.","journal-title":"Science of Computer Programming"},{"key":"9_CR17","volume-title":"LNCS 906","author":"U. Wolter","year":"1995","unstructured":"Uwe Wolter. Institutional Frames. 10th Workshop on Specification of Abstract Data Types, S. Margherita, Italy, May\/June 1994. Selected papers, Editors E. Astesiano, G. Reggio and A. Tarlecki, Springer Verlag, LNCS 906, 1995."}],"container-title":["Lecture Notes in Computer Science","KORSO: Methods, Languages, and Tools for the Construction of Correct Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T10:22:36Z","timestamp":1549275756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605898","9783540478027"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0015461","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}