{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:35:02Z","timestamp":1725456902978},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160779"},{"type":"electronic","value":"9783662096918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-662-09691-8_7","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T08:50:18Z","timestamp":1367916618000},"page":"73-88","source":"Crossref","is-referenced-by-count":1,"title":["Towards Abstract User Interfaces for Formal System Specifications"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Thatcher, J.W. , Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continous Algebras. JACM 24, 1 , pp. 68\u201395","DOI":"10.1145\/321992.321997"},{"key":"7_CR2","volume-title":"ACT ONE: An Algebraic Specification Language with Two Levels of Semantics","author":"H Ehrig","year":"1983","unstructured":"Ehrig, H. , Fey, W. , Hansen, H.: ACT ONE: An Algebraic Specification Language with Two Levels of Semantics, Techn. Report 83\u201303, TU Berlin, FB 20, 1983"},{"key":"7_CR3","series-title":"EATCS Monograph Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics. EATCS Monograph Series Vol. 6, Springer 1985"},{"key":"7_CR4","volume-title":"Linking Abstract User Interface and Formal System Specification","author":"W Fey","year":"1984","unstructured":"Fey, W., Hansen, H.: Linking Abstract User Interface and Formal System Specification; Techn. Report (draft version) TU Berlin, FB 20, August 1984"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Floyd, Ch.: On the Relevance of Formal Methods to Software Development, LNCS 186, pp. 1\u201311","DOI":"10.1007\/3-540-15199-0_1"},{"key":"7_CR6","volume-title":"Ullman: Introduction to Automata Theory, Languages and Computation","author":"J Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman: Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979"},{"key":"7_CR7","volume-title":"Software Development: A Rigorous Approach; Prentice Hall International","author":"CB Jones","year":"1980","unstructured":"Jones, C.B.: Software Development: A Rigorous Approach; Prentice Hall International, 1980"},{"key":"7_CR8","volume-title":"Einf\u00fc;hrung in Software Engineering","author":"R Kimm","year":"1979","unstructured":"Kimm, R. et al: Einf\u00fc;hrung in Software Engineering; De Gruyter, Berlin, 1979"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Kaphengst, H., Reichel, H.: Initial Algebraic Semantics for Non-Context-Free Languages, LNCS 56, pp. 120\u2013126","DOI":"10.1007\/3-540-08442-8_77"},{"key":"7_CR10","series-title":"2. Treffen Gm. Chp. ACM, \u201cSoftware Engineering \u2014 Entwurf und Spezifikation\u201d","volume-title":"Algebraische Spezifikation von Softwaresystemen","author":"H-J Kreowski","year":"1980","unstructured":"Kreowski, H.-J.: Algebraische Spezifikation von Softwaresystemen. 2. Treffen Gm. Chp. ACM, \u201cSoftware Engineering \u2014 Entwurf und Spezifikation\u201d, Berlin 1980"},{"key":"7_CR11","volume-title":"Requirements Engineering; Informatik-Fachberichte 74","author":"H Partsch","year":"1983","unstructured":"Partsch, H.: On the Use of Algebraic Methods for Formal Requirements Definitions. In: Hommel, G. , Kr\u00f6ning, D.(eds.): Requirements Engineering; Informatik-Fachberichte 74, Springer Verlag 1983"},{"key":"7_CR12","unstructured":"Studer, R.: Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces; LNCS 181, pp. 242\u2013258"},{"key":"7_CR13","volume-title":"Specification of Modular Systems","author":"H Weber","year":"1985","unstructured":"Weber, H., Ehrig, H.: Specification of Modular Systems; Techn. Report Nr. 198, Universit\u00e4t Dortmund, 1985"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Zave, P.: The Operational Versus the Conventional Approach to Software Development, Com. ACM, Vol. 27, No. 2, pp. 104\u2013118","DOI":"10.1145\/69610.357982"}],"container-title":["Informatik-Fachberichte","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-09691-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T22:14:43Z","timestamp":1557699283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-09691-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160779","9783662096918"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-09691-8_7","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}