{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:25:11Z","timestamp":1725629111941},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156970"},{"type":"electronic","value":"9783642706394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70639-4_16","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T17:00:44Z","timestamp":1320253244000},"page":"193-204","source":"Crossref","is-referenced-by-count":0,"title":["Software-Spezifikation Durch Halbformale, Anschauliche Modelle"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Ludewig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Glinz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Matheis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1976","unstructured":"Chen, P.P.-S. (1976): The Entity-Relationship Model - toward a unified view of data. ACM Transactions on Data Base Systems, 1, 9\u201336.","journal-title":"ACM Transactions on Data Base Systems"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-642-70284-6_10","volume-title":"Datenbanksysteme f\u00fcr B\u00fcro, Technik und Wissenschaft","author":"M Glinz","year":"1985","unstructured":"Glinz, M., H.J. Huser, J. Ludewig (1985): SEED \u2014 A database system for software engineering environments, in Blaser, Pistor (Hrsg.): Datenbanksysteme f\u00fcr B\u00fcro, Technik und Wissenschaft, Informatik-FB 94, Springer, S. 121\u2013126."},{"key":"16_CR3","volume-title":"Programmkonstruktion","author":"G Goos","year":"1976","unstructured":"Goos, G. (1976): Programmkonstruktion. Skriptum, Universit\u00e4t Karlsruhe."},{"key":"16_CR4","first-page":"488","volume":"71","author":"F Kaufmann","year":"1984","unstructured":"Kaufmann, F., D. Schillinger (1984): Funktionale Sprache als anwenderfreundliches Projektierungsmittel. Brown Boveri Mitteilungen, 71, 488\u2013493.","journal-title":"Brown Boveri Mitteilungen"},{"key":"16_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69009-9","volume-title":"Algebraische Spezifikation","author":"HA Klaeren","year":"1983","unstructured":"Klaeren, H.A. (1983): Algebraische Spezifikation. Springer Verlag, Berl in usw."},{"issue":"9","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1060","DOI":"10.1109\/PROC.1980.11805","volume":"68","author":"MM Lehman","year":"1980","unstructured":"Lehman, M.M. (1980): Programs, life cycles, and laws of software evolution. Proc. of the IEEE, 68, 9, 1060\u20131076.","journal-title":"Proc. of the IEEE"},{"key":"16_CR7","first-page":"12","volume":"1982","author":"J Ludewig","year":"1982","unstructured":"Ludewig, J. (1982): Computer aided specification of process control software. IEEE COMPUTER, Mai 1982, 12\u201320.","journal-title":"Mai"},{"key":"16_CR8","first-page":"1985","volume-title":"SPADES \u2014 A specification and design system and its graphical interface. 8th Intern. Conf. on Software Engineering, IEEE","author":"J Ludewig","year":"1985","unstructured":"Ludewig, J., M. Glinz, H.J. Huser, G. Matheis, H. Matheis, M.F. Schmidt (1985): SPADES \u2014 A specification and design system and its graphical interface. 8th Intern. Conf. on Software Engineering, IEEE, London, August 1985."},{"key":"16_CR9","first-page":"189","volume":"5","author":"AL Luft","year":"1984","unstructured":"Luft, A.L. (1984): Zur Bedeutung von Modellen und Modellierungs-Schritten in der Software-Technik. Angewandte Informatik, 5, 189\u2013196.","journal-title":"Angewandte Informatik"},{"key":"16_CR10","first-page":"127","volume-title":"Spezifikation von Realzeit-Systemen \u2014 Konzepte, L\u00f6sungen, Erfahrungen. Schweizerische Gesellschaft f\u00fcr Automatik, Seefeldstr","author":"K-P Reinshagen","year":"1983","unstructured":"Reinshagen, K.-P. (1983): Erfahrungen beim Einsatz eines entwurfsunterst\u00fctzenden Spezifikationssystems. In J. Ludewig: Spezifikation von Realzeit-Systemen \u2014 Konzepte, L\u00f6sungen, Erfahrungen. Schweizerische Gesellschaft f\u00fcr Automatik, Seefeldstr. 301, 8008 Z\u00fcrich, pp.127\u2013152."},{"issue":"7","key":"16_CR11","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout, W., R. Balzer (1982): On the inevitable intertwining of specification and implementation. Commun. ACM, 25, 7, 438\u2013440.","journal-title":"Commun. ACM"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"3","author":"D Teichroew","year":"1977","unstructured":"Teichroew, D., E.A. Hershey III (1977): PSL\/PSA: a computer aided technique for structured documentation and analysis of information processing systems. IEEE Trans. Software Eng., SE-3, 41\u201348.","journal-title":"IEEE Trans. Software Eng"}],"container-title":["Informatik Fachberichte","GI\/OCG\/\u00d6GI-Jahrestagung 1985"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70639-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:53:25Z","timestamp":1606258405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70639-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156970","9783642706394"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70639-4_16","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}