{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T16:10:42Z","timestamp":1741882242789,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540103882"},{"type":"electronic","value":"9783642678387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67838-7_17","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:29Z","timestamp":1320229169000},"page":"213-224","source":"Crossref","is-referenced-by-count":2,"title":["Konstruktive Abstrakte Datentypen"],"prefix":"10.1007","author":[{"given":"H.","family":"Wedekind","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","first-page":"3","volume-title":"\u00d6VD-On-line","author":"P Bull","year":"1979","unstructured":"Bull, P.: Zur verfassungsrechtlichen Verankerung des Datenschutzes, in \u00d6VD-On-line, (1979), Heft 11, S. 3\u20138."},{"issue":"6","key":"17_CR2","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1147\/rd.206.0560","volume":"20","author":"DD Chamberlin","year":"1976","unstructured":"Chamberlin, D.D. et al.: SEQUEL2: A unified approach to data definition, manipulation and control, in IBM Journal of Research and Development, Vol. 20, No. 6, Nov. 1976, S. 560\u2013575.","journal-title":"IBM Journal of Research and Development"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Eswaran, K.P. and Chamberlin, D.D.: Functional specification of a subsystem for database integrity, in: Proc. of the Ing. Conference on VLDB 1975, Framingham, Ma, Sept. 22\u201324, 1975, S. 48\u201368.","DOI":"10.1145\/1282480.1282484"},{"key":"17_CR4","first-page":"319","volume":"12","author":"G Frege","year":"1903","unstructured":"Frege, G.: Ober die Grundlagen der Geometrie, in Jahresberichte der Deutschen Mathematiker-Vereinigung (DMV), Band 12 (1903), S. 319\u2013323, S. 368\u2013375, Band 15 (1906), S. 293\u2013309, S. 377\u2013403, S. 423\u2013430.","journal-title":"Jahresberichte der Deutschen Mathematiker-Vereinigung (DMV)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"JV Guttag","year":"1978","unstructured":"Guttag, J.V. und Horning, H.H.: The algebraic specification of abstract data types, in: Acta Informatica, Vol. 10 (1978), S. 27\u201352.","journal-title":"Acta Informatica"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Habermann, A.N.: On the concurrency of parallel processes, in: Jones, A.K. (Hrsg.): Perspectives in computer science, Academic Press, New York, S. 77\u201390.","DOI":"10.1016\/B978-0-12-389450-2.50011-6"},{"key":"17_CR7","volume-title":"Die Implementierung von Datenbanksystemen","author":"T H\u00e4rder","year":"1978","unstructured":"H\u00e4rder, Th.: Die Implementierung von Datenbanksystemen, Carl Hanser Verlag, M\u00fcnchen, 1978."},{"key":"17_CR8","volume-title":"Grundz\u00fcge der Begriffsbildung in der empirischen Wissenschaft","author":"CG Hempel","year":"1974","unstructured":"Hempel, C.G.: Grundz\u00fcge der Begriffsbildung in der empirischen Wissenschaft, Bertelsmann Universit\u00e4tsverlag, D\u00fcsseldorf, 1974."},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for programming, in: Comm. of the ACM, Vol. 12 (1969), No. 10, S. 576\u2013583.","journal-title":"Comm. of the ACM"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/3-540-09085-1","volume-title":"Operating Systems","author":"AK Jones","year":"1978","unstructured":"Jones, A.K.: The object model \u2014 A conceptual tool for structuring software, in: Bayer, R. e.a. (Hrsg.): Operating Systems, Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg-New York, 1978, S. 8\u201316."},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"BH Liskov","year":"1975","unstructured":"Liskov, B.H. und Zilles, S.N.: Specification techniques for data abstraction, in: IEEE Transactions on Software Engineering, SE-1, (1975), S. 7\u201319.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR12","first-page":"113","volume-title":"Konstruktive Wissenschaftstheorie","author":"P Lorenzen","year":"1974","unstructured":"Lorenzen, P.: Konstruktivismus und Hermeneutik, in: Lorenzen, P.: Konstruktive Wissenschaftstheorie, Suhrkamp Verlag, Frankfurt, 1974, S. 113\u2013119."},{"key":"17_CR13","first-page":"219","volume-title":"Konstruktive Wissenschaftstheorie","author":"P Lorenzen","year":"1974","unstructured":"Lorenzen, P.: Konstruktive und axiomatische Methode, in: Lorenzen, P.: Konstruktive Wissenschaftstheorie, Suhrkamp Verlag, Frankfurt, 1974, S. 219\u2013233."},{"key":"17_CR14","first-page":"190","volume-title":"Konstruktive Wissenschaftstheorie","author":"P Lorenzen","year":"1974","unstructured":"Lorenzen, P.: Gleichheit und Abstraktion, in: Lorenzen, P.: Konstruktive Wissenschaftstheorie, Suhrkamp Verlag, Frankfurt, 1974, S. 190\u2013198."},{"key":"17_CR15","volume-title":"Konstruktive Logik, Ethik und Wissenschaftstheorie","author":"P Lorenzen","year":"1975","unstructured":"Lorenzen, P. und Schwemmer, O.: Konstruktive Logik, Ethik und Wissenschaftstheorie, Bibliographisches Institut, Mannheim, 1975."},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: A technique for software module specification with examples, in: Comm. of the ACM, Vol. 15 (1972), Nr. 5, S. 330\u2013336.","journal-title":"Comm. of the ACM"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules, in: Comm. of the ACM, Vol. 15 (1972), No. 12, S. 1053\u20131058.","journal-title":"Comm. of the ACM"},{"key":"17_CR18","first-page":"339","volume-title":"Proc. of 1971 IFIP Congress in Lublijana, Vol. 1","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: Information distribution aspects of design methodology, in: Proc. of 1971 IFIP Congress in Lublijana, Vol. 1, North-Holland, Amsterdam, 1972, S. 339\u2013344."},{"key":"17_CR19","volume-title":"Hauptstr\u00f6mungen der Gegenwartsphilosophie, Band I","author":"W Steg\u00fcller","year":"1976","unstructured":"Steg\u00fcller, W.: Hauptstr\u00f6mungen der Gegenwartsphilosophie, Band I, Kr\u00f6ner-Verlag, Stuttgart, 1976."},{"key":"17_CR20","series-title":"Studien \u00fcber das normative Fundament der Wissenschaften am Beispiel von Mathematik und Sozial-Wissenschaften","volume-title":"Grundlagenkrise und Grundlagenstreit","author":"C Thiel","year":"1974","unstructured":"Thiel, Chr.: Grundlagenkrise und Grundlagenstreit. Studien \u00fcber das normative Fundament der Wissenschaften am Beispiel von Mathematik und Sozial-Wissenschaften, Meisenheim, 1974."},{"key":"17_CR21","series-title":"UTB-Taschenbuch 147","first-page":"9","volume-title":"Grundprobleme der gro\u00dfen Philosophen, Philosophie der Gegenwart I","author":"C Thiel","year":"1972","unstructured":"Thiel, Chr.: Gottlob Frege \u2014 Die Abstraktion, in: Grundprobleme der gro\u00dfen Philosophen, Philosophie der Gegenwart I, S. 9\u201344, UTB-Taschenbuch 147, Vandenhoeck & Rupprecht, G\u00f6ttingen, 1972."},{"key":"17_CR22","volume-title":"Datenbanktechnologie","author":"H Wedekind","year":"1979","unstructured":"Wedekind, H.: Eine Methodologie zur Konstruktion des Konzeptionellen Schemas, in: Niedereichholz, J. (Hrsg.): Datenbanktechnologie, Teubner-Verlag, Stuttgart, 1979."},{"key":"17_CR23","volume-title":"Systematisches Konstruieren von Datenbankanwendungen \u2014 Zur Methodologie der Angewandten Informatik","author":"H Wedekind","year":"1980","unstructured":"Wedekind, H. und Ortner, E.: Systematisches Konstruieren von Datenbankanwendungen \u2014 Zur Methodologie der Angewandten Informatik, Carl Hanser Verlag, M\u00fcnchen, 1980."}],"container-title":["Informatik-Fachberichte","GI - 10. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67838-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T15:43:42Z","timestamp":1741880622000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67838-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540103882","9783642678387"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67838-7_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}