乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T22:19:51Z","timestamp":1674080391970},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,3,16]],"date-time":"2014-03-16T00:00:00Z","timestamp":1394928000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s10270-014-0403-7","type":"journal-article","created":{"date-parts":[[2014,3,18]],"date-time":"2014-03-18T05:38:36Z","timestamp":1395121116000},"page":"377-395","source":"Crossref","is-referenced-by-count":3,"title":["ReFlO: an interactive tool for pipe-and-filter domain specification and program generation"],"prefix":"10.1007","volume":"15","author":[{"given":"Rui C.","family":"Gon\u00e7alves","sequence":"first","affiliation":[]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o L.","family":"Sobral","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,16]]},"reference":[{"key":"403_CR1","unstructured":"Garlan, D., Shaw, M.: An Introduction to Software Architecture. Carnegie Mellon University, Technical Report. CMU-CS-94-166 (1994)"},{"key":"403_CR2","doi-asserted-by":"crossref","unstructured":"Crnkovic, I.: Building Reliable Component-Based Software Systems. M. Larsson, Ed. Artech House Inc., Norwood, USA (2002)","DOI":"10.1145\/638574.638587"},{"key":"403_CR3","unstructured":"The LabVIEW Environment, http:\/\/www.ni.com\/labview\/"},{"key":"403_CR4","doi-asserted-by":"crossref","unstructured":"Gorlick, M.M., Razouk, R.R.: Using weaves for software construction and analysis. In: ICSE \u201991: Proceedings of the 13th International Conference on Software Engineering, pp. 23\u201334 (1991)","DOI":"10.1109\/ICSE.1991.130620"},{"key":"403_CR5","unstructured":"Simulink\u2013Simulation and Model-Based Design, http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"403_CR6","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.: The Fractal Component Model, http:\/\/fractal.ow2.org (2004)"},{"key":"403_CR7","volume-title":"Model Driven Architecture Applying MDA to Enterprise Computing","author":"DS Frankel","year":"2003","unstructured":"Frankel, D.S.: Model Driven Architecture Applying MDA to Enterprise Computing. Wiley, New York (2003)"},{"key":"403_CR8","unstructured":"Green, C., Luckham, D., Balzer, R., Cheatham, T., Rich, C.: Report on a Knowledge-Based Software Assistant. Kestrel Institute, Technical Report (1983)"},{"key":"403_CR9","doi-asserted-by":"crossref","unstructured":"Marker, B., Poulson, J., Batory, D., van de Geijn, R.: Designing linear algebra algorithms by transformation: mechanizing the expert developer. In: iWAPT \u201912: International Workshop on Automatic Performance Tuning (2012)","DOI":"10.1007\/978-3-642-38718-0_34"},{"key":"403_CR10","unstructured":"Das, D.: Making Database Optimizers More Extensible. Ph.D. dissertation. The University of Texas at Austin (1995)"},{"issue":"4","key":"403_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: Program development by stepwise refinement. Commun. ACM 14(4), 221\u2013227 (1971)","journal-title":"Commun. ACM"},{"issue":"6","key":"403_CR12","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"BH Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"403_CR13","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Taylor, R.N.: A language and environment for architecture-based software development and evolution. In: ICSE \u201999: Proceedings of the 21st International Conference on Software engineering, pp. 44\u201353 (1999)","DOI":"10.1145\/302405.302410"},{"key":"403_CR14","unstructured":"Wikipedia, \u201cComponent-based software engineering\u201d, http:\/\/en.wikipedia.org\/wiki\/Component-based_software_engineering (2013)"},{"issue":"4","key":"403_CR15","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/136586.136587","volume":"1","author":"D Batory","year":"1992","unstructured":"Batory, D., O\u2019Malley, S.W.: The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Methodol. (TOSEM) 1(4), 355\u2013398 (1992)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"403_CR16","unstructured":"Perry, D.E.: Version control in the inscape environment. In: ICSE \u201987: Proceedings of the 9th International Conference on Software Engineering, pp. 142\u2013149 (1987)"},{"issue":"2","key":"403_CR17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.entcs.2005.04.029","volume":"137","author":"RF Paige","year":"2005","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.A.C.: Refinement via consistency checking in MDA. Electron. Notes Theor. Comput. Sci. 137(2), 151\u2013161 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"403_CR18","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Sch\u00fcrr, A., Wagelaar, D.: Surveying rule inheritance in model to model transformation languages. J. Object Technol. 11(2), 3:1\u20133:46 (2012)","DOI":"10.5381\/jot.2012.11.2.a3"},{"key":"403_CR19","doi-asserted-by":"crossref","unstructured":"Liskov, B., Wing, J.M.: A new definition of the subtype relation. In: ECOOP \u201993: Proceedings of the 7th European Conference on Object-Oriented Programming, pp. 118\u2013141 (1993)","DOI":"10.1007\/3-540-47910-4_8"},{"key":"403_CR20","doi-asserted-by":"crossref","unstructured":"Rich\u00e9, T.L., Gon\u00e7alves, R.C., Marker, B., Batory, D.: Pushouts in software architecture design. In: GPCE \u201912: Proceedings of the 11th ACM International Conference on Generative Programming and Component Engineering, pp. 84\u201392 (2012)","DOI":"10.1145\/2371401.2371415"},{"key":"403_CR21","unstructured":"Gon\u00e7alves, R.C.: Parallel Programming by Transformation. Ph.D. dissertation, Departamento de Inform\u00e1tica, Universidade do Minho (to appear)"},{"key":"403_CR22","doi-asserted-by":"crossref","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: ECMDA-FA \u201909: Proceedings of the 5th European Conference on Model Driven Architecture-Foundations and Applications, pp. 18\u201333 (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"403_CR23","unstructured":"Marker, B., Batory, D., Shepherd, C.: DxTer: A Program Synthesizer for Dense Linear Algebra. The University of Texas at Austin, Department of Computer Science, Technical Report (2012)"},{"key":"403_CR24","doi-asserted-by":"crossref","unstructured":"Marker, B., Terrel, A., Poulson, J., Batory, D., van de Geijn, R.: Mechanizing the expert dense linear algebra developer. In: PPoPP \u201912: Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 289\u2013290 (2012)","DOI":"10.1145\/2145816.2145858"},{"key":"403_CR25","unstructured":"Batory, D., Marker, B.: Correctness Proofs of the Gamma Database Machine Architecture. University of Texas Department of Computer Science TR-11-17 (2011)"},{"issue":"1","key":"403_CR26","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/69.50905","volume":"2","author":"DJ DeWitt","year":"1990","unstructured":"DeWitt, D.J., Ghandeharizadeh, S., Schneider, D.A., Bricker, A., Hsiao, H.I., Rasmussen, R.: The gamma database machine project. IEEE Trans. Knowl. Data Eng. 2(1), 44\u201362 (1990)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"403_CR27","doi-asserted-by":"crossref","unstructured":"Baru, C.K., Fecteau, G., Goyal, A., Hsiao, H., Jhingran, A., Padmanabhan, S., Copeland, G.P., Wilson, W.G.: DB2 parallel edition. IBM Sys. J. 34(2) , 292\u2013322 (1995)","DOI":"10.1147\/sj.342.0292"},{"issue":"7","key":"403_CR28","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1145\/362686.362692","volume":"13","author":"BH Bloom","year":"1970","unstructured":"Bloom, B.H.: Space\/time trade-offs in hash coding with allowable errors. Commun. ACM 13(7), 422\u2013426 (1970)","journal-title":"Commun. ACM"},{"key":"403_CR29","unstructured":"Neighbors, J.M.: Software Construction Using Components. Ph.D. dissertation, Department of Information and Computer Science, University of California, Irvine (1980)"},{"key":"403_CR30","doi-asserted-by":"crossref","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.P.: StreamIt: a language for streaming applications. In: CC \u201902: Proceedings of the 11th International Conference on Compiler Construction, pp. 179\u2013196 (2002)","DOI":"10.1007\/3-540-45937-5_14"},{"key":"403_CR31","unstructured":"Dataflow application areas, http:\/\/www.ni.com\/labview\/applications\/ (2013)"},{"key":"403_CR32","unstructured":"TreeMap (Java Platform SE 7), http:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/util\/TreeMap.html (2013)"},{"key":"403_CR33","unstructured":"ATL\u2014a model transformation technology, http:\/\/www.eclipse.org\/atl\/"},{"key":"403_CR34","unstructured":"Epsilon, http:\/\/www.eclipse.org\/gmt\/epsilon\/"},{"key":"403_CR35","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D.: Model transformation by example. In: MODELS \u201906: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, pp. 410\u2013424 (2006)","DOI":"10.1007\/11880240_29"},{"key":"403_CR36","doi-asserted-by":"crossref","unstructured":"Baar, T., Whittle, J.: On the usage of concrete syntax in model transformation rules. In: PSI \u201906: Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, pp. 84\u201397 (2006)","DOI":"10.1007\/978-3-540-70881-0_10"},{"key":"403_CR37","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: HICSS \u201907: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)","DOI":"10.1109\/HICSS.2007.572"},{"key":"403_CR38","doi-asserted-by":"crossref","unstructured":"Sun, Y., White, J., Gray, J.: Model transformation by demonstration. In: MODELS \u201909: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, pp. 712\u2013726 (2009)","DOI":"10.1007\/978-3-642-04425-0_58"},{"key":"403_CR39","doi-asserted-by":"crossref","unstructured":"Saada, H., Dolquesa, X., Huchard, M., Nebut, C., Sahraoui, H.: Generation of operational transformation rules from examples of model transformations. In: MODELS \u201912: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, pp. 546\u2013561 (2012)","DOI":"10.1007\/978-3-642-33666-9_35"},{"key":"403_CR40","doi-asserted-by":"crossref","unstructured":"Varr\u00f3 D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: SAC \u201907: Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 978\u2013984 (2007)","DOI":"10.1145\/1244002.1244217"},{"key":"403_CR41","doi-asserted-by":"crossref","unstructured":"Egyed, A., Mehta, N.R., Medvidovic, N.: Software connectors and refinement in family architectures. In: IW-SAPF-3: Proceedings of the International Workshop on Software Architectures for Product Families, pp. 96\u2013106 (2000)","DOI":"10.1007\/978-3-540-44542-5_12"},{"key":"403_CR42","doi-asserted-by":"crossref","unstructured":"Heckel, R., Th\u00f6ne, S.: Behavior-preserving refinement relations between dynamic software architectures. In: WADT\u2019 04: Proceedings of the 17th International Workshop on Algebraic Development, Techniques, pp. 1\u201327 (2004)","DOI":"10.1007\/978-3-540-31959-7_1"},{"key":"403_CR43","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., VanGorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"403_CR44","doi-asserted-by":"crossref","unstructured":"Sun, Y., Gray, J., White, J.: MT-scribe: an end-user approach to automate software model evolution. In: ICSE \u201911: Proceedings of the 33rd International Conference on Software Engineering, pp. 980\u2013982 (2011)","DOI":"10.1145\/1985793.1985966"},{"key":"403_CR45","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation Vol I Foundations. World Scientific, Singapore (1997)","DOI":"10.1142\/9789812384720"},{"key":"403_CR46","volume-title":"Hyperedge Replacement: Grammars and Languages","author":"A Habel","year":"1992","unstructured":"Habel, A.: Hyperedge Replacement: Grammars and Languages. Springer, New York (1992)"},{"key":"403_CR47","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Applications of Graph Transformations with Industrial Relevance, vol. 3062, pp. 446\u2013453. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"403_CR48","doi-asserted-by":"crossref","unstructured":"Lohman, G.M.: Grammar-like functional rules for representing query optimization alternatives. In: SIGMOD \u201988: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, pp. 18\u201327 (1988)","DOI":"10.1145\/50202.50204"},{"key":"403_CR49","doi-asserted-by":"crossref","unstructured":"Selinger, P.G., Astrahan, M.M., Chamberlin, D.D., Lorie, R.A., Price, T.G.: Access path selection in a relational database management system. In: SIGMOD \u201979: Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, pp. 23\u201334 (1979)","DOI":"10.1145\/582095.582099"},{"key":"403_CR50","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K., Iida, S.: Component-based algebraic specification and verification in CafeOBJ. In: FM \u201999: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II, pp. 1644\u20131663 (1999)","DOI":"10.1007\/3-540-48118-4_37"},{"issue":"2","key":"403_CR51","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"403_CR52","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1177\/1094342004041291","volume":"18","author":"M P\u00fcschel","year":"2004","unstructured":"P\u00fcschel, M., Moura, J.M.F., Singer, B., Xiong, J., Johnson, J., Padua, D., Veloso, M., Johnson, R.W.: Spiral: a generator for platform-adapted libraries of signal processing algorithms. Int. J. High Perform. Comput. Appl. 18(1), 21\u201345 (2004)","journal-title":"Int. J. High Perform. Comput. Appl."},{"key":"403_CR53","doi-asserted-by":"crossref","unstructured":"Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I.: Amphion: automatic programming for scientific subroutine libraries. In: ISMIS \u201994: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems, pp. 326\u2013335 (1994)","DOI":"10.1007\/3-540-58495-1_33"},{"key":"403_CR54","unstructured":"Thies, W.: Language and Compiler Support for Stream Programs. Ph.D. dissertation. MIT (2008)"},{"issue":"1","key":"403_CR55","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Sachs, S., Xiong, Y., Neuendorffer, S.: Taming heterogeneity\u2014the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"403_CR56","unstructured":"Combemale, B., Cr\u00e9gut, X., Giacometti, J.-P., Michel, P., Pantel, M.: Introducing simulation and model animation in the MDE topcased toolkit. In: ERTS \u201908: 4th European Congress Embedded Real Time Software (2008)"},{"key":"403_CR57","doi-asserted-by":"crossref","unstructured":"Dotan, D., Kirshin, A.: Debugging and testing behavioral UML models. In: OOPSLA \u201907: Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion, pp. 838\u2013839 (2007)","DOI":"10.1145\/1297846.1297915"},{"key":"403_CR58","doi-asserted-by":"crossref","unstructured":"Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured petri nets. In: ICATPN \u201903: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, pp. 450\u2013462 (2003)","DOI":"10.1007\/3-540-44919-1_28"},{"key":"403_CR59","doi-asserted-by":"crossref","unstructured":"Fritzsche, M., Johannes, J.: Putting performance engineering into model-driven engineering: model-driven performance engineering. In: Models in Software Engieering, pp. 164\u2013175. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69073-3_18"},{"key":"403_CR60","doi-asserted-by":"crossref","unstructured":"Becker, S.: Coupled model transformations. In: WOSP \u201908: Proceedings of the 7th International Workshop on Software and Performance, pp. 103\u2013114 (2008)","DOI":"10.1145\/1383559.1383573"},{"issue":"8","key":"403_CR61","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1016\/j.peva.2009.07.007","volume":"67","author":"H Koziolek","year":"2010","unstructured":"Koziolek, H.: Performance evaluation of component-based software systems: a survey. Perform. Eval. 67(8), 634\u2013658 (2010)","journal-title":"Perform. Eval."},{"key":"403_CR62","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: WOSP \u201905: Proceedings of the 5th International Workshop on Software and Performance, pp. 25\u201336 (2005)","DOI":"10.1145\/1071021.1071024"},{"issue":"7","key":"403_CR63","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1109\/TSE.2006.69","volume":"32","author":"S Kounev","year":"2006","unstructured":"Kounev, S.: Performance modeling and evaluation of distributed component-based systems using queueing petri nets. IEEE Trans. Softw. Eng. 32(7), 486\u2013502 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"403_CR64","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"issue":"6","key":"403_CR65","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TPAMI.1982.4767310","volume":"4","author":"H Bunke","year":"1982","unstructured":"Bunke, H.: Attributed programmed graph grammars and their application to schematic diagram interpretation. IEEE Trans. Pattern Anal. Mach. Intell. 4(6), 574\u2013582 (1982)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"403_CR66","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL \u201977: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"403_CR67","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Berlin (1999)"},{"issue":"2","key":"403_CR68","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1109\/JPROC.2004.840489","volume":"93","author":"SZ Guyer","year":"2005","unstructured":"Guyer, S.Z., Lin, C.: Broadway: a compiler for exploiting the domain-specific semantics of software libraries. Proc. IEEE 93(2), 342\u2013357 (2005)","journal-title":"Proc. IEEE"},{"key":"403_CR69","doi-asserted-by":"crossref","unstructured":"Perry, D.E.: The inscape environment. In: ICSE \u201989: Proceedings of the 11th International Conference on Software Engineering, pp. 2\u201311. ACM (1989)","DOI":"10.1145\/74587.74588"},{"issue":"8","key":"403_CR70","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/75309.75322","volume":"14","author":"DE Perry","year":"1989","unstructured":"Perry, D.E.: The logic of propagation in the inscape environment. ACM SIGSOFT Softw. Eng. Notes 14(8), 114\u2013121 (1989)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"2","key":"403_CR71","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/32.585497","volume":"23","author":"D Batory","year":"1997","unstructured":"Batory, D., Geraci, B.J.: Composition validation and subjectivity in GenVoca generators. IEEE Trans. Softw. Eng. 23(2), 67\u201382 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"403_CR72","doi-asserted-by":"crossref","unstructured":"Feiler, P., Li, J.: Consistency in dynamic reconfiguration. In: ICCDS \u201998: Proceedings of the Fourth International Conference on Configurable Distributed Systems, pp. 189\u2013196 (1998)","DOI":"10.1109\/CDS.1998.675773"},{"key":"403_CR73","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations. In: MODELS \u201909: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, pp. 342\u2013356 (2009)","DOI":"10.1007\/978-3-642-04425-0_26"},{"key":"403_CR74","unstructured":"Eclipse, http:\/\/eclipse.org"},{"key":"403_CR75","unstructured":"Eclipse Modeling Framework, http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"403_CR76","unstructured":"Graphical Editing Framework, http:\/\/www.eclipse.org\/gef\/"},{"key":"403_CR77","unstructured":"Eclipse graphical modeling framework, http:\/\/www.eclipse.org\/gmf\/"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0403-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0403-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0403-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T03:08:28Z","timestamp":1648609708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0403-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,16]]},"references-count":77,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["403"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0403-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,16]]}}}