{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:04:03Z","timestamp":1725631443055},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590958"},{"type":"electronic","value":"9783642796463"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-3-642-79646-3_9","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T08:48:09Z","timestamp":1320828489000},"page":"150-159","source":"Crossref","is-referenced-by-count":0,"title":["Unterst\u00fctzung des korrektheitszentrierten Entwurfs von Informationssystemen"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Conrad","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Das V-Modell: Der Standard f\u00fcr die Softwareentwicklung mit Praxisleitfaden","author":"A-P Br\u00f6hl","year":"1993","unstructured":"A.-P. Br\u00f6hl and W. Dr\u00f6schel. Das V-Modell: Der Standard f\u00fcr die Softwareentwicklung mit Praxisleitfaden. Oldenbourg-Verlag, M\u00fcnchen, 1993."},{"key":"9_CR2","volume-title":"TU Braunschweig","author":"S Conrad","year":"1992","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92\u201302, TU Braunschweig, 1992."},{"key":"9_CR3","volume-title":"Ein Basiskalk\u00fcl f\u00fcr die Verifikation von Eigenschaften synchron interagierender Objekte. Fortschritt-Berichte Reihe 10, Nr","author":"S Conrad","year":"1994","unstructured":"S. Conrad. Ein Basiskalk\u00fcl f\u00fcr die Verifikation von Eigenschaften synchron interagierender Objekte. Fortschritt-Berichte Reihe 10, Nr. 295. VDI-Verlag, D\u00fcsseldorf, 1994."},{"key":"9_CR4","volume-title":"Information Systems \u2014 Correctness and Reusability, Workshop IS-CORE 91, ESPRIT BRA WG 3023, London, pages 129\u2013178. Informatik-Bericht 91\u201303, Technische Universit\u00e4t Braunschweig","author":"J Fiadeiro","year":"1991","unstructured":"J. Fiadeiro and T. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems \u2014 Correctness and Reusability, Workshop IS-CORE 91, ESPRIT BRA WG 3023, London, pages 129\u2013178. Informatik-Bericht 91\u201303, Technische Universit\u00e4t Braunschweig, 1991."},{"key":"9_CR5","first-page":"722","volume-title":"Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO93), pages 17\u201332","author":"M Gogolla","year":"1993","unstructured":"M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO\u201993), pages 17\u201332. Springer, Berlin, LNCS 722, 1993."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1935","unstructured":"G. Gentzen. Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift, 39: 176\u2013210, 1935.","journal-title":"Mathematische Zeitschrift"},{"key":"9_CR7","unstructured":"R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light In C. Chrisment, editor, Proc. Basque Int. Workshop on Information Technology (BIWIT\u201994)\n                  \n                    )\n                   pages 183\u2013194. C\u00e9padu\u00e8s-\u00c9ditions, Toulouse, 1994."},{"key":"9_CR8","volume-title":"Addison Wesley","author":"A Heuer","year":"1992","unstructured":"A. Heuer. Objektorientierte Datenbanken \u2014 Konzepte, Modelle, Systeme. Addison Wesley, 1992."},{"key":"9_CR9","volume-title":"Proc. Gl-Workshop Benutzungsschnittstellen f\u00fcr Datenbanken, Kassel, 17.\u201318.3.94, pages 43\u201345. GI-Datenbankrundbrief 13, Mai","author":"R Herzig","year":"1994","unstructured":"R. Herzig, H. Fischer, and M. Gogolla. Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen. In L. Wegner, editor, Proc. Gl-Workshop \u201cBenutzungsschnittstellen f\u00fcr Datenbanken\u201e, Kassel, 17.\u201318.3.94, pages 43\u201345. GI-Datenbankrundbrief 13, Mai 1994."},{"key":"9_CR10","volume-title":"Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE 94), pages 4\u201317. Universit\u00e9 du Queb\u00e9c \u00e0 Montr\u00e9al","author":"R Herzig","year":"1994","unstructured":"R. Herzig and M. Gogolla. An Animator for the Object Specification Language TROLL light. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE 94), pages 4\u201317. Universit\u00e9 du Queb\u00e9c \u00e0 Montr\u00e9al, 1994."},{"key":"9_CR11","volume-title":"TU Braunschweig","author":"R Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The THOLL Language. Informatik- Bericht 91\u201304, TU Braunschweig, 1991."},{"issue":"2","key":"9_CR12","first-page":"183","volume":"35","author":"F Kr\u00fcckeberg","year":"1993","unstructured":"F. Kr\u00fcckeberg. Zertifizierung von Software. Wirtschaftsinformatik, 35 (2): 183\u2013186, 1993.","journal-title":"Wirtschaftsinformatik"},{"key":"9_CR13","first-page":"385","volume-title":"2nd Workshop on Computer Science Logic, pages 240\u2013253","author":"B Paech","year":"1988","unstructured":"B. Paech. Gentzen-Systems for Propositional Temporal Logics. In E. B\u00f6rger, H. Kleine B\u00fcning, and M.M. Richter, editors, 2nd Workshop on Computer Science Logic, pages 240\u2013253. Springer, LNCS 385, 1988."},{"key":"9_CR14","volume-title":"Logic and Computer Science) pages 361\u2013385. Academic Press","author":"LC Paulson","year":"1990","unstructured":"L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science\n                  ) pages 361\u2013385. Academic Press, 1990."},{"key":"9_CR15","volume-title":"Prentice-Hall","author":"J Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991."},{"issue":"5","key":"9_CR16","first-page":"267","volume":"16","author":"HD Rombach","year":"1993","unstructured":"H.D. Rombach. Software-Qualit\u00e4t und Qualit\u00e4tssicherung. Informatik Spektrum, 16 (5): 267\u2013272, 1993.","journal-title":"Informatik Spektrum"}],"container-title":["Informatik aktuell","Datenbanksysteme in B\u00fcro, Technik und Wissenschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-79646-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:37:47Z","timestamp":1606412267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-79646-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590958","9783642796463"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-79646-3_9","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1995]]}}}