{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:01:24Z","timestamp":1743033684044,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031185557"},{"type":"electronic","value":"9783031185564"}],"license":[{"start":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T00:00:00Z","timestamp":1664323200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T00:00:00Z","timestamp":1664323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-18556-4_16","type":"book-chapter","created":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:04:22Z","timestamp":1675713862000},"page":"351-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SyMPLES: Embedded Systems Design with SMarty"],"prefix":"10.1007","author":[{"given":"Rog\u00e9rio F.","family":"da Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre A.","family":"Giron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Itana M. S.","family":"Gimenes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,28]]},"reference":[{"issue":"6","key":"16_CR1","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1109\/TMECH.2010.2073480","volume":"16","author":"L Bassi","year":"2010","unstructured":"Bassi, L., Secchi, C., Bonfe, M., Fantuzzi, C.: A sysml-based methodology for manufacturing machinery modeling and design. IEEE\/ASME Trans. Mechatron. 16(6), 1049\u20131062 (2010). https:\/\/doi.org\/10.1109\/TMECH.2010.2073480.","journal-title":"IEEE\/ASME Trans. Mechatron."},{"key":"16_CR2","first-page":"01","volume":"2007","author":"D Benavides","year":"2007","unstructured":"Benavides, D., Segura, S., Trinidad, P., Cort\u00e9s, A.R.: FAMA: Tooling a framework for the automated analysis of feature models. VaMoS 2007, 01 (2007)","journal-title":"VaMoS"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Berger, A.S.: Embedded Systems Design: An Introduction to Processes, Tools, and Techniques. CRC Press, Boca Raton (2001). https:\/\/doi.org\/10.1201\/9781482280715","DOI":"10.1201\/9781482280715"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Beuche, D.: Industrial variant management with pure:: variants. In: Proceedings of the 23rd International Systems and Software Product Line Conference-Volume B, pp. 37\u201339. ACM (2019). https:\/\/doi.org\/10.1145\/3307630.3342391","DOI":"10.1145\/3307630.3342391"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based test generation for model transformations: An algorithm and a tool. In: Software Reliability Engineering, 2006. ISSRE\u201906. 17th International Symposium on, pp. 85\u201394. IEEE (2006). https:\/\/doi.org\/10.1109\/ISSRE.2006.27","DOI":"10.1109\/ISSRE.2006.27"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Chaturvedi, D.K.: Modeling and Simulation of Systems Using MATLAB and Simulink. CRC Press, Boca Raton (2017). https:\/\/doi.org\/10.1201\/9781315218335","DOI":"10.1201\/9781315218335"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11219-014-9237-3","volume":"23","author":"K Fawaz","year":"2015","unstructured":"Fawaz, K., Zaraket, F., Masri, W., Harkous, H.: Pbcov: a property-based coverage criterion. Softw. Qual. J. 23(1), 171\u2013202 (2015). https:\/\/doi.org\/10.1007\/s11219-014-9237-3","journal-title":"Softw. Qual. J."},{"key":"16_CR8","doi-asserted-by":"publisher","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: Testing model transformations. In: Proceedings of the 2004 First International Workshop on Model, Design and Validation, 2004, pp. 29\u201340. IEEE (2004). https:\/\/doi.org\/10.1109\/MODEVA.2004.1425846","DOI":"10.1109\/MODEVA.2004.1425846"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Fragal, V.H., Silva, R.F., Gimenes, I.M.S., OliveiraJr, E.: Application engineering for embedded systems-transforming sysml specification to Simulink within a product-line based approach. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, no. 2, pp. 94\u2013101 (2013). https:\/\/doi.org\/10.5220\/0004402600940101","DOI":"10.5220\/0004402600940101"},{"issue":"5","key":"16_CR10","doi-asserted-by":"publisher","first-page":"364","DOI":"10.17706\/jsw.12.5.364-378","volume":"12","author":"AA Giron","year":"2017","unstructured":"Giron, A.A., Gimenes, I.M.S., OliveiraJr, E.: Case study of test case generation based on metamodel for model transformations. J. Softw. 12(5), 364\u2013378 (2017). https:\/\/doi.org\/10.17706\/jsw.12.5.364-378","journal-title":"J. Softw."},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.3844\/jcssp.2018.108.121","volume":"14","author":"AA Giron","year":"2018","unstructured":"Giron, A.A., Gimenes, I.M.S., OliveiraJr, E.: Evaluation of test case generation based on a software product line for model transformation. J. Comput. Sci. 14(1), 108\u2013121 (2018). https:\/\/doi.org\/10.3844\/jcssp.2018.108.121","journal-title":"J. Comput. Sci."},{"key":"16_CR12","first-page":"12","volume":"11","author":"S Guermazi","year":"2015","unstructured":"Guermazi, S., Tatibouet, J., Cuccuru, A., Dhouib, S., G\u00e9rard, S., Seidewitz, E.: Executable modeling with fuml and alf in papyrus: tooling and experiments. Strategies 11, 12 (2015)","journal-title":"Strategies"},{"issue":"1\u20132","key":"16_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: Atl: A model transformation tool. Sci. Comput. Programm. 72(1\u20132), 31\u201339 (2008). https:\/\/doi.org\/10.1016\/j.scico.2007.08.002","journal-title":"Sci. Comput. Programm."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of model transformations \u2013 First experiences using a white box approach. In: In Proceedings of MODEVA\u201906 (Model Design and Validation Workshop Associated to MODELS\u201906), pp. 193\u2013204. Springer (2006). https:\/\/doi.org\/10.1007\/978-3-540-69489-2_24.","DOI":"10.1007\/978-3-540-69489-2_24"},{"key":"16_CR15","volume-title":"Embedded System Design","author":"P Marwedel","year":"2006","unstructured":"Marwedel, P.: Embedded System Design, vol. 1. Springer, Berlin (2006). https:\/\/doi.org\/10.1007\/978-3-030-60910-8"},{"key":"16_CR16","volume-title":"MDA Distilled: Principles of Model-Driven Architecture","author":"SJ Mellor","year":"2004","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley Professional, Boston (2004)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, M., Branco, M., Cowan, D.: Splot: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761\u2013762. ACM (2009). https:\/\/doi.org\/10.1145\/1639950.1640002","DOI":"10.1145\/1639950.1640002"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: Automatic model generation strategies for model transformation testing. In: Theory and Practice of Model Transformations, pp. 148\u2013164. Springer, Berlin (2009). https:\/\/doi.org\/10.1007\/978-3-642-02408-5_11","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Silva, R.F., Fragal, V., OliveiraJr, E., Gimenes, I.M.S., Oquendo, F.: SyMPLES: a SysML-based approach for developing embedded systems software product lines. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, no. 2, pp. 257\u2013264 (2013). https:\/\/doi.org\/10.5220\/0004446802570264","DOI":"10.5220\/0004446802570264"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Tiso, A., Reggio, G., Leotta, M.: Early experiences on model transformation testing. In: Proceedings of the First Workshop on the Analysis of Model Transformations, pp. 15\u201320. ACM (2012). https:\/\/doi.org\/10.1145\/2432497.2432501","DOI":"10.1145\/2432497.2432501"},{"key":"16_CR21","volume-title":"Systems Engineering with SysML\/UML: Modeling, Analysis","author":"T Weilkiens","year":"2011","unstructured":"Weilkiens, T.: Systems Engineering with SysML\/UML: Modeling, Analysis, Design. Morgan Kaufmann OMG Press. Elsevier, Amsterdam (2011)"}],"container-title":["UML-Based Software Product Line Engineering with SMarty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-18556-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T21:12:04Z","timestamp":1675717924000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-18556-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,28]]},"ISBN":["9783031185557","9783031185564"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-18556-4_16","relation":{},"subject":[],"published":{"date-parts":[[2022,9,28]]},"assertion":[{"value":"28 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}