{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T19:35:12Z","timestamp":1781897712240,"version":"3.54.5"},"reference-count":152,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T00:00:00Z","timestamp":1443052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["287829"],"award-info":[{"award-number":["287829"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2015,11,21]]},"abstract":"<jats:p>The term \u201cSystem of Systems\u201d (SoS) has been used since the 1950s to describe systems that are composed of independent constituent systems, which act jointly towards a common goal through the synergism between them. Examples of SoS arise in areas such as power grid technology, transport, production, and military enterprises. SoS engineering is challenged by the independence, heterogeneity, evolution, and emergence properties found in SoS. This article focuses on the role of model-based techniques within the SoS engineering field. A review of existing attempts to define and classify SoS is used to identify several dimensions that characterise SoS applications. The SoS field is exemplified by a series of representative systems selected from the literature on SoS applications. Within the area of model-based techniques the survey specifically reviews the state of the art for SoS modelling, architectural description, simulation, verification, and testing. Finally, the identified dimensions of SoS characteristics are used to identify research challenges and future research areas of model-based SoS engineering.<\/jats:p>","DOI":"10.1145\/2794381","type":"journal-article","created":{"date-parts":[[2015,9,29]],"date-time":"2015-09-29T19:22:29Z","timestamp":1443554549000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":368,"title":["Systems of Systems Engineering"],"prefix":"10.1145","volume":"48","author":[{"given":"Claus Ballegaard","family":"Nielsen","sequence":"first","affiliation":[{"name":"Aarhus University, Shrivenham, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[{"name":"Aarhus University, Aarhus N, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[{"name":"University of York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,9,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652271"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.17.11.661"},{"key":"e_1_2_1_3_1","first-page":"1","article-title":"Specification of system-of-systems for policymaking in the energy sector","volume":"8","author":"Agusdinata Datu Buyung","year":"2008","unstructured":"Datu Buyung Agusdinata and Daniel DeLaurentis . 2008 . Specification of system-of-systems for policymaking in the energy sector . Integrated Assessment Journal 8 , 2 (2008), 1 -- 24 . Datu Buyung Agusdinata and Daniel DeLaurentis. 2008. Specification of system-of-systems for policymaking in the energy sector. Integrated Assessment Journal 8, 2 (2008), 1--24.","journal-title":"Integrated Assessment Journal"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928036"},{"key":"e_1_2_1_5_1","volume-title":"The Complexity of Cooperation: Agent-Based Models of Competition and Collaboration","author":"Axelrod Robert","unstructured":"Robert Axelrod . 1997. The Complexity of Cooperation: Agent-Based Models of Competition and Collaboration . Princeton University Press . Robert Axelrod. 1997. The Complexity of Cooperation: Agent-Based Models of Competition and Collaboration. Princeton University Press."},{"key":"e_1_2_1_6_1","volume-title":"22nd Pacific Northwest Software Quality Conference. 180--196","author":"Bach J.","unstructured":"J. Bach and P. Schroeder . 2004. Pairwise testing\u2014A best practice that isn\u2019t . In 22nd Pacific Northwest Software Quality Conference. 180--196 . J. Bach and P. Schroeder. 2004. Pairwise testing\u2014A best practice that isn\u2019t. In 22nd Pacific Northwest Software Quality Conference. 180--196."},{"key":"e_1_2_1_7_1","volume-title":"Jens Grabowski, \u00d8ystein Haugen, Ina Schieferdecker, and Clay Williams.","author":"Baker Paul","year":"2008","unstructured":"Paul Baker , Zhen Ru Dai , Jens Grabowski, \u00d8ystein Haugen, Ina Schieferdecker, and Clay Williams. 2008 . Model Driven Testing\u2014Using the UML Testing Profile. Springer . Paul Baker, Zhen Ru Dai, Jens Grabowski, \u00d8ystein Haugen, Ina Schieferdecker, and Clay Williams. 2008. Model Driven Testing\u2014Using the UML Testing Profile. Springer."},{"key":"e_1_2_1_8_1","volume-title":"IEEE International Conference on System of Systems Engineering (SoSE\u201909)","author":"Baldwin W. C.","unstructured":"W. C. Baldwin and B. Sauser . 2009. Modeling the characteristics of system of systems . In IEEE International Conference on System of Systems Engineering (SoSE\u201909) . IEEE. W. C. Baldwin and B. Sauser. 2009. Modeling the characteristics of system of systems. In IEEE International Conference on System of Systems Engineering (SoSE\u201909). IEEE."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1997.637291"},{"key":"e_1_2_1_10_1","volume-title":"Ron Batdorf, Hao Chen, Hoa Generazio, Harcharanjit Singh, and Steve Tucker.","author":"Bar-Yam Yaneer","year":"2004","unstructured":"Yaneer Bar-Yam , Mary Ann Allison , Ron Batdorf, Hao Chen, Hoa Generazio, Harcharanjit Singh, and Steve Tucker. 2004 . The characteristics and emerging behaviors of system of systems. NECSI : Complex Physical, Biological and Social Systems Project , 1--16. Yaneer Bar-Yam, Mary Ann Allison, Ron Batdorf, Hao Chen, Hoa Generazio, Harcharanjit Singh, and Steve Tucker. 2004. The characteristics and emerging behaviors of system of systems. NECSI: Complex Physical, Biological and Social Systems Project, 1--16."},{"key":"e_1_2_1_11_1","volume-title":"Philosophical Perspectives: Mind, Causation, and World.","author":"Bedau Mark A.","unstructured":"Mark A. Bedau . 1997. Weak emergence . In Philosophical Perspectives: Mind, Causation, and World. Vol. 11 . Blackwell , 375--399. Mark A. Bedau. 1997. Weak emergence. In Philosophical Perspectives: Mind, Causation, and World. Vol. 11. Blackwell, 375--399."},{"key":"e_1_2_1_12_1","volume-title":"2011 IEEE International Conference on Fuzzy Systems (FUZZ). 1689--1694","author":"Berenji H.","unstructured":"H. Berenji and M. Jamshidi . 2011. Fuzzy reinforcement learning for system of systems (SoS) . In 2011 IEEE International Conference on Fuzzy Systems (FUZZ). 1689--1694 . H. Berenji and M. Jamshidi. 2011. Fuzzy reinforcement learning for system of systems (SoS). In 2011 IEEE International Conference on Fuzzy Systems (FUZZ). 1689--1694."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01942566"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652284"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134288"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.2.3.197"},{"key":"e_1_2_1_19_1","volume-title":"Testing Software and Systems (LNCS)","author":"Brauer J\u00f6rg","unstructured":"J\u00f6rg Brauer , Jan Peleska , and Uwe Schulze . 2012. Efficient and trustworthy tool qualification for model-based testing tools . In Testing Software and Systems (LNCS) . Springer , Berlin , 8--23. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-34691-0_3 10.1007\/978-3-642-34691-0_3 J\u00f6rg Brauer, Jan Peleska, and Uwe Schulze. 2012. Efficient and trustworthy tool qualification for model-based testing tools. In Testing Software and Systems (LNCS). Springer, Berlin, 8--23. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-34691-0_3"},{"key":"e_1_2_1_20_1","volume-title":"INCOSE International Symposium on System Engineeering. INCOSE.","author":"Bryans J.","unstructured":"J. Bryans , J. Fitzgerald , R. Payne , and K. Kristensen . 2014. Maintaining emergence in systems of systems integration: A contractual approach using SysML . In INCOSE International Symposium on System Engineeering. INCOSE. J. Bryans, J. Fitzgerald, R. Payne, and K. Kristensen. 2014. Maintaining emergence in systems of systems integration: A contractual approach using SysML. In INCOSE International Symposium on System Engineeering. INCOSE."},{"key":"e_1_2_1_21_1","volume-title":"9th International Workshop, RISSEF 2002 (LNCS)","volume":"2941","author":"Dale","unstructured":"Dale S. Caffall and James Bret Michael. 2004. A new paradigm for requirements specification and analysis of system-of-systems. In Radical Innovations of Software and Systems Engineering in the Future , 9th International Workshop, RISSEF 2002 (LNCS) , Vol. 2941 . Springer, 108--121. Dale S. Caffall and James Bret Michael. 2004. A new paradigm for requirements specification and analysis of system-of-systems. In Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002 (LNCS), Vol. 2941. Springer, 108--121."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070512"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12566-9_4"},{"key":"e_1_2_1_25_1","volume-title":"Simulation et Mod\u00e9lisation des Syst\u00e8mes de Syst\u00e8mes: Vers la Ma\u00eetrise de la Complexit\u00e9","author":"Cantot Pascal","unstructured":"Pascal Cantot and Dominique Luzeaux . 2009. Simulation et Mod\u00e9lisation des Syst\u00e8mes de Syst\u00e8mes: Vers la Ma\u00eetrise de la Complexit\u00e9 . Hermes Science Publications . Pascal Cantot and Dominique Luzeaux. 2009. Simulation et Mod\u00e9lisation des Syst\u00e8mes de Syst\u00e8mes: Vers la Ma\u00eetrise de la Complexit\u00e9. Hermes Science Publications."},{"key":"e_1_2_1_26_1","volume-title":"Simulation and Modeling of Systems of Systems","author":"Cantot Pascal","unstructured":"Pascal Cantot and Dominique Luzeaux . 2011. Simulation and Modeling of Systems of Systems . Wiley . Pascal Cantot and Dominique Luzeaux. 2011. Simulation and Modeling of Systems of Systems. Wiley."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.1021"},{"key":"e_1_2_1_29_1","volume-title":"Systems Thinking","author":"Checkland Peter","unstructured":"Peter Checkland . 1999. Systems Thinking , Systems Practice : Includes a 30-Year Retrospective. Wiley . Peter Checkland. 1999. Systems Thinking, Systems Practice: Includes a 30-Year Retrospective. Wiley."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.10042"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_2_1_32_1","unstructured":"H. Q. Nguyen C. Kaner and J. Falk. 1999. Testing Computer Software. Wiley.   H. Q. Nguyen C. Kaner and J. Falk. 1999. Testing Computer Software. Wiley."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2006.tb02755.x"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384150"},{"key":"e_1_2_1_35_1","article-title":"Interoperability test and evaluation: A systems of systems field study","author":"Colombi John","year":"2008","unstructured":"John Colombi , Brannen C. Cohee , and Chuck W. Turner . 2008 . Interoperability test and evaluation: A systems of systems field study . The Journal of Defense Software Engineering ( Nov. 2008), 10--14. John Colombi, Brannen C. Cohee, and Chuck W. Turner. 2008. Interoperability test and evaluation: A systems of systems field study. The Journal of Defense Software Engineering (Nov. 2008), 10--14.","journal-title":"The Journal of Defense Software Engineering"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 9th INCOSE International Symposium (June","author":"Cook S.","year":"1999","unstructured":"S. Cook , E. Lawson , and J. Allison . 1999. Towards a unified systems methodology for Australian defence systems-of-systems . Proceedings of the 9th INCOSE International Symposium (June 1999 ). S. Cook, E. Lawson, and J. Allison. 1999. Towards a unified systems methodology for Australian defence systems-of-systems. Proceedings of the 9th INCOSE International Symposium (June 1999)."},{"key":"e_1_2_1_37_1","volume-title":"2001 INCOSE International Symposium (July","author":"Cook S. C.","year":"2001","unstructured":"S. C. Cook . 2001 . On the acquisition of systems of systems . 2001 INCOSE International Symposium (July 2001). S. C. Cook. 2001. On the acquisition of systems of systems. 2001 INCOSE International Symposium (July 2001)."},{"key":"e_1_2_1_38_1","volume-title":"11th Overture Workshop.","author":"Couto Lu\u00eds Diogo","year":"2013","unstructured":"Lu\u00eds Diogo Couto and Richard Payne . 2013 . The COMPASS proof obligation generator: A test case of Overture extensibility . In 11th Overture Workshop. Lu\u00eds Diogo Couto and Richard Payne. 2013. The COMPASS proof obligation generator: A test case of Overture extensibility. In 11th Overture Workshop."},{"key":"e_1_2_1_39_1","volume-title":"Signature Area. In Engineering Systems Symposium. MIT Engineering Systems Division.","author":"Crossley W. A.","year":"2004","unstructured":"W. A. Crossley . 2004 . System of systems: An introduction of Purdue University schools of Engineering\u2019s Signature Area. In Engineering Systems Symposium. MIT Engineering Systems Division. W. A. Crossley. 2004. System of systems: An introduction of Purdue University schools of Engineering\u2019s Signature Area. In Engineering Systems Symposium. MIT Engineering Systems Division."},{"key":"e_1_2_1_40_1","volume-title":"INCOSE International Symposium on Systems Engineering","author":"Dahmann J.","year":"2014","unstructured":"J. Dahmann . 2014 . Systems of systems pain points . In INCOSE International Symposium on Systems Engineering 2014. J. Dahmann. 2014. Systems of systems pain points. In INCOSE International Symposium on Systems Engineering 2014."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2008.4518994"},{"key":"e_1_2_1_42_1","first-page":"11","article-title":"Systems engineering for capabilities","volume":"21","author":"Dahmann Judith S.","year":"2008","unstructured":"Judith S. Dahmann , George Rebovich , Jr., and Jo Ann Lane . 2008 . Systems engineering for capabilities . CrossTalk Journal (The Journal of Defense Software Engineering) 21 , 11 (Nov. 2008), 4--9. Judith S. Dahmann, George Rebovich, Jr., and Jo Ann Lane. 2008. Systems engineering for capabilities. CrossTalk Journal (The Journal of Defense Software Engineering) 21, 11 (Nov. 2008), 4--9.","journal-title":"CrossTalk Journal (The Journal of Defense Software Engineering)"},{"key":"e_1_2_1_43_1","volume-title":"2009 3rd Annual IEEE Systems Conference. 196--200","author":"Daniel K.","unstructured":"K. Daniel , B. Dusza , A. Lewandowski , and C. Wietfeld . 2009. AirShield: A system-of-systems MUAV remote sensing architecture for disaster response . In 2009 3rd Annual IEEE Systems Conference. 196--200 . K. Daniel, B. Dusza, A. Lewandowski, and C. Wietfeld. 2009. AirShield: A system-of-systems MUAV remote sensing architecture for disaster response. In 2009 3rd Annual IEEE Systems Conference. 196--200."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-123"},{"key":"e_1_2_1_46_1","volume-title":"IEEE International Conference on Systems, Man and Cybernetics. IEEE, 86--91","author":"DeLaurentis Daniel A.","unstructured":"Daniel A. DeLaurentis and W. A. Crossley . 2005. A taxonomy-based perspective for systems of systems design methods . In IEEE International Conference on Systems, Man and Cybernetics. IEEE, 86--91 . Daniel A. DeLaurentis and W. A. Crossley. 2005. A taxonomy-based perspective for systems of systems design methods. In IEEE International Conference on Systems, Man and Cybernetics. IEEE, 86--91."},{"key":"e_1_2_1_47_1","unstructured":"Department of Defense. 2004. Defense Acquisition Guidebook. https:\/\/dag.dau.mil\/Pages\/Default.aspx.  Department of Defense. 2004. Defense Acquisition Guidebook. https:\/\/dag.dau.mil\/Pages\/Default.aspx."},{"key":"e_1_2_1_48_1","unstructured":"G. Despotou R. Alexander and M. Hall-May. 2003. Key Concepts and Characteristics of Systems of Systems (SoS). DARP - HIRTS. University of York.  G. Despotou R. Alexander and M. Hall-May. 2003. Key Concepts and Characteristics of Systems of Systems (SoS). DARP - HIRTS. University of York."},{"key":"e_1_2_1_49_1","volume-title":"5th IEEE International Conference on Digital Ecosystems and Technologies (DEST\u201911)","author":"Dillon T.","unstructured":"T. Dillon , V. Potdar , J. Singh , and A. Talevski . 2011. Cyber-physical systems: Providing quality of service (QoS) in a heterogeneous systems-of-systems environment . In 5th IEEE International Conference on Digital Ecosystems and Technologies (DEST\u201911) . 330--335. T. Dillon, V. Potdar, J. Singh, and A. Talevski. 2011. Cyber-physical systems: Providing quality of service (QoS) in a heterogeneous systems-of-systems environment. In 5th IEEE International Conference on Digital Ecosystems and Technologies (DEST\u201911). 330--335."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571418"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_11"},{"key":"e_1_2_1_53_1","volume-title":"IEEE International Conference on Systems, Man, and Cybernetics","volume":"1","author":"Eisner H.","year":"1991","unstructured":"H. Eisner , J. Marciniak , and R. McMillan . 1991. Computer-aided system of systems (S2) engineering . In IEEE International Conference on Systems, Man, and Cybernetics , 1991 . Vol. 1 . 531--537. H. Eisner, J. Marciniak, and R. McMillan. 1991. Computer-aided system of systems (S2) engineering. In IEEE International Conference on Systems, Man, and Cybernetics, 1991. Vol. 1. 531--537."},{"key":"e_1_2_1_56_1","volume-title":"Peter Gorm Larsen, and Jim Woodcock","author":"Fitzgerald John","year":"2012","unstructured":"John Fitzgerald , Peter Gorm Larsen, and Jim Woodcock . 2012 . Modelling and analysis technology for systems of systems engineering: Research challenges. In INCOSE. John Fitzgerald, Peter Gorm Larsen, and Jim Woodcock. 2012. Modelling and analysis technology for systems of systems engineering: Research challenges. In INCOSE."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCBSS.2008.39"},{"key":"e_1_2_1_58_1","volume-title":"1998 IEEE International Conference on Systems, Man, and Cybernetics","volume":"1","author":"Geddes N. D.","year":"1998","unstructured":"N. D. Geddes , D. M. Smith , and C. S. Lizza . 1998. Fostering collaboration in systems of systems . In 1998 IEEE International Conference on Systems, Man, and Cybernetics , 1998 . IEEE, 950--954, Vol. 1 . N. D. Geddes, D. M. Smith, and C. S. Lizza. 1998. Fostering collaboration in systems of systems. In 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998. IEEE, 950--954, Vol. 1."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.14"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2008.2007163"},{"key":"e_1_2_1_61_1","volume-title":"5th International Academic and Industrial Conference, TAIC PART","volume":"6303","author":"Grieskamp Wolfgang","year":"2010","unstructured":"Wolfgang Grieskamp . 2010 . Microsoft\u2019s protocol documentation program: A success story for model-based testing. In Testing\u2014Practice and Research Techniques , 5th International Academic and Industrial Conference, TAIC PART 2010. (Lecture Notes in Computer Science) , Vol. 6303 , Leonardo Bottaci and Gordon Fraser (Eds.). Springer, 7. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-15585-7_3 10.1007\/978-3-642-15585-7_3 Wolfgang Grieskamp. 2010. Microsoft\u2019s protocol documentation program: A success story for model-based testing. In Testing\u2014Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010. (Lecture Notes in Computer Science), Vol. 6303, Leonardo Bottaci and Gordon Fraser (Eds.). Springer, 7. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-642-15585-7_3"},{"key":"e_1_2_1_62_1","volume-title":"IEEE International Conference on System of Systems Engineering (SoSE\u201909)","author":"Gutierrez-Garcia J. O.","year":"2009","unstructured":"J. O. Gutierrez-Garcia , F. F. Ramos-Corchado , and J.-L. Koning . 2009 . Obligations as constrainers, descriptors, and linkers of open system of systems . In IEEE International Conference on System of Systems Engineering (SoSE\u201909) . 1--6. J. O. Gutierrez-Garcia, F. F. Ramos-Corchado, and J.-L. Koning. 2009. Obligations as constrainers, descriptors, and linkers of open system of systems. In IEEE International Conference on System of Systems Engineering (SoSE\u201909). 1--6."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384136"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571125"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872572"},{"key":"e_1_2_1_67_1","volume-title":"Conference on Systems Engineering Research.","author":"Hitchins Derek K.","year":"2005","unstructured":"Derek K. Hitchins . 2005 . Systems methodology . In Conference on Systems Engineering Research. Derek K. Hitchins. 2005. Systems methodology. In Conference on Systems Engineering Research."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592439"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384145"},{"key":"e_1_2_1_71_1","doi-asserted-by":"crossref","unstructured":"J. Holt and S. Perry. 2008. SysML for Systems Engineering. IET.   J. Holt and S. Perry. 2008. SysML for Systems Engineering. IET.","DOI":"10.1049\/PBPC007E"},{"key":"e_1_2_1_72_1","unstructured":"IEC61508-3. 2010. IEC61508-3: Functional safety of electrical\/electronic\/programmable electronic safety-related systems\u2014Part 3: Software Requirements. International Electrotechnical Commission.  IEC61508-3. 2010. IEC61508-3: Functional safety of electrical\/electronic\/programmable electronic safety-related systems\u2014Part 3: Software Requirements. International Electrotechnical Commission."},{"key":"e_1_2_1_73_1","volume-title":"IEEE standard for modeling and simulation: High level architecture (HLA)\u2014Framework and rules","year":"2010","unstructured":"IEEE1516 2010. IEEE standard for modeling and simulation: High level architecture (HLA)\u2014Framework and rules . IEEE Std 1516- 2010 (Revision of IEEE Std 1516-2000) (Aug. 2010), 1--38. IEEE1516 2010. IEEE standard for modeling and simulation: High level architecture (HLA)\u2014Framework and rules. IEEE Std 1516-2010 (Revision of IEEE Std 1516-2000) (Aug. 2010), 1--38."},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048026"},{"issue":"2","key":"e_1_2_1_75_1","first-page":"2","article-title":"Systems Engineering Handbook. A Guide for System Life Cycle Processes and Activities","volume":"3","author":"INCOSE.","year":"2011","unstructured":"INCOSE. 2011 . Systems Engineering Handbook. A Guide for System Life Cycle Processes and Activities , Version 3 . 2 . 2 . Technical Report INCOSE-TP-2003-002-03.2.2. International Council on Systems Engineering (INCOSE). INCOSE. 2011. Systems Engineering Handbook. A Guide for System Life Cycle Processes and Activities, Version 3.2.2. Technical Report INCOSE-TP-2003-002-03.2.2. International Council on Systems Engineering (INCOSE).","journal-title":"Version"},{"issue":"2","key":"e_1_2_1_76_1","first-page":"2","article-title":"INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities","volume":"3","author":"INCOSE.","year":"2015","unstructured":"INCOSE. 2015 . INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities , Version 3 . 2 . 2 . (4th ed.). Wiley. INCOSE. 2015. INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities, Version 3.2.2. (4th ed.). Wiley.","journal-title":"Version"},{"key":"e_1_2_1_77_1","volume-title":"International Systems Conference (SysCon\u201914)","author":"Ingram C.","unstructured":"C. Ingram , R. Payne , S. Perry , J. Holt , F. O. Hansen , and L. D. Couto . 2014. Modelling patterns for systems of systems architectures . In International Systems Conference (SysCon\u201914) . IEEE. C. Ingram, R. Payne, S. Perry, J. Holt, F. O. Hansen, and L. D. Couto. 2014. Modelling patterns for systems of systems architectures. In International Systems Conference (SysCon\u201914). IEEE."},{"key":"e_1_2_1_78_1","first-page":"040","article-title":"ISO 26262\u2014Road Vehicles\u2014Functional Safety\u2014Part 6","volume":"43","author":"International Organization for Standardization.","year":"2009","unstructured":"International Organization for Standardization. 2009 . ISO 26262\u2014Road Vehicles\u2014Functional Safety\u2014Part 6 : Product Development: Software Level. ICS 43 . 040 .10. International Organization for Standardization. 2009. ISO 26262\u2014Road Vehicles\u2014Functional Safety\u2014Part 6: Product Development: Software Level. ICS 43.040.10.","journal-title":"Product Development: Software Level. ICS"},{"key":"e_1_2_1_79_1","unstructured":"International Organization for Standardization. 2015. ISO\/IEC\/IEEE 15288\u2014Systems and Software Eningeering\u2014System Life Cycle Processes.  International Organization for Standardization. 2015. ISO\/IEC\/IEEE 15288\u2014Systems and Software Eningeering\u2014System Life Cycle Processes."},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1057\/jors.1984.101"},{"key":"e_1_2_1_81_1","unstructured":"Franc\u00e7ois Jacob. 1974. The Logic of Living Systems: A History of Heredity. Allen Lane.  Franc\u00e7ois Jacob. 1974. The Logic of Living Systems: A History of Heredity. Allen Lane."},{"key":"e_1_2_1_82_1","volume-title":"International Conference on Systems, Man, and Cybernetics. IEEE.","author":"Jamshidi M.","year":"2005","unstructured":"M. Jamshidi . 2005 . System-of-systems engineering\u2014A definition . In International Conference on Systems, Man, and Cybernetics. IEEE. M. Jamshidi. 2005. System-of-systems engineering\u2014A definition. In International Conference on Systems, Man, and Cybernetics. IEEE."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2008.4523909"},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMSE.2010.5719797"},{"key":"e_1_2_1_85_1","unstructured":"C. B. Jones. 1983a. Specification and design of (parallel) programs. In IFIP\u201983. IFIP North-Holland 321--332.  C. B. Jones. 1983a. Specification and design of (parallel) programs. In IFIP\u201983. IFIP North-Holland 321--332."},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"key":"e_1_2_1_87_1","volume-title":"\u201cwhat if","author":"Kaner Cem","year":"2003","unstructured":"Cem Kaner . 2003. Cem Kaner on scenario testing: The power of \u201cwhat if ...\u201d and nine ways to fuel your imagination. Testing & Quality Engineering Magazine (October 2003 ). Cem Kaner. 2003. Cem Kaner on scenario testing: The power of \u201cwhat if...\u201d and nine ways to fuel your imagination. Testing & Quality Engineering Magazine (October 2003)."},{"key":"e_1_2_1_88_1","volume-title":"World Automation Congress (WAC)","author":"Karcanias N.","year":"2010","unstructured":"N. Karcanias and A. G. Hessami . 2010. Complexity and the notion of system of systems: Part (II): Defining the notion of system of systems . In World Automation Congress (WAC) , 2010 . 1--7. N. Karcanias and A. G. Hessami. 2010. Complexity and the notion of system of systems: Part (II): Defining the notion of system of systems. In World Automation Congress (WAC), 2010. 1--7."},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571561"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1080\/10429247.2003.11415214"},{"key":"e_1_2_1_91_1","volume-title":"2008 2nd Annual IEEE Systems Conference. 1--5.","author":"Kilicay-Ergin N.","unstructured":"N. Kilicay-Ergin and C. Dagli . 2008. Executable modeling for system of systems architecting: An artificial life framework . In 2008 2nd Annual IEEE Systems Conference. 1--5. N. Kilicay-Ergin and C. Dagli. 2008. Executable modeling for system of systems architecting: An artificial life framework. In 2008 2nd Annual IEEE Systems Conference. 1--5."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232743.1232745"},{"key":"e_1_2_1_94_1","series-title":"CCRP publication series.","volume-title":"An Integration Environment for a System of Systems","author":"Krygiel Anette J.","unstructured":"Anette J. Krygiel . 1999. Behind the Wizard\u2019s Curtain , An Integration Environment for a System of Systems . CCRP publication series. Anette J. Krygiel. 1999. Behind the Wizard\u2019s Curtain, An Integration Environment for a System of Systems. CCRP publication series."},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.v10:4"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243991.1243992"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/202709"},{"key":"e_1_2_1_98_1","volume-title":"IEEE International Conference on Information Reuse & Integration (IRI&rsquo;\u201909)","author":"Liang Qianhui","year":"2009","unstructured":"Qianhui Liang and Stuart H. Rubin . 2009. Randomization for testing systems of systems . In IEEE International Conference on Information Reuse & Integration (IRI&rsquo;\u201909) . IEEE, 110--114. DOI:http:\/\/dx.doi.org\/10.1109\/IRI. 2009 .5211597 10.1109\/IRI.2009.5211597 Qianhui Liang and Stuart H. Rubin. 2009. Randomization for testing systems of systems. In IEEE International Conference on Information Reuse & Integration (IRI&rsquo;\u201909). IEEE, 110--114. DOI:http:\/\/dx.doi.org\/10.1109\/IRI.2009.5211597"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2139350"},{"key":"e_1_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.40"},{"key":"e_1_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.60"},{"key":"e_1_2_1_102_1","volume-title":"AMCIS 2010 Proceedings.","author":"Lucke Carsten","year":"2010","unstructured":"Carsten Lucke , Sascha Krell , and Ulrike Lechner . 2010 . Critical issues in enterprise architecting\u2014A literature review . In AMCIS 2010 Proceedings. Carsten Lucke, Sascha Krell, and Ulrike Lechner. 2010. Critical issues in enterprise architecting\u2014A literature review. In AMCIS 2010 Proceedings."},{"key":"e_1_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.5555\/2023522.2023548"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498121078"},{"key":"e_1_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2025140"},{"key":"e_1_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.1996.tb02054.x"},{"key":"e_1_2_1_107_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_2_1_108_1","doi-asserted-by":"crossref","unstructured":"Mark W. Maier. 1998b. Architecting principles for systems-of-systems. The Information Architects Cooperative (TIAC) whitepaper www.infoed.com\/Open\/PAPERS\/systems.htm.  Mark W. Maier. 1998b. Architecting principles for systems-of-systems. The Information Architects Cooperative (TIAC) whitepaper www.infoed.com\/Open\/PAPERS\/systems.htm.","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571630"},{"key":"e_1_2_1_110_1","volume-title":"Maier and Eberhardt Rechtin","author":"Mark","year":"1997","unstructured":"Mark W. Maier and Eberhardt Rechtin . 1997 . The Art of Systems Architecting. CRC Press LLC. Mark W. Maier and Eberhardt Rechtin. 1997. The Art of Systems Architecting. CRC Press LLC."},{"key":"e_1_2_1_111_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJOSM.2009.030185"},{"key":"e_1_2_1_113_1","first-page":"305","article-title":"The emerging joint system of systems: A systems engineering challenge and opportunity for APL","volume":"17","author":"Manthorpe William H. J.","year":"1996","unstructured":"William H. J. Manthorpe . 1996 . The emerging joint system of systems: A systems engineering challenge and opportunity for APL . John Hopkins APL Technical Digest 17 , 3 (1996), 305 -- 310 . William H. J. Manthorpe. 1996. The emerging joint system of systems: A systems engineering challenge and opportunity for APL. John Hopkins APL Technical Digest 17, 3 (1996), 305--310.","journal-title":"John Hopkins APL Technical Digest"},{"key":"e_1_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2015.00129.x"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652264"},{"key":"e_1_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_2_1_117_1","volume-title":"IEEE International Conference on System of Systems Engineering (SoSE\u201909)","author":"Michael J. B.","year":"2009","unstructured":"J. B. Michael , R. Riehle , and Man-Tak Shing . 2009 . The verification and validation of software architecture for systems of systems . In IEEE International Conference on System of Systems Engineering (SoSE\u201909) . 1--6. J. B. Michael, R. Riehle, and Man-Tak Shing. 2009. The verification and validation of software architecture for systems of systems. In IEEE International Conference on System of Systems Engineering (SoSE\u201909). 1--6."},{"key":"e_1_2_1_119_1","volume-title":"2012 7th International Conference on System of Systems Engineering. IEEE, 1--6.","author":"Miller M. Z.","unstructured":"M. Z. Miller , K. Griendling , and D. N. Mavris . 2012. Exploring human factors effects in the smart grid system of systems demand response . In 2012 7th International Conference on System of Systems Engineering. IEEE, 1--6. M. Z. Miller, K. Griendling, and D. N. Mavris. 2012. Exploring human factors effects in the smart grid system of systems demand response. In 2012 7th International Conference on System of Systems Engineering. IEEE, 1--6."},{"key":"e_1_2_1_120_1","volume-title":"System of Systems\u2014Innovations for the 21st Century","author":"Mittal Saurabh","unstructured":"Saurabh Mittal , Bernard Zeigler , Jos\u00e9 Martin , Ferat Sahin , and Mo Jamshidi . 2009. System of Systems\u2014Innovations for the 21st Century . Wiley . 101--149. Saurabh Mittal, Bernard Zeigler, Jos\u00e9 Martin, Ferat Sahin, and Mo Jamshidi. 2009. System of Systems\u2014Innovations for the 21st Century. Wiley. 101--149."},{"key":"e_1_2_1_121_1","doi-asserted-by":"publisher","DOI":"10.1287\/inte.24.4.16"},{"key":"e_1_2_1_122_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384156"},{"key":"e_1_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30885-7_19"},{"key":"e_1_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.1016\/0308-5961(94)90002-7"},{"key":"e_1_2_1_125_1","unstructured":"L. Northrop P. Feiler R. P. Gabriel J. Goodenough R. Linger T. Longstaff R. Kazman M. Klein D. Schmidt K. Sullivan and K. Wallnau. 2006. Ultra-Large-Scale Systems: The Software Challenge of the Future. Technical Report. Software Engineering Institute Carnegie Mellon University Pittsburgh PA.  L. Northrop P. Feiler R. P. Gabriel J. Goodenough R. Linger T. Longstaff R. Kazman M. Klein D. Schmidt K. Sullivan and K. Wallnau. 2006. Ultra-Large-Scale Systems: The Software Challenge of the Future. Technical Report. Software Engineering Institute Carnegie Mellon University Pittsburgh PA."},{"key":"e_1_2_1_127_1","volume-title":"Dominant Battlespace Knowledge","author":"Owens A. William A.","unstructured":"A. William A. Owens . 1995. Dominant Battlespace Knowledge . Institute for National Strategic Studies , The Emerging U.S. System-of-Systems. A. William A. Owens. 1995. Dominant Battlespace Knowledge. Institute for National Strategic Studies, The Emerging U.S. System-of-Systems."},{"key":"e_1_2_1_128_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384154"},{"key":"e_1_2_1_130_1","volume-title":"Summer Computer Simulation Conference.","author":"Pei R. S.","year":"2000","unstructured":"R. S. Pei . 2000 . Systems of systems integration (SoSI)-a smart way of acquiring army C4I2WS systems . In Summer Computer Simulation Conference. R. S. Pei. 2000. Systems of systems integration (SoSI)-a smart way of acquiring army C4I2WS systems. In Summer Computer Simulation Conference."},{"key":"e_1_2_1_131_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.1"},{"key":"e_1_2_1_132_1","doi-asserted-by":"publisher","DOI":"10.5555\/2075545.2075556"},{"key":"e_1_2_1_133_1","volume-title":"Quality Engineering Using Robust Design","author":"Phadke M. S.","unstructured":"M. S. Phadke . 1989. Quality Engineering Using Robust Design . Prentice Hall . M. S. Phadke. 1989. Quality Engineering Using Robust Design. Prentice Hall."},{"key":"e_1_2_1_134_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.030"},{"key":"e_1_2_1_135_1","first-page":"3","article-title":"Order fulfillment: The hidden key to e-commerce success","volume":"11","author":"Ricker Fred R.","year":"1999","unstructured":"Fred R. Ricker and Ravi Kalakota . 1999 . Order fulfillment: The hidden key to e-commerce success . Supply Chain Management Review 11 , 3 (Fall 1999), 60--70. Fred R. Ricker and Ravi Kalakota. 1999. Order fulfillment: The hidden key to e-commerce success. Supply Chain Management Review 11, 3 (Fall 1999), 60--70.","journal-title":"Supply Chain Management Review"},{"key":"e_1_2_1_136_1","volume-title":"2005 IEEE International Conference on Systems, Man and Cybernetics. 973--978","author":"Ring J.","unstructured":"J. Ring and A. M. Madni . 2005. Key challenges and opportunities in \u201csystem of systems\u201d engineering . In 2005 IEEE International Conference on Systems, Man and Cybernetics. 973--978 . J. Ring and A. M. Madni. 2005. Key challenges and opportunities in \u201csystem of systems\u201d engineering. In 2005 IEEE International Conference on Systems, Man and Cybernetics. 973--978."},{"key":"e_1_2_1_137_1","volume-title":"Understanding Concurrent Systems","author":"Roscoe A. W.","unstructured":"A. W. Roscoe . 2010. Understanding Concurrent Systems . Springer . A. W. Roscoe. 2010. Understanding Concurrent Systems. Springer."},{"key":"e_1_2_1_138_1","volume-title":"Model-Based Development and Verification Supplement to DO-178C and DO-278A. Number RTCA\/DO-331. RTCA","author":"RTCA","year":"2003","unstructured":"RTCA SC-205\/EUROCAE WG-71. 2011a. Model-Based Development and Verification Supplement to DO-178C and DO-278A. Number RTCA\/DO-331. RTCA , Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 2003 6. RTCA SC-205\/EUROCAE WG-71. 2011a. Model-Based Development and Verification Supplement to DO-178C and DO-278A. Number RTCA\/DO-331. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036."},{"key":"e_1_2_1_139_1","volume-title":"Software Considerations in Airborne Systems and Equipment Certification. Number RTCA\/DO-178C. RTCA","author":"RTCA","year":"2003","unstructured":"RTCA SC-205\/EUROCAE WG-71. 2011b. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA\/DO-178C. RTCA , Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 2003 6. RTCA SC-205\/EUROCAE WG-71. 2011b. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA\/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036."},{"key":"e_1_2_1_140_1","first-page":"4","article-title":"On the systems engineering and management of systems of systems and federations of systems","volume":"2","author":"Sage Andrew P.","year":"2001","unstructured":"Andrew P. Sage and Christopher D. Cuppan . 2001 . On the systems engineering and management of systems of systems and federations of systems . Information Knowledge Systems Management 2 , 4 (Dec. 2001), 325--345. Andrew P. Sage and Christopher D. Cuppan. 2001. On the systems engineering and management of systems of systems and federations of systems. Information Knowledge Systems Management 2, 4 (Dec. 2001), 325--345.","journal-title":"Information Knowledge Systems Management"},{"key":"e_1_2_1_141_1","volume-title":"IEEE International Conference on System of Systems Engineering (SoSE\u201907)","author":"Sahin F.","unstructured":"F. Sahin , M. Jamshidi , and P. Sridhar . 2007. A discrete event XML based simulation framework for system of systems architectures . In IEEE International Conference on System of Systems Engineering (SoSE\u201907) . F. Sahin, M. Jamshidi, and P. Sridhar. 2007. A discrete event XML based simulation framework for system of systems architectures. In IEEE International Conference on System of Systems Engineering (SoSE\u201907)."},{"key":"e_1_2_1_142_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0190-7"},{"key":"e_1_2_1_143_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2009.111"},{"key":"e_1_2_1_144_1","unstructured":"Scott A. Selberg and Mark A. Austin. 2008. Toward an Evolutionary System of Systems Architecture. Technical Report. Institute for Systems Research. INCOSE.  Scott A. Selberg and Mark A. Austin. 2008. Toward an Evolutionary System of Systems Architecture. Technical Report. Institute for Systems Research. INCOSE."},{"key":"e_1_2_1_145_1","doi-asserted-by":"publisher","DOI":"10.5555\/1218112.1218301"},{"key":"e_1_2_1_146_1","volume-title":"4th Annual International Symposium of The National Council on Systems Engineering","volume":"2","author":"Shenhar Aaron J.","year":"1994","unstructured":"Aaron J. Shenhar . 1994 . A new systems engineering taxonomy . In 4th Annual International Symposium of The National Council on Systems Engineering , Vol. 2 . 261--276. Aaron J. Shenhar. 1994. A new systems engineering taxonomy. In 4th Annual International Symposium of The National Council on Systems Engineering, Vol. 2. 261--276."},{"key":"e_1_2_1_147_1","doi-asserted-by":"publisher","DOI":"10.1109\/3468.554678"},{"key":"e_1_2_1_149_1","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209268"},{"key":"e_1_2_1_150_1","unstructured":"Andreas Spillner Tilo Linz and Hans Schaefer. 2006. Software Testing Foundations. dpunkt.verlag.  Andreas Spillner Tilo Linz and Hans Schaefer. 2006. Software Testing Foundations. dpunkt.verlag."},{"key":"e_1_2_1_151_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"e_1_2_1_153_1","volume-title":"System of Experimental Design","author":"Taguchi Genichi","unstructured":"Genichi Taguchi . 1987. System of Experimental Design , Volume 1 & 2. UNIPUB\/Kraus Intl. Publications . Genichi Taguchi. 1987. System of Experimental Design, Volume 1 & 2. UNIPUB\/Kraus Intl. Publications."},{"key":"e_1_2_1_154_1","volume-title":"International Conference on Quality Control (ICQC). 615--620","author":"Tatsumi K.","year":"1987","unstructured":"K. Tatsumi . 1987 . Test case design support system . In International Conference on Quality Control (ICQC). 615--620 . K. Tatsumi. 1987. Test case design support system. In International Conference on Quality Control (ICQC). 615--620."},{"key":"e_1_2_1_155_1","volume-title":"Congress, Senate, Committee on Armed Services.","author":"United States","year":"1988","unstructured":"United States , Congress, Senate, Committee on Armed Services. 1988 . Restructuring of the Strategic Defense Initiative (SDI) Program : US Senate. University of Michigan Library. United States, Congress, Senate, Committee on Armed Services. 1988. Restructuring of the Strategic Defense Initiative (SDI) Program: US Senate. University of Michigan Library."},{"key":"e_1_2_1_156_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34691-0_2"},{"key":"e_1_2_1_157_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJSSE.2008.018137"},{"key":"e_1_2_1_158_1","volume-title":"2011 6th International Conference on System of Systems Engineering (SoSE). 237--244","author":"White B. E.","unstructured":"B. E. White and P. N. Jean . 2011. Case study in system of systems engineering: NASA\u2019s advanced communications technology satellite . In 2011 6th International Conference on System of Systems Engineering (SoSE). 237--244 . B. E. White and P. N. Jean. 2011. Case study in system of systems engineering: NASA\u2019s advanced communications technology satellite. In 2011 6th International Conference on System of Systems Engineering (SoSE). 237--244."},{"key":"e_1_2_1_159_1","volume-title":"IEEE International Conference on System of Systems Engineering (SoSE\u201907)","author":"Wickramasinghe N.","unstructured":"N. Wickramasinghe , S. Chalasani , R. V. Boppana , and A. M. Madni . 2007. Healthcare system of systems . In IEEE International Conference on System of Systems Engineering (SoSE\u201907) . 1--6. N. Wickramasinghe, S. Chalasani, R. V. Boppana, and A. M. Madni. 2007. Healthcare system of systems. In IEEE International Conference on System of Systems Engineering (SoSE\u201907). 1--6."},{"key":"e_1_2_1_160_1","doi-asserted-by":"publisher","DOI":"10.5555\/647285.723106"},{"key":"e_1_2_1_161_1","volume-title":"7th International Conference on System of Systems Engineering (SoSE\u201912)","author":"Woodcock Jim","unstructured":"Jim Woodcock , Ana Cavalcanti , John Fitzgerald , Peter Larsen , A. Miyazawa , and S. Perry . 2012. Features of CML: A formal modelling language for systems of systems . In 7th International Conference on System of Systems Engineering (SoSE\u201912) . IEEE. Jim Woodcock, Ana Cavalcanti, John Fitzgerald, Peter Larsen, A. Miyazawa, and S. Perry. 2012. Features of CML: A formal modelling language for systems of systems. In 7th International Conference on System of Systems Engineering (SoSE\u201912). IEEE."},{"key":"e_1_2_1_162_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"e_1_2_1_163_1","volume-title":"5th Irish Workshop in Formal Methods (IWFM\u201901)","author":"Jim C.","unstructured":"Jim C. P. Woodcock and Ana L. C. Cavalcanti. 2001. A concurrent language for refinement . In 5th Irish Workshop in Formal Methods (IWFM\u201901) (BCS Electronic Workshops in Computing). Jim C. P. Woodcock and Ana L. C. Cavalcanti. 2001. A concurrent language for refinement. In 5th Irish Workshop in Formal Methods (IWFM\u201901) (BCS Electronic Workshops in Computing)."},{"key":"e_1_2_1_164_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.223539"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2794381","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2794381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:27Z","timestamp":1750273467000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2794381"}},"subtitle":["Basic Concepts, Model-Based Techniques, and Research Directions"],"short-title":[],"issued":{"date-parts":[[2015,9,24]]},"references-count":152,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,11,21]]}},"alternative-id":["10.1145\/2794381"],"URL":"https:\/\/doi.org\/10.1145\/2794381","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,24]]},"assertion":[{"value":"2013-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-09-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}