The international Software Architecture Qualification Board (iSAQB) defines curricula on several levels for software architects.
The terminology used in the iSAQB curricula can be found as a (freely available) ebook, published on Leanpub.
Latest Release 2024.1-rev0
The curriculum Formal Methods is currently maintained and published in English (EN)only.
Maintainers and volunteer reviewers collaborate on GitHub to improve the curriculum.