付録 D — 参考文献

本書で引用した文献を、最初に引用した順に番号を付けて示します。

番号	文献	引用した節
[1]	M. W. Maier. Architecting Principles for Systems-of-Systems. Systems Engineering, 1(4), pp. 267–284, 1998.	1.3
[2]	ISO/IEC/IEEE 21841:2019. Systems and software engineering — Taxonomy of systems of systems.	1.3、1.4
[3]	J. S. Dahmann and K. J. Baldwin. Understanding the Current State of US Defense Systems of Systems and the Implications for Systems Engineering. In Proc. 2nd Annual IEEE Systems Conference, 2008.	1.4
[4]	ISO/IEC/IEEE 21839:2019. Systems and software engineering — System of systems (SoS) considerations in life cycle stages of a system.	第 1 章「さらに読む」
[5]	ISO/IEC/IEEE 21840:2019. Systems and software engineering — Guidelines for the utilization of ISO/IEC/IEEE 15288 in the context of system of systems (SoS).	同上
[6]	ISO/IEC/IEEE 15288:2023. Systems and software engineering — System life cycle processes.	同上
[7]	ISO/IEC/IEEE 42010:2022. Software, systems and enterprise — Architecture description.	同上
[8]	L. de Moura and N. Bjørner. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, pp. 337–340, Springer, 2008.	2.1、3.9
[9]	J. Dahmann. System of Systems Pain Points. INCOSE International Symposium, 24(1), pp. 108–121, 2014.	4.8（演習 4.2）

SoS、アーキテクチャ記述言語、規範的マルチエージェントシステム、実行時検証についての解説つきの文献リストは、ハンズオンの「なぜ SoS-DSL なのか？」の 5.4 節と、仕様書の付録 Bにあります。