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.

Version HTML PDF

English

HTML

PDF