This Curriculum describes formal methods, techniques for ensuring that a software system satisfies critical requirements on qualities such as functionality, performance effiicency, security, or safety.
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.