{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:24:56Z","timestamp":1725690296482},"publisher-location":"Wiesbaden","reference-count":11,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783519026464"},{"type":"electronic","value":"9783322912305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-322-91230-5_1","type":"book-chapter","created":{"date-parts":[[2012,7,4]],"date-time":"2012-07-04T17:46:58Z","timestamp":1341424018000},"page":"9-28","source":"Crossref","is-referenced-by-count":0,"title":["Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen"],"prefix":"10.1007","author":[{"given":"Grit","family":"Denker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Broy. (Inter-)Action Refinement: The Easy Way. In S. Meldal and M. Haveraaen, editors, Proc. of the 4th Nordic Workshop on Program Correctness, Department of Informatics, University of Bergen, Norway, April 1993. Reports in Informatics; Report No. 78.","DOI":"10.1007\/978-3-662-02880-3_5"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/358396.358400","volume":"25","author":"EF Codd","year":"1982","unstructured":"E. F. Codd. Relational Database: A Practical Foundation of Productivity. Communications of the ACM, 25: 109\u2013117, 1982.","journal-title":"Communications of the ACM"},{"key":"1_CR3","unstructured":"G. Denker. Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, volume 6 of Reihe DISDBIS. infix-Verlag, Sankt Augustin, 1996."},{"key":"1_CR4","volume-title":"Informatik-Bericht 97-03, Technische Universit\u00e4t Braunschweig","author":"G Denker","year":"1997","unstructured":"G. Denker and P. Hartel. TROLL - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics. Informatik-Bericht 97\u201303, Technische Universit\u00e4t Braunschweig, 1997."},{"key":"1_CR5","unstructured":"Espirito Santo Data Informatica, Lisbon. OBLOG CASE V1.0 -The User\u2019s Guide. ESDI, Av. Alvares Cabral 41\u20135, 1200 Lisbon, Portugal, 1993."},{"issue":"23","key":"1_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0306-4379(97)00006-9","volume":"22","author":"P Hartel","year":"1997","unstructured":"P. Hartel, G. Denker, M. Kowsari, M. Krone, and H.-D. Ehrich. Information systems modelling with TROLL formal methods at work. Information Systems, 22 (2\u20133): 79\u201399, 1997.","journal-title":"Information Systems"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. TROLL\u2013A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14 (2): 175\u2013211, April 1996.","journal-title":"ACM Transactions on Information Systems"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","author":"K Lodaya","year":"1992","unstructured":"K. Lodaya, R. Ramanujam, and P.S. Thiagarajan. Temporal Logics for Communicating Sequential Agents. Int. Journal of Foundations of Computer Science, 3 (2): 117\u2013159, 1992.","journal-title":"Int. Journal of Foundations of Computer Science"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"G. Saake. Descriptive Specification of Database Object Behaviour. Data \u00e94 Knowledge Engineering,6(1):47\u201374, 1991. North-Holland.","DOI":"10.1016\/0169-023X(91)90015-P"},{"key":"1_CR11","first-page":"107","volume-title":"Proc. 13th Int. Conf. on Very Large Databases VLDB87","author":"A Sernadas","year":"1987","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB\u201987, pages 107\u2013116. VLDB Endowment Press, Saratoga (CA), 1987."}],"container-title":["Ausgezeichnete Informatikdissertationen 1996"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-91230-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T20:45:18Z","timestamp":1619988318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-322-91230-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783519026464","9783322912305"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-91230-5_1","relation":{},"subject":[],"published":{"date-parts":[[1998]]}}}