{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:49Z","timestamp":1750306129547,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T00:00:00Z","timestamp":1505088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["PDSE\/2016, 88881.135242\/2016-01"],"award-info":[{"award-number":["PDSE\/2016, 88881.135242\/2016-01"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,11]]},"DOI":"10.1145\/3129790.3129797","type":"proceedings-article","created":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T13:22:27Z","timestamp":1504876947000},"page":"39-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Taming missions and architecture in software intensive systems-of-systems"],"prefix":"10.1145","author":[{"given":"Eduardo","family":"Silva","sequence":"first","affiliation":[{"name":"Federal University of Rio Grande do Norte (UFRN), Natal, Brazil and University of South Britanny (UBS), Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489857"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48992-6_1"},{"key":"e_1_3_2_1_3_1","first-page":"4","article-title":"21st century processes for acquiring 21st century software-intensive systems of systems","volume":"19","author":"Boehm B.","year":"2006","unstructured":"B. Boehm and J. A. Lane . 2006 . 21st century processes for acquiring 21st century software-intensive systems of systems . The Journal of Defense Software Engineering 19 (2006), 4 -- 9 . B. Boehm and J. A. Lane. 2006. 21st century processes for acquiring 21st century software-intensive systems of systems. The Journal of Defense Software Engineering 19 (2006), 4--9.","journal-title":"The Journal of Defense Software Engineering"},{"key":"e_1_3_2_1_5_1","volume-title":"PRO-VE 2012","author":"Fitzgerald J.","year":"2012","unstructured":"J. Fitzgerald , J. Bryans , and R. Payne . 2012. A Formal Model-Based Approach to Engineering Systems-of-Systems. In Collaborative Networks in the Internet of Services: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises , PRO-VE 2012 , Bournemouth, UK , Oct. , 2012 ., (Eds.). Springer, 53--62. J. Fitzgerald, J. Bryans, and R. Payne. 2012. A Formal Model-Based Approach to Engineering Systems-of-Systems. In Collaborative Networks in the Internet of Services: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, Oct., 2012., (Eds.). Springer, 53--62."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2012.42"},{"volume-title":"Proc. of the 2nd Int. Workshop on Software Engineering for Systems-of-Systems.","author":"Gon\u00e7alves M.","key":"e_1_3_2_1_7_1","unstructured":"M. Gon\u00e7alves , E. Cavalcante , T. Batista , F. Oquendo , and E. Nakagawa . 2014. Towards a Conceptual Model for Software-Intensive System-of-Systems . In Proc. of the 2nd Int. Workshop on Software Engineering for Systems-of-Systems. M. Gon\u00e7alves, E. Cavalcante, T. Batista, F. Oquendo, and E. Nakagawa. 2014. Towards a Conceptual Model for Software-Intensive System-of-Systems. In Proc. of the 2nd Int. Workshop on Software Engineering for Systems-of-Systems."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695795"},{"volume-title":"2016 11th System of Systems Engineering Conference (SoSE). 1--6.","author":"Guessi M.","key":"e_1_3_2_1_9_1","unstructured":"M. Guessi , F. Oquendo , and E. Y. Nakagawa . 2016. Checking the architectural feasibility of Systems-of-Systems using formal descriptions . In 2016 11th System of Systems Engineering Conference (SoSE). 1--6. M. Guessi, F. Oquendo, and E. Y. Nakagawa. 2016. Checking the architectural feasibility of Systems-of-Systems using formal descriptions. In 2016 11th System of Systems Engineering Conference (SoSE). 1--6."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 11th IEEE Int. Conf. on System-of-Systems Engineering.","author":"Oquendo F.","year":"2016","unstructured":"F. Oquendo . 2016 . Formally describing the software architecture of systemsof-systems with SosADL . In Proceedings of the 11th IEEE Int. Conf. on System-of-Systems Engineering. F. Oquendo. 2016. Formally describing the software architecture of systemsof-systems with SosADL. In Proceedings of the 11th IEEE Int. Conf. on System-of-Systems Engineering."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of the 11th IEEE Int. Conference on System-of-Systems Engineering.","author":"Oquendo F.","year":"2016","unstructured":"F. Oquendo . 2016 . &pi;-Calculus for SoS: A foundation for formally describing software-intensive systems-of-systems . In Proc. of the 11th IEEE Int. Conference on System-of-Systems Engineering. F. Oquendo. 2016. &pi;-Calculus for SoS: A foundation for formally describing software-intensive systems-of-systems. In Proc. of the 11th IEEE Int. Conference on System-of-Systems Engineering."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of the 10th Annual System of Systems Engineering Conference (May","author":"Silva E.","year":"2015","unstructured":"E. Silva , T. Batista , and F. Oquendo . 2015. A Mission-Oriented Approach for Designing System-ofSystems . In Proc. of the 10th Annual System of Systems Engineering Conference (May 2015 ). San Antonio, TX, USA. E. Silva, T. Batista, and F. Oquendo. 2015. A Mission-Oriented Approach for Designing System-ofSystems. In Proc. of the 10th Annual System of Systems Engineering Conference (May 2015). San Antonio, TX, USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3103196.3103198"},{"volume-title":"Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. In 21st Int. Conf. on Engineering of Complex Computer Systems (ICECCS'16)","author":"Silva E.","key":"e_1_3_2_1_15_1","unstructured":"E. Silva , E. Cavalcante , T. Batista , and F. Oquendo . 2016 . Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. In 21st Int. Conf. on Engineering of Complex Computer Systems (ICECCS'16) . Dubai, UEA. 201--206. E. Silva, E. Cavalcante, T. Batista, and F. Oquendo. 2016. Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. In 21st Int. Conf. on Engineering of Complex Computer Systems (ICECCS'16). Dubai, UEA. 201--206."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642803.2642829"}],"event":{"name":"ECSA '17: 11th European Conference on Software Architecture","acronym":"ECSA '17","location":"Canterbury United Kingdom"},"container-title":["Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3129790.3129797","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3129790.3129797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:04Z","timestamp":1750217824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3129790.3129797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,11]]},"references-count":15,"alternative-id":["10.1145\/3129790.3129797","10.1145\/3129790"],"URL":"https:\/\/doi.org\/10.1145\/3129790.3129797","relation":{},"subject":[],"published":{"date-parts":[[2017,9,11]]},"assertion":[{"value":"2017-09-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}