{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:50Z","timestamp":1762458470377},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_23","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"309-323","source":"Crossref","is-referenced-by-count":16,"title":["Simplifying Transformations of OCL Constraints"],"prefix":"10.1007","author":[{"given":"Martin","family":"Giese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Larsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and Systems Modeling\u00a04(1) (2005)","DOI":"10.1007\/s10270-004-0058-x"},{"key":"23_CR2","first-page":"389","volume-title":"Informatik 2000, 30. Jahrestagung der Gesellschaft f\u00fcr Infomatik","author":"T. Baar","year":"2000","unstructured":"Baar, T., H\u00e4hnle, R., Sattler, T., Schmitt, P.H.: Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. In: Mehlhorn, K., Snelting, G. (eds.) Informatik 2000, 30. Jahrestagung der Gesellschaft f\u00fcr Infomatik, September 2000, pp. 389\u2013404. Springer, Heidelberg (2000)"},{"issue":"1","key":"23_CR3","first-page":"17","volume":"98","author":"B. Beckert","year":"2004","unstructured":"Beckert, B., Giese, M., Habermalz, E., H\u00e4hnle, R., Roth, A., R\u00fcmmer, P., Schlager, S.: Taclets: A new paradigm for constructing interactive theorem provers. Revista de la Real Academia de Ciencias Exactas, F\u00edsicas y Naturales, Serie A: Matem\u00e1ticas (RACSAM)\u00a098(1), 17\u201353 (2004), Special Issue on Symbolic Computation in Logic and Artificial Intelligence","journal-title":"Revista de la Real Academia de Ciencias Exactas, F\u00edsicas y Naturales, Serie A: Matem\u00e1ticas (RACSAM)"},{"key":"23_CR4","series-title":"ch. 9","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1016\/B978-044450813-3\/50011-4","volume-title":"Handbook of Automated Reasoning","author":"N. Dershowitz","year":"2001","unstructured":"Dershowitz, N., Plaisted, D.A.: Rewriting. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning. ch. 9, vol.\u00a0I, pp. 535\u2013610. Elsevier Science, Amsterdam (2001)"},{"key":"23_CR5","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"23_CR6","unstructured":"Giese, M., H\u00e4hnle, R., Larsson, D.: Rule-based simplification of OCL constraints. In: Patrascoiu, O., et al. (eds.) Workshop on OCL and Model Driven Engineering at UML 2004, Lisbon, pp. 84\u201398 (2004)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-540-30187-5_15","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"M. Giese","year":"2004","unstructured":"Giese, M., Heldal, R.: From informal to formal specifications in UML. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 197\u2013211. Springer, Heidelberg (2004)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45923-5_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. H\u00e4hnle","year":"2002","unstructured":"H\u00e4hnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 233\u2013248. Springer, Heidelberg (2002)"},{"key":"23_CR9","unstructured":"Johannisson, K.: Disambiguating implicit constructions in OCL. In: Workshop on OCL and Model Driven Engineering at UML 2004, Lisbon (2004)"},{"key":"23_CR10","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"23_CR11","series-title":"Foundations, Applied Logic Series","first-page":"399","volume-title":"Automated Deduction \u2014 A Basis for Applications","author":"T. Nipkow","year":"1998","unstructured":"Nipkow, T., Prehofer, C.: Higher-order rewriting and equational reasoning. In: Bibel, W., Schmitt, P. (eds.) Automated Deduction \u2014 A Basis for Applications. Foundations, Applied Logic Series, vol.\u00a0I(8), pp. 399\u2013430. Kluwer, Dordrecht (1998)"},{"key":"23_CR12","volume-title":"Object Technology","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. In: Object Technology, 2nd edn., Addison-Wesley, Reading (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:10Z","timestamp":1619507350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11557432_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}