乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:07:10Z","timestamp":1742976430969,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198106"},{"type":"electronic","value":"9783642198113"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_14","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T13:06:18Z","timestamp":1300107978000},"page":"186-201","source":"Crossref","is-referenced-by-count":10,"title":["Type-Safe Evolution of Spreadsheets"],"prefix":"10.1007","author":[{"given":"J\u00e1come","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Joost","family":"Visser","sequence":"additional","affiliation":[]},{"given":"Tiago","family":"Alves","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1145\/1134285.1134312","volume-title":"Proc. of the 28th Int. Conference on Software Engineering","author":"R. Abraham","year":"2006","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: Proc. of the 28th Int. Conference on Software Engineering, pp. 182\u2013191. ACM, New York (2006)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1109\/VLHCC.2005.70","volume-title":"Proc. of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing","author":"R. Abraham","year":"2005","unstructured":"Abraham, R., Erwig, M., Kollmansberger, S., Seifert, E.: Visual specifications of correct spreadsheets. In: Proc. of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 189\u2013196. IEEE Computer Society, Washington, DC, USA (2005)"},{"key":"14_CR3","unstructured":"Alves, T., Silva, P., Visser, J.: Constraint-aware Schema Transformation. In: The Ninth International Workshop on Rule-Based Programming (2008)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11813040_20","volume-title":"FM 2006: Formal Methods","author":"A. Cunha","year":"2006","unstructured":"Cunha, A., Oliveira, J.N., Visser, J.: Type-safe two-level data transformation. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 284\u2013299. Springer, Heidelberg (2006)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2006.10.019","volume":"174","author":"A. Cunha","year":"2007","unstructured":"Cunha, A., Visser, J.: Strongly typed rewriting for coupled software transformation. Electronic Notes on Theoretical Computer Science\u00a0174, 17\u201334 (2007)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"14_CR6","first-page":"11","volume-title":"Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation 2007, Nice, France","author":"A. Cunha","year":"2007","unstructured":"Cunha, A., Visser, J.: Transformation of structure-shy programs: Applied to XPath queries and strategic functions. In: Ramalingam, G., Visser, E. (eds.) Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation 2007, Nice, France, January 15-16, pp. 11\u201320. ACM, New York (2007)"},{"key":"14_CR7","unstructured":"Cunha, J., Beckwith, L., Fernandes, J.P., Saraiva, J.: An empirical study on the influence of different spreadsheet models on end-users performance. Tech. Rep. DI-CCTC-10-10, CCTC, Departamento de Inform\u00e1tica, Universidade do Minho (2010)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/VLHCC.2010.22","volume-title":"Proc. of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing","author":"J. Cunha","year":"2010","unstructured":"Cunha, J., Erwig, M., Saraiva, J.: Automatically inferring classsheet models from spreadsheets. In: Proc. of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 93\u2013100. IEEE Computer Society, Washington, DC, USA (2010)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: Embedding spreadsheet models in spreadsheet systems (2011) (submitted for publication)","DOI":"10.1109\/VLHCC.2011.6070396"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/VLHCC.2009.5295255","volume-title":"Proc. of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing","author":"J. Cunha","year":"2009","unstructured":"Cunha, J., Saraiva, J., Visser, J.: Discovery-based edit assistance for spreadsheets. In: Proc. of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 233\u2013237. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/1101908.1101929","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering","author":"G. Engels","year":"2005","unstructured":"Engels, G., Erwig, M.: ClassSheets: Automatic generation of spreadsheet applications from object-oriented specifications. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, pp. 124\u2013133. ACM, New York (2005)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11737414_3","volume-title":"Functional and Logic Programming","author":"R. Hinze","year":"2006","unstructured":"Hinze, R., L\u00f6h, A., Oliveira, B.: \u201cScrap Your Boilerplate\u201d Reloaded. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 13\u201329. Springer, Heidelberg (2006)"},{"key":"14_CR13","unstructured":"Ko, A., Abraham, R., Beckwith, L., Blackwell, A., Burnett, M., Erwig, M., Scaffidi, C., Lawrence, J., Lieberman, H., Myers, B., Rosson, M., Rothermel, G., Shaw, M., Wiedenbeck, S.: The state of the art in end-user software engineering. J. ACM Computing Surveys (2009)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/BFb0017737","volume-title":"Software Process Technology","author":"M.M. Lehman","year":"1996","unstructured":"Lehman, M.M.: Laws of software evolution revisited. In: Montangero, C. (ed.) EWSPT 1996. LNCS, vol.\u00a01149, pp. 108\u2013124. Springer, Heidelberg (1996)"},{"key":"14_CR15","unstructured":"Luckey, M., Erwig, M., Engels, G.: Systematic evolution of typed (model-based) spreadsheet applications (submitted for publication)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BF00277386","volume":"27","author":"C. Morgan","year":"1990","unstructured":"Morgan, C., Gardiner, P.H.B.: Data refinement by calculation. Acta Informatica\u00a027, 481\u2013503 (1990)","journal-title":"Acta Informatica"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01888215","volume":"2","author":"J.N. Oliveira","year":"1990","unstructured":"Oliveira, J.N.: A reification calculus for model-oriented software specification. Formal Aspects of Computing\u00a02(1), 1\u201323 (1990)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-88643-3_4","volume-title":"GTTSE 2007","author":"J.N. Oliveira","year":"2008","unstructured":"Oliveira, J.N.: Transforming data by calculation. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 134\u2013195. Springer, Heidelberg (2008)"},{"key":"14_CR19","unstructured":"Panko, R.R.: Spreadsheet errors: What we know. What we think we can do. In: Proceedings of the Spreadsheet Risk Symposium, European Spreadsheet Risks Interest Group (July 2000)"},{"key":"14_CR20","unstructured":"Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: type inference for generalised algebraic data types. Tech. Rep. MS-CIS-05-26, Univ. of Pennsylvania (July 2004)"},{"key":"14_CR21","volume-title":"The Art of Modeling with Spreadsheets","author":"S.G. Powell","year":"2003","unstructured":"Powell, S.G., Baker, K.R.: The Art of Modeling with Spreadsheets. John Wiley & Sons, Inc., New York (2003)"},{"key":"14_CR22","unstructured":"Rajalingham, K., Chadwick, D., Knight, B.: Classification of spreadsheet errors. In: European Spreadsheet Risks Interest Group, EuSpRIG (2001)"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1007\/978-3-540-87875-9_44","volume-title":"Model Driven Engineering Languages and Systems","author":"S.D. Vermolen","year":"2008","unstructured":"Vermolen, S.D., Visser, E.: Heterogeneous coupled evolution of software languages. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 630\u2013644. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T08:43:07Z","timestamp":1637397787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}