{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:40Z","timestamp":1725455740396},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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\/bfb0015466","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:32:11Z","timestamp":1131863531000},"page":"255-267","source":"Crossref","is-referenced-by-count":0,"title":["Experiences with a specification environment"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Loeckx","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Zeyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"14_CR1","unstructured":"A. Ayari, S. Friedrich, A. Heckler, and J. Loeckx. Das Fallbeispiel Lex. Technical Report WP 92\/39, Univ. Saarbr\u00fccken, 1992."},{"key":"14_CR2","unstructured":"S. Autexier. Hdms-A und Obscure \u2014 Die Funktionale Essenz von Hdms-A aus Sicht der algorithmischen Spezifikationsmethode \u2014 TEIL 2: Spezifikation des Datenmodells. Technical Report A\/05\/93, Univ. Saarbr\u00fccken, 1993."},{"key":"14_CR3","unstructured":"S. Autexier, C. Benzm\u00fcller, and A. Heckler. Das Fallbeispiel Unix. Technical Report WP 92\/36, Univ. Saarbr\u00fccken, 1992."},{"key":"14_CR4","unstructured":"R. Betschko, S. Dick, K. Didrich, J. Faulhaber, and W. Grieskamp. Formal Development of an Efficient Implementation of a Lexical Scanner within the Korso Methodology Framework. Technical report 93-30, TU Berlin, 1993."},{"key":"14_CR5","unstructured":"C. Benzm\u00fcller. Hdms-A und Obscure \u2014 Die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode \u2014 TEIL 3: Spezifikation der atomaren Funktionen. Technical report A\/06\/93, Univ. Saarbr\u00fccken, 1993."},{"key":"14_CR6","unstructured":"M. Bidoit. Pluss, a language for the development of modular algebraic specifications. Th\u00e8se d'Etat, Univ. Paris-Sud, 1989."},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-6423(89)90026-9","volume":"12","author":"M. Bidoit","year":"1989","unstructured":"M. Bidoit, M.-C. Gaudel, and A. Mauboussin. How to make algebraic specifications more understandable: An experiment with the Pluss specification language. In: Science of Computer Programming 12, 1, 1\u201338, 1989.","journal-title":"Science of Computer Programming"},{"key":"14_CR8","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. Technical Report TUM-I9312, TU M\u00fcnchen, 1993."},{"key":"14_CR9","unstructured":"J. Cai, S. Schlobach, and M. Wolf. The translation from Obscure into Ml: Documentation of the translation principles. Technical Report WP 93\/43, Univ. Saarbr\u00fccken, 1993."},{"key":"14_CR10","unstructured":"C. Choppy. Is my Specification \u201ccorrect\u201d? A Study with Pluss Specifications. Rapport de Recherche n\u2218 817, Universit\u00e9 de Paris Sud, 1993."},{"key":"14_CR11","unstructured":"F. Cornelius, H. Hu\u00dfmann, and M. L\u00f6we. The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System. In this volume."},{"key":"14_CR12","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"14_CR13","unstructured":"A. Dold and M. Strecker. Program development with specification operators \u2014 illustrated by a specification of the LEX scanner. Korso working paper, Univ. Ulm, 1993."},{"key":"14_CR14","volume-title":"Technical Report HPL-ISC-TM-88-18","author":"C. Dollin","year":"1988","unstructured":"Ch. Dollin, P. Arnold, D. Coleman, H. Gilchrist, and T. Rush. Axis Tutorial: a simple filing system. Technical Report HPL-ISC-TM-88-18, Hewlet-Packard Ltd., Bristol, 1988."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1 \u2014 Equations and Initial Semantics. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"14_CR16","unstructured":"J. Fuchs, A. Hoffmann, L. Meiss, J. Philippi, M. Stolz, M. Wolf, and J. Zeyer. The Obscure Manual. Part 1: Editing and Rapid Prototyping. Technical Report A\/03\/91, Univ. Saarbr\u00fccken, 1991."},{"key":"14_CR17","unstructured":"A. Heckler. Hdms-A und Obscure \u2014 Die Funktionale Essenz von Hdms-A aus Sicht der algorithmischen Spezifikationsmethode \u2014 TEIL 1: Einf\u00fchrung und Anmerkungen. Technical Report A\/04\/93, Univ. Saarbr\u00fccken, 1993."},{"key":"14_CR18","unstructured":"A. Heckler, R. Hettler, H. Hu\u00dfmann, J. Loeckx, W. Reif, G. Schellhorn and K. Stenzel. Lex: A Case Study in Development and Validation of Formal Requirement Definitions. Submitted for publication."},{"key":"14_CR19","unstructured":"R. Hettler. A Requirement Specification for a Lexical Analyzer. Technical Report TUM-I9409, TU M\u00fcnchen, 1994."},{"key":"14_CR20","unstructured":"R. Hettler. Spezifikation des Unix-Datei-und Variablensystems. Eine Spectrum-Fallstudie. Technical Report (TUM-I9230), TU M\u00fcnchen, 1992."},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF01209709","volume":"30","author":"T. Lehmann","year":"1993","unstructured":"T. Lehmann and J. Loeckx. Obscure, A Specification Language for Abstract Data Types. In: Acta Informatica 30, 303\u2013350, 1993.","journal-title":"Acta Informatica"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1145\/29873.30399","volume":"9","author":"J. Loeckx","year":"1987","unstructured":"J. Loeckx. Algorithmic specifications: a constructive specification method for abstract data types. In: ACM Trans. Prog. Lang. Syst. 9, 646\u2013685, 1987.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"14_CR23","unstructured":"C. Morgan and B. Sufrin. Specification of the Unix Filing System. In: I. Hayes, editor, Specification Case Studies pp.90\u2013140, Prentice Hall, 1987."},{"key":"14_CR24","unstructured":"O. Slotosch, F. Nicki, S. Merz, H. Hu\u00dfmann, and R. Hettler. Die funktionale Essenz von HDMSA. Technical Report TUM-I9335, TU M\u00fcnchen, 1993."},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/BF00271641","volume":"21","author":"D. Sannella","year":"1984","unstructured":"D. Sannella. A set-theoretic semantics of Clear. In: Acta Informatica 21, 443\u2013472, 1984.","journal-title":"Acta Informatica"},{"key":"14_CR26","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. LNCS 158, 413\u2013427, 1983.","journal-title":"LNCS"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In: J. van Leeuwen, editor, Handbook of Theoretical Computer Science, North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"14_CR28","unstructured":"J. Zeyer. Kontextbedingungen f\u00fcr Obscure. Technical Report WP 89\/11, Univ. Saarbr\u00fccken, 1989."}],"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\/BFb0015466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:48:09Z","timestamp":1586551689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605898","9783540478027"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0015466","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}