{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:49:27Z","timestamp":1725752967745},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319026534"},{"type":"electronic","value":"9783319026541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02654-1_19","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T01:25:32Z","timestamp":1382318732000},"page":"344-364","source":"Crossref","is-referenced-by-count":5,"title":["Partial Instances via Subclassing"],"prefix":"10.1007","author":[{"given":"Kacper","family":"B\u0105k","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zinovy","family":"Diskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Antkiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"AUTOSAR Partnership: Release 4.1, \n                    \n                      http:\/\/www.autosar.org\/\n                    \n                    \n                   (online; accessed August 2013)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Barcel\u00f3, P., Libkin, L., Poggi, A., Sirangelo, C.: XML with incomplete information: models, properties, and query answering. In: PODS (2009)","DOI":"10.1145\/1559795.1559832"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-19440-5_7","volume-title":"Software Language Engineering","author":"K. B\u0105k","year":"2011","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and meta-models in clafer: Mixed, specialized, and coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 102\u2013122. Springer, Heidelberg (2011)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"B\u0105k, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., W\u0105sowski, A., Rayside, D.: Example-Driven Modeling. Model = Abstractions + Examples. In: ICSE (2013)","DOI":"10.1109\/ICSE.2013.6606696"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration through specialization and multilevel configuration of feature models. SPIP\u00a010(2) (2005)","DOI":"10.1002\/spip.225"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"19_CR7","unstructured":"Daniel, J.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B.: Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling. DKE\u00a047 (2003)","DOI":"10.1016\/S0169-023X(03)00047-8"},{"key":"19_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-44590-0_30","volume-title":"Theory and Application of Diagrams","author":"Z. Diskin","year":"2000","unstructured":"Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol.\u00a01889, pp. 345\u2013360. Springer, Heidelberg (2000)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: Towards modeling and reasoning with uncertainty. In: ICSE (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"19_CR11","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional (2012)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Imieli\u0144ski, T., Lipski, W.: Incomplete information in relational databases. JACM\u00a031(4) (1984)","DOI":"10.1145\/1634.1886"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Janzen, D., Saiedian, H.: Test-driven development concepts, taxonomy, and future direction. Computer\u00a038(9) (2005)","DOI":"10.1109\/MC.2005.314"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Nowak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep. CMU\/SEI-90-TR-21, CMU (1990)","DOI":"10.21236\/ADA235785"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/3-540-58907-4_31","volume-title":"Database Theory - ICDT \u201995","author":"L. Libkin","year":"1995","unstructured":"Libkin, L.: Approximation in databases. In: Vardi, M.Y., Gottlob, G. (eds.) ICDT 1995. LNCS, vol.\u00a0893, pp. 411\u2013424. Springer, Heidelberg (1995)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-22655-7_14","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Modal Object Diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 281\u2013305. Springer, Heidelberg (2011)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-30885-7_9","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"V. Montaghami","year":"2012","unstructured":"Montaghami, V., Rayside, D.: Extending Alloy with Partial Instances. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 122\u2013135. Springer, Heidelberg (2012)"},{"key":"19_CR18","unstructured":"OMG: Meta Object Facility (MOF) Core Specification (2011)"},{"key":"19_CR19","unstructured":"OMG: OMG Unified Modeling Language (2011)"},{"key":"19_CR20","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-02571-6_4","volume-title":"Objects, Components, Models and Patterns","author":"A. Rutle","year":"2009","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A diagrammatic formalisation of MOF-based modelling languages. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 37\u201356. Springer, Heidelberg (2009)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02654-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T17:24:47Z","timestamp":1558632287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02654-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026534","9783319026541"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02654-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}