乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:24:09Z","timestamp":1730323449376,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","funder":[{"name":"Spanish Research Network","award":["MCIU-AEI TIN2017-90664-732 REDT"]},{"name":"CAPES","award":["8882.458135\/2019-01"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,2,9]]},"DOI":"10.1145\/3442391.3442398","type":"proceedings-article","created":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T15:53:50Z","timestamp":1612886030000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A variability modeling and transformation approach for safety-critical systems"],"prefix":"10.1145","author":[{"given":"Lucas","family":"Bressan","sequence":"first","affiliation":[{"name":"Universidade Federal de Juiz de Fora, Brazil"}]},{"given":"Andr\u00e9 Luiz","family":"de Oliveira","sequence":"additional","affiliation":[{"name":"Universidade Federal de Juiz de Fora, Brazil"}]},{"given":"Fernanda","family":"Campos","sequence":"additional","affiliation":[{"name":"Universidade Federal de Juiz de Fora, Brazil"}]},{"given":"Rafael","family":"Capilla","sequence":"additional","affiliation":[{"name":"Universidad Rey Juan Carlos Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2021,2,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"246","article-title":"EPM - A prototype tool for variability management in component hierarchies","volume":"2","author":"Abele Andreas","year":"2012","unstructured":"Andreas Abele , Henrik L\u00f6nn , Mark\u00a0Oliver Reiser , Matthias Weber , and Helko Glathe . 2012 . EPM - A prototype tool for variability management in component hierarchies . ACM International Conference Proceeding Series 2 (2012), 246 \u2013 249 . Andreas Abele, Henrik L\u00f6nn, Mark\u00a0Oliver Reiser, Matthias Weber, and Helko Glathe. 2012. EPM - A prototype tool for variability management in component hierarchies. ACM International Conference Proceeding Series 2 (2012), 246\u2013249.","journal-title":"ACM International Conference Proceeding Series"},{"key":"e_1_3_2_1_2_1","first-page":"528","article-title":"The goal question metric approach","volume":"2","author":"Basili R","year":"1994","unstructured":"Victor\u00a0 R Basili , Gianluigi Caldiera , and H\u00a0Dieter Rombach . 1994 . The goal question metric approach . Encyclopedia of Software Engineering 2 (1994), 528 \u2013 532 . Victor\u00a0R Basili, Gianluigi Caldiera, and H\u00a0Dieter Rombach. 1994. The goal question metric approach. Encyclopedia of Software Engineering 2 (1994), 528\u2013532.","journal-title":"Encyclopedia of Software Engineering"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934493"},{"key":"e_1_3_2_1_4_1","volume-title":"CEUR Workshop Proceedings 507","author":"Botterweck Goetz","year":"2009","unstructured":"Goetz Botterweck , Andreas Polzer , and Stefan Kowalewski . 2009 . Using higher-order transformations to derive variability mechanism for embedded systems . CEUR Workshop Proceedings 507 (2009), 107\u2013121. Goetz Botterweck, Andreas Polzer, and Stefan Kowalewski. 2009. Using higher-order transformations to derive variability mechanism for embedded systems. CEUR Workshop Proceedings 507 (2009), 107\u2013121."},{"volume-title":"Evaluation of Novel Approaches to Software Engineering, Leszek\u00a0A","author":"Buchmann Thomas","key":"e_1_3_2_1_5_1","unstructured":"Thomas Buchmann and Felix Schw\u00e4gerl . 2016. Advancing Negative Variability in Model-Driven Software Product Line Engineering . In Evaluation of Novel Approaches to Software Engineering, Leszek\u00a0A . Maciaszek and Joaquim Filipe (Eds.). Springer International Publishing , 1\u201326. Thomas Buchmann and Felix Schw\u00e4gerl. 2016. Advancing Negative Variability in Model-Driven Software Product Line Engineering. In Evaluation of Novel Approaches to Software Engineering, Leszek\u00a0A. Maciaszek and Joaquim Filipe (Eds.). Springer International Publishing, 1\u201326."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336315"},{"key":"#cr-split#-e_1_3_2_1_7_1.1","doi-asserted-by":"crossref","unstructured":"Rafael Capilla Jan Bosch and Kyo\u00a0Chul Kang (Eds.). 2013. Systems and Software Variability Management - Concepts Tools and Experiences. Springer. https:\/\/doi.org\/10.1007\/978-3-642-36583-6 10.1007\/978-3-642-36583-6","DOI":"10.1007\/978-3-642-36583-6"},{"key":"#cr-split#-e_1_3_2_1_7_1.2","doi-asserted-by":"crossref","unstructured":"Rafael Capilla Jan Bosch and Kyo\u00a0Chul Kang (Eds.). 2013. Systems and Software Variability Management - Concepts Tools and Experiences. Springer. https:\/\/doi.org\/10.1007\/978-3-642-36583-6","DOI":"10.1007\/978-3-642-36583-6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Jose\u00a0Luis de\u00a0la Vara Eugenio Parra Alejandra Ruiz and Barbara Gallina. 2019. AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11915 LNCS (2019) 626\u2013632. Jose\u00a0Luis de\u00a0la Vara Eugenio Parra Alejandra Ruiz and Barbara Gallina. 2019. AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11915 LNCS (2019) 626\u2013632.","DOI":"10.1007\/978-3-030-35333-9_49"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791088"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.35"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430508"},{"key":"e_1_3_2_1_13_1","first-page":"266","article-title":"CVL .- Common variability language","author":"Haugen \u00d8ystein","year":"2012","unstructured":"\u00d8ystein Haugen , Andrzej Wasowski , and Krzysztof Czarnecki . 2012 . CVL .- Common variability language . ACM International Conference Proceeding Series 2 , August (2012), 266 \u2013 267 . \u00d8ystein Haugen, Andrzej Wasowski, and Krzysztof Czarnecki. 2012. CVL .- Common variability language. ACM International Conference Proceeding Series 2, August(2012), 266\u2013267.","journal-title":"ACM International Conference Proceeding Series 2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109749"},{"key":"e_1_3_2_1_15_1","unstructured":"IEC. 2010. BS IEC 61508 - Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related System. IEC. 2010. BS IEC 61508 - Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related System."},{"key":"e_1_3_2_1_16_1","volume-title":"Systematic Management of Variability in UML-based Software Product Lines. 16, 17","author":"Junior Oliveira","year":"2010","unstructured":"E.\u00a0A.\u00a0 Oliveira Junior , I.\u00a0M.\u00a0 S. Gimenes , and J.\u00a0 C. Maldonado . 2010. Systematic Management of Variability in UML-based Software Product Lines. 16, 17 ( 2010 ). E.\u00a0A.\u00a0Oliveira Junior, I.\u00a0M.\u00a0S. Gimenes, and J.\u00a0C. Maldonado. 2010. Systematic Management of Variability in UML-based Software Product Lines. 16, 17 (2010)."},{"volume-title":"Modeling variability with UML","author":"Claub M.","key":"e_1_3_2_1_17_1","unstructured":"M. Claub . 2005. Modeling variability with UML . Dresden University of Technology . M. Claub. 2005. Modeling variability with UML. Dresden University of Technology."},{"key":"e_1_3_2_1_18_1","volume-title":"CEUR Workshop Proceedings 1835","author":"Mazzini Silvia","year":"2016","unstructured":"Silvia Mazzini , John Favaro , Stefano Puri , and Laura Baracchi . 2016 . CHESS: An open source methodology and toolset for the development of critical systems . CEUR Workshop Proceedings 1835 (2016), 59\u201366. Silvia Mazzini, John Favaro, Stefano Puri, and Laura Baracchi. 2016. CHESS: An open source methodology and toolset for the development of critical systems. CEUR Workshop Proceedings 1835 (2016), 59\u201366."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64119-5_9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Peter Munk and Arne Nordmann. 2020. Model-based safety assessment with SysML and component fault trees: application and lessons learned. Software and Systems Modeling(2020). Peter Munk and Arne Nordmann. 2020. Model-based safety assessment with SysML and component fault trees: application and lessons learned. Software and Systems Modeling(2020).","DOI":"10.1007\/s10270-020-00782-w"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Edson\u00a0A. Oliveira Maicon\u00a0G. Pazin Itana\u00a0M.S. Gimenes Uir\u00e1 Kulesza and Fellipe\u00a0A. Aleixo. 2013. SMartySPEM: A SPEM-based approach for variability management in software process lines. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7983 LNCS June(2013) 169\u2013183. Edson\u00a0A. Oliveira Maicon\u00a0G. Pazin Itana\u00a0M.S. Gimenes Uir\u00e1 Kulesza and Fellipe\u00a0A. Aleixo. 2013. SMartySPEM: A SPEM-based approach for variability management in software process lines. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7983 LNCS June(2013) 169\u2013183.","DOI":"10.1007\/978-3-642-39259-7_15"},{"key":"e_1_3_2_1_23_1","unstructured":"OMG. 2012. Meta-Object Facility. https:\/\/www.omg.org\/mof\/ OMG. 2012. Meta-Object Facility. https:\/\/www.omg.org\/mof\/"},{"key":"e_1_3_2_1_24_1","unstructured":"OMG. 2017. OMG Systems Modeling Language SysML. https:\/\/www.omg.org\/spec\/SysML\/1.6\/PDF OMG. 2017. OMG Systems Modeling Language SysML. https:\/\/www.omg.org\/spec\/SysML\/1.6\/PDF"},{"key":"e_1_3_2_1_25_1","unstructured":"OMG. 2017. Unified Modeling Language (UML) 2.5. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF OMG. 2017. Unified Modeling Language (UML) 2.5. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2010.09.025"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183523"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"R.Adler D. Domis K. H\u00f6fig S. Kemmann T. Kuhn J.\u00a0P. Schwinn and M. Trapp. 2011. Integration of Component Fault Trees into the UML. In Models in Software Engineering Juergen Dingel and Arnor Solberg (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 312\u2013327. R.Adler D. Domis K. H\u00f6fig S. Kemmann T. Kuhn J.\u00a0P. Schwinn and M. Trapp. 2011. Integration of Component Fault Trees into the UML. In Models in Software Engineering Juergen Dingel and Arnor Solberg (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 312\u2013327.","DOI":"10.1007\/978-3-642-21210-9_30"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Michael Schulze Jan Mauersberger and Danilo Beuche. 2013. Functional safety and variability: Can it be brought together?ACM International Conference Proceeding Series (2013) 236\u2013243. Michael Schulze Jan Mauersberger and Danilo Beuche. 2013. Functional safety and variability: Can it be brought together?ACM International Conference Proceeding Series (2013) 236\u2013243.","DOI":"10.1145\/2491627.2491654"},{"key":"e_1_3_2_1_30_1","series-title":"Lecture Notes in Computer Science, vol 3014","volume-title":"Towards a UML Profile for Software Product Lines. van der Linden F.J. (eds) Software Product-Family Engineering","author":"Ziadi J\u00e9z\u00e9quel","unstructured":"M.\u00a0 J\u00e9z\u00e9quel T.\u00a0 Ziadi , L.\u00a0H\u00e9lou\u00ebt. 2004. Towards a UML Profile for Software Product Lines. van der Linden F.J. (eds) Software Product-Family Engineering . Lecture Notes in Computer Science, vol 3014 . Springer , Berlin, Heidelberg , 129\u2013139. M.\u00a0J\u00e9z\u00e9quel T.\u00a0Ziadi, L.\u00a0H\u00e9lou\u00ebt. 2004. Towards a UML Profile for Software Product Lines. van der Linden F.J. (eds) Software Product-Family Engineering. Lecture Notes in Computer Science, vol 3014. Springer, Berlin, Heidelberg, 129\u2013139."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.15"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791094"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings - 2015 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015. 726\u2013736","author":"W\u00f6lfl Andreas","year":"2016","unstructured":"Andreas W\u00f6lfl , Norbert Siegmund , Sven Apel , Harald Kosch , Johann Krautlager , and Guillermo Weber-Urbina . 2016 . Generating qualifiable avionics software: An experience report . In Proceedings - 2015 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015. 726\u2013736 . Andreas W\u00f6lfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, and Guillermo Weber-Urbina. 2016. Generating qualifiable avionics software: An experience report. In Proceedings - 2015 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015. 726\u2013736."}],"event":{"name":"VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS'21","location":"Krems Austria"},"container-title":["Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3442391.3442398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T18:04:33Z","timestamp":1674065073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3442391.3442398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,9]]},"references-count":33,"alternative-id":["10.1145\/3442391.3442398","10.1145\/3442391"],"URL":"https:\/\/doi.org\/10.1145\/3442391.3442398","relation":{},"subject":[],"published":{"date-parts":[[2021,2,9]]},"assertion":[{"value":"2021-02-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}