Skip to main content

Appendix D — References

The works cited in this textbook, numbered in the order in which they are first cited.

No.ReferenceCited in
[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."Further reading" of Chapter 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).same
[6]ISO/IEC/IEEE 15288:2023. Systems and software engineering — System life cycle processes.same
[7]ISO/IEC/IEEE 42010:2022. Software, systems and enterprise — Architecture description.same
[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 (Exercise 4.2)

For a longer, annotated reading list on SoS, architecture description languages, normative multi-agent systems and runtime verification, see section 5.4 of "Why SoS-DSL?" in the hands-on materials, and Appendix B of the specification.