{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:59Z","timestamp":1763468099582},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308840"},{"type":"electronic","value":"9783642308857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_9","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:50:45Z","timestamp":1340787045000},"page":"122-135","source":"Crossref","is-referenced-by-count":21,"title":["Extending Alloy with Partial Instances"],"prefix":"10.1007","author":[{"given":"Vajih","family":"Montaghami","sequence":"first","affiliation":[]},{"given":"Derek","family":"Rayside","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","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":"9_CR2","volume-title":"Test-Driven Development","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test-Driven Development. Addison-Wesley, Reading (2003)"},{"key":"9_CR3","unstructured":"Cai, Y.: Modularity in Design: Formal Modeling and Automated Analysis. Ph.D. thesis, University of Virginia (August 2006)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Cai, Y., Huynh, S., Xie, T.: A framework and tool supports for testing modularity of software design. In: Egyed, A., Fischer, B. (eds.) Proc. 22nd ASE, Atlanta, GA, pp. 441\u2013444 (November 2007)","DOI":"10.1145\/1321631.1321704"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cai, Y., Sullivan, K.: Modularity analysis of logical design models. In: Easterbrook, S., Uchitel, S. (eds.) Proc. 21st ASE, Tokyo, Japan (September 2006)","DOI":"10.1109\/ASE.2006.53"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-63827-X_68","volume-title":"Scientific Computing in Object-Oriented Parallel Environments","author":"J. Irwin","year":"1997","unstructured":"Irwin, J., Loingtier, J.M., Gilbert, J.R., Kiczales, G., Lamping, J., Mendhekar, A., Shpeisman, T.: Aspect-Oriented Programming of Sparse Matrix Code. In: Sun, Z., Reynders, J.V.W., Tholburn, M. (eds.) ISCOPE 1997. LNCS, vol.\u00a01343, pp. 249\u2013256. Springer, Heidelberg (1997)"},{"key":"9_CR7","unstructured":"Mendel, L.: Modeling by Example. Master\u2019s thesis, MIT (September 2007)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Sullivan, K.J., Griswold, W.G., Cai, Y., Hallen, B.: The structure and value of modularity in software design. In: Proc. 9th FSE, Vienna, Austria, pp. 99\u2013108 (September 2001)","DOI":"10.1145\/503271.503224"},{"key":"9_CR9","unstructured":"Torlak, E.: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Ph.D. thesis, MIT (2009)"},{"key":"9_CR10","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","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:33:20Z","timestamp":1620128000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}