{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:27:12Z","timestamp":1742916432014,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031663253"},{"type":"electronic","value":"9783031663260"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-66326-0_23","type":"book-chapter","created":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T12:59:46Z","timestamp":1722257986000},"page":"375-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Slicing and\u00a0Visualizing F\u2019 Topologies with\u00a0F\u2019Prism"],"prefix":"10.1007","author":[{"given":"Jialong","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Tsigkanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshihide","family":"Ubukata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa Yumi","family":"Nakagawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Mao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nianyu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Tei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,30]]},"reference":[{"key":"23_CR1","unstructured":"Astah: Premier diagramming, modeling software & tools. https:\/\/astah.net\/. Accessed 25 Jun 2023"},{"key":"23_CR2","unstructured":"Enterprise architect. https:\/\/sparxsystems.com\/. Accessed 06 Jul 2023"},{"key":"23_CR3","unstructured":"F\u2019 flight software & embedded systems framework. https:\/\/nasa.github.io\/fprime\/. Accessed 20 Jun 2023"},{"key":"23_CR4","unstructured":"Magic draw support (deprecated). https:\/\/nasa.github.io\/fprime\/v2.0.1\/UsersGuide\/dev\/magicdraw.html. Accessed 20 Jun 2023"},{"key":"23_CR5","unstructured":"Magicdraw. https:\/\/www.3ds.com\/products-services\/catia\/products\/no-magic\/magicdraw\/. Accessed 20 Jun 2023"},{"key":"23_CR6","unstructured":"Papyrus. https:\/\/www.papyrus.com\/. Accessed 25 Jun 2023"},{"key":"23_CR7","unstructured":"Staruml. https:\/\/staruml.io\/. Accessed 25 Jun 2023"},{"key":"23_CR8","unstructured":"Visual paradigm. https:\/\/www.visual-paradigm.com. Accessed 25 Jun 2023"},{"issue":"6","key":"23_CR9","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1002\/spe.4380230603","volume":"23","author":"H Agrawal","year":"1993","unstructured":"Agrawal, H., Demillo, R.A., Spafford, E.H.: Debugging with dynamic slicing and backtracking. Software Pract. Experien. 23(6), 589\u2013616 (1993). https:\/\/doi.org\/10.1002\/spe.4380230603","journal-title":"Software Pract. Experien."},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1111\/cgf.14723","volume":"42","author":"A Arleo","year":"2023","unstructured":"Arleo, A., Tsigkanos, C., Leite, R.A., Dustdar, S., Miksch, S., Sorger, J.: Visual exploration of financial data with incremental domain knowledge. Comput. Graph. Forum 42(1), 101\u2013116 (2023). https:\/\/doi.org\/10.1111\/cgf.14723","journal-title":"Comput. Graph. Forum"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.5381\/jot.2007.6.6.a5","volume":"6","author":"L Balmelli","year":"2007","unstructured":"Balmelli, L.: The systems modeling language for products and systems development. J. Object Technol. 6, 149\u2013177 (2007). https:\/\/doi.org\/10.5381\/jot.2007.6.6.a5","journal-title":"J. Object Technol."},{"key":"23_CR12","doi-asserted-by":"publisher","unstructured":"Bates, S., Horwitz, S.: Incremental program testing using program dependence graphs. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL \u201993, New York, NY, USA, pp. 384\u2013396. Association for Computing Machinery (1993). https:\/\/doi.org\/10.1145\/158511.158694","DOI":"10.1145\/158511.158694"},{"key":"23_CR13","doi-asserted-by":"publisher","unstructured":"Beck, J., Eichmann, D.: Program and interface slicing for reverse engineering. In: Proceedings of 1993 15th International Conference on Software Engineering, pp. 509\u2013518 (1993). https:\/\/doi.org\/10.1109\/ICSE.1993.346015","DOI":"10.1109\/ICSE.1993.346015"},{"key":"23_CR14","unstructured":"Bocchino, R.: F Prime Layout (FPL) (2021). https:\/\/github.com\/fprime-community\/fprime-layout. Accessed 20 Jun 2023"},{"key":"23_CR15","unstructured":"Bocchino, R.: F prime visualizer (fpv) (2021). https:\/\/github.com\/fprime-community\/fprime-visual. Accessed 20 Jun 2023"},{"key":"23_CR16","unstructured":"Bocchino, R., Canham, T., Watney, G., Reder, L., Levison, J.: F Prime: an open-source framework for small-scale flight software systems. In: 32nd Annual Small Satellite Conference (2018)"},{"key":"23_CR17","doi-asserted-by":"publisher","unstructured":"Bocchino, R.L., Levison, J.W., Starch, M.D.: FPP: a modeling language for f prime. In: 2022 IEEE Aerospace Conference (AERO), pp. 1\u201315 (2022). https:\/\/doi.org\/10.1109\/AERO53065.2022.9843754","DOI":"10.1109\/AERO53065.2022.9843754"},{"key":"23_CR18","doi-asserted-by":"publisher","unstructured":"Canham, T.: The mars ingenuity helicopter - a victory for open-source software. In: 2022 IEEE Aerospace Conference (AERO), pp. 01\u201311 (2022). https:\/\/doi.org\/10.1109\/AERO53065.2022.9843438","DOI":"10.1109\/AERO53065.2022.9843438"},{"key":"23_CR19","unstructured":"cdmuhlb: Grafprime (2020). https:\/\/github.com\/cdmuhlb\/GraFPrime. Accessed 20 Jun 2023"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11888116_19","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"D Colangelo","year":"2006","unstructured":"Colangelo, D., Compare, D., Inverardi, P., Pelliccione, P.: Reducing software architecture models complexity: a slicing and abstraction approach. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 243\u2013258. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11888116_19"},{"key":"23_CR21","doi-asserted-by":"publisher","unstructured":"De\u00a0Lucia, A., Fasolino, A., Munro, M.: Understanding function behaviors through program slicing. In: WPC \u201996. 4th Workshop on Program Comprehension, pp. 9\u201318 (1996). https:\/\/doi.org\/10.1109\/WPC.1996.501116","DOI":"10.1109\/WPC.1996.501116"},{"issue":"8","key":"23_CR22","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1109\/32.83912","volume":"17","author":"K Gallagher","year":"1991","unstructured":"Gallagher, K., Lyle, J.: Using program slicing in software maintenance. IEEE Trans. Software Eng. 17(8), 751\u2013761 (1991). https:\/\/doi.org\/10.1109\/32.83912","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR23","doi-asserted-by":"publisher","unstructured":"Kim, T., Song, Y.T., Chung, L., Huynh, D.T.: Software architecture analysis: a dynamic slicing approach. ACIS Int. J Comp. Inf. Sci. 1(2), 91\u2013103 (2000). https:\/\/doi.org\/10.5555\/543107.543111","DOI":"10.5555\/543107.543111"},{"key":"23_CR24","unstructured":"Kolhof, M., Rawson, W., Yanakieva, R., Loomis, A., Lightsey, E.G., Peet, S.: Lessons learned from the gt-1 1u cubesat mission. In: 35nd AIAA\/USU Conference on Small Satellites (2021)"},{"key":"23_CR25","doi-asserted-by":"publisher","unstructured":"Lalchandani, J.T., Mall, R.: Regression testing based-on slicing of component-based software architectures. In: Proceedings of the 1st India Software Engineering Conference. ISEC \u201908, New York, NY, USA, pp. 67\u201376. Association for Computing Machinery (2008). https:\/\/doi.org\/10.1145\/1342211.1342227","DOI":"10.1145\/1342211.1342227"},{"issue":"1","key":"23_CR26","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/43.108623","volume":"11","author":"L Larmore","year":"1992","unstructured":"Larmore, L., Gajski, D., Wu, A.H.: Layout placement for sliced architecture. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(1), 102\u2013114 (1992). https:\/\/doi.org\/10.1109\/43.108623","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"23_CR27","unstructured":"LeStarch: Ref (2021). https:\/\/github.com\/nasa\/fprime\/tree\/master\/Ref. Accessed 20 Jun 2023"},{"key":"23_CR28","unstructured":"LeStarch, h.: fprime-tutorial-hello-world (2023). https:\/\/github.com\/fprime-community\/fprime-tutorial-hello-world. Accessed 20 Jun 2023"},{"key":"23_CR29","unstructured":"LeStarch, kevin-f-ortega, J.A.: fprime-workshop-led-blinker (2023). https:\/\/github.com\/fprime-community\/fprime-workshop-led-blinker. Accessed 20 Jun 2023"},{"issue":"5","key":"23_CR30","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1093\/COMJNL\/BXT025","volume":"57","author":"L Lun","year":"2014","unstructured":"Lun, L., Chi, X., Xu, H.: The relationship between forward slicing and backward slicing for software architecture. Comput. J. 57(5), 744\u2013758 (2014). https:\/\/doi.org\/10.1093\/COMJNL\/BXT025","journal-title":"Comput. J."},{"key":"23_CR31","unstructured":"Martin, G.: Newspace: The emerging commercial space industry (2017). nASA Ames Research Center"},{"key":"23_CR32","unstructured":"Halvorson, M., et al.: Model-based systems engineering and f\u2019: proof of concept via the creation of an on-orbit textual command parsing component for the abex mission. 35th AIAA Space Conference (2021)"},{"key":"23_CR33","unstructured":"Network, A.S.: Asn aircraft accident airbus a320-211 d-aipn warsaw-okecie airport (1993). https:\/\/aviation-safety.net\/database\/record.php?id=19930914-2"},{"issue":"5","key":"23_CR34","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/175290.175295","volume":"37","author":"JQ Ning","year":"1994","unstructured":"Ning, J.Q., Engberts, A., Kozaczynski, W.V.: Automated support for legacy code understanding. Commun. ACM 37(5), 50\u201357 (1994). https:\/\/doi.org\/10.1145\/175290.175295","journal-title":"Commun. ACM"},{"issue":"5","key":"23_CR35","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/800020.808263","volume":"19","author":"KJ Ottenstein","year":"1984","unstructured":"Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. SIGPLAN Not. 19(5), 177\u2013184 (1984). https:\/\/doi.org\/10.1145\/800020.808263","journal-title":"SIGPLAN Not."},{"key":"23_CR36","unstructured":"Pong, C.M.: On-orbit performance & operation of the attitude & pointing control subsystems on Asteria. In: 32nd AIAA\/USU Conference on Small Satellites (2018)"},{"key":"23_CR37","unstructured":"Pressman, R.S.: Software Engineering: A Practitioner\u2019s Approach, 4th edn. McGraw-Hill (1994)"},{"key":"23_CR38","unstructured":"Rich, T.: The development and application of the f prime magicdraw plug-in user handbook. In: 34th AIAA\/USU Conference on Small Satellites (2020)"},{"key":"23_CR39","unstructured":"Shaw, M., Garlan, D.: Software Architecture - Perspectives on an Emerging Discipline. Prentice Hall (1996)"},{"key":"23_CR40","unstructured":"E.C. for Space\u00a0Standardization: Software engineering handbook. ecss-e-hb-40a (2011). https:\/\/ecss.nl\/hbstms\/ecss-q-hb-80-01a-reuse-of-existing-software\/"},{"key":"23_CR41","doi-asserted-by":"publisher","unstructured":"Tsigkanos, C., Nianyu, L., Jin, Z., Zhenjiang, H., Ghezzi, C.: Scalable multiple-view analysis of reactive systems via bidirectional model transformations. In: 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 993\u20131003. IEEE (2020). https:\/\/doi.org\/10.1145\/3324884.3416579","DOI":"10.1145\/3324884.3416579"},{"key":"23_CR42","unstructured":"Weiser, M.D.: Program slicing. In: Jeffrey, S., Stucki, L.G. (eds.) Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9\u201312, 1981, pp. 439\u2013449. IEEE Computer Society (1981)"},{"key":"23_CR43","unstructured":"Yost, B., et al.: State-of-the-art small spacecraft technology p. 1-366 (NASA Ames Reserach Center, 2021) (2021)"},{"key":"23_CR44","doi-asserted-by":"publisher","unstructured":"Zhao, J.: A slicing-based approach to extracting reusable software architectures. In: Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pp. 215\u2013223 (2000). https:\/\/doi.org\/10.1109\/CSMR.2000.827330","DOI":"10.1109\/CSMR.2000.827330"},{"key":"23_CR45","doi-asserted-by":"publisher","unstructured":"Zhao, J.: Applying slicing technique to software architectures. In: Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193). pp. 87\u201398 (1998). https:\/\/doi.org\/10.1109\/ICECCS.1998.706659","DOI":"10.1109\/ICECCS.1998.706659"}],"container-title":["Lecture Notes in Computer Science","Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66326-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T13:04:32Z","timestamp":1722258272000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66326-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031663253","9783031663260"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66326-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"30 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Istanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"71","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}