{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:38:35Z","timestamp":1725521915585},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_12","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T07:05:56Z","timestamp":1227683156000},"page":"169-184","source":"Crossref","is-referenced-by-count":2,"title":["Snapshot Generation in a Constructive Object-Oriented Modeling Language"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Ferrari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camillo","family":"Fiorentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Momigliano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. In: CUP (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D.S. Batory","year":"2005","unstructured":"Batory, D.S.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/11787044_24","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"A. Boronat","year":"2006","unstructured":"Boronat, A., Oriente, J., G\u00f3mez, A., Ramos, I., Cars\u00ed, J.\u00c1.: An algebraic specification of generic OCL queries within the eclipse modeling framework. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 316\u2013330. Springer, Heidelberg (2006)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-540-31980-1_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Bouquet","year":"2005","unstructured":"Bouquet, F., Dadeau, F., Legeard, B., Utting, M.: JML-testing-tools: A symbolic animator for JML specifications using CLP. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 551\u2013556. Springer, Heidelberg (2005)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., et al.: Strong and weak constraints in disjunctive Datalog. In: Dix et al. [6]. pp. 2\u201317","DOI":"10.1007\/3-540-63255-7_2"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"1997","unstructured":"Dix, J., Furbach, U., Nerode, A. (eds.): LPNMR 1997. LNCS, vol.\u00a01265. Springer, Heidelberg (1997)"},{"key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T. Fruewirth","year":"2003","unstructured":"Fruewirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, New York (2003)"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and System Modeling"},{"key":"12_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: languages and tools for formal specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J.: Larch: languages and tools for formal specification. Springer, New York (1993)"},{"key":"12_CR10","volume-title":"Lightweight formal method","author":"D. Jackson","year":"1996","unstructured":"Jackson, D., Wing, J.: Lightweight formal method. IEEE Computer, Los Alamitos (1996)"},{"key":"12_CR11","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall, Upper Saddle River, NJ (2004)"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. SIGSOFT Softw. Eng. Notes\u00a031(3), 1\u201338 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log.\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"12_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-24609-1_15","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V.W. Marek","year":"2003","unstructured":"Marek, V.W., Niemel\u00e4, I., Truszczy\u0144ski, M.: Logic programs with monotone cardinality atoms. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 154\u2013166. Springer, Heidelberg (2003)"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1305\/ndjfl\/1093634996","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M., Usberti, G.: A constructivism based on classical truth. Notre Dame Journal of Formal Logic\u00a030(1), 67\u201390 (1989)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-45212-6_19","volume-title":"Embedded Software","author":"S. Neema","year":"2003","unstructured":"Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design-space exploration and model synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003, vol.\u00a02855, pp. 290\u2013305. Springer, Heidelberg (2003)"},{"key":"12_CR17","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal lp. In: Dix et al. [6]. pp. 421\u2013430"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"issue":"1","key":"12_CR19","first-page":"67","volume":"153","author":"M. Ornaghi","year":"2006","unstructured":"Ornaghi, M., Benini, M., Ferrari, M., Fiorentini, C., Momigliano, A.: A constructive object oriented modeling language for information systems. ENTCS\u00a0153(1), 67\u201390 (2006)","journal-title":"ENTCS"},{"key":"12_CR20","unstructured":"Ornaghi, M., Fiorentini, C.: Answer set semantics vs. information term semantics. In: Informal Proceedings of ASP 2007: Answer Set Programming: Advances in Theory and Implementation, \n                    \n                      http:\/\/cooml.dsi.unimi.it\/papers\/asp.pdf"},{"issue":"3\u20134","key":"12_CR21","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF01530784","volume":"12","author":"T.C. Przymusinski","year":"1994","unstructured":"Przymusinski, T.C.: Well-founded and stationary models of logic programs. Ann. Math. Artif. Intell.\u00a012(3\u20134), 141\u2013187 (1994)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20132","key":"12_CR22","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0304-3975(97)00172-2","volume":"211","author":"A.S. Troelstra","year":"1999","unstructured":"Troelstra, A.S.: From constructivism to computer science. TCS\u00a0211(1\u20132), 233\u2013252 (1999)","journal-title":"TCS"},{"key":"12_CR23","volume-title":"Object Technology Series","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modelling with UML. In: Object Technology Series, Addison-Wesley, Reading, MA (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T23:41:27Z","timestamp":1551656487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}