Attending the iSAQB® CPSA-A Formal Methods (FM) course gives participants 10 Technical Competence (TC), 10 Methodological Competence (MC), and 10 Communicative Competence (CC) Points towards the 70 points required for eligibility for the iSAQB CPSA-A exam with Brightest. It is important to remember that as part of the 70 points required to take the iSAQB CPSA-A exam with Brightest, you will need at least ten competence points in each of the following areas:
Accredited iSAQB® FM - Formal Methods (CPSA-A) training is based on the current iSAQB® curriculum:
Part 1 - Logic
Part 2 - Specification and Implementation
Part 3 - Formal Methods and the Development Process
Part 4 - Tools
The CPSA-A Formal Methods seminar is particularly valuable for professionals who want to implement techniques and architecture to ensure the correctness of their software system.
To join any iSAQB® CPSA - Advanced Level course, you must hold the iSAQB® Certified Professional for Software Architecture - Foundation Level (CSPA-F) certificate.
Knowledge prerequisites:
Participants should have the following prerequisite knowledge:
Knowledge in the following areas may help understand some concepts covered in this course:
Giáo trình và bài kiểm tra mẫu sắp ra mắt!
Giáo trình và bài kiểm tra mẫu sắp ra mắt!
Brightest Private
Exam
Electronic exams for individuals administered by a Pearson VUE expert in real time via webcam (now also available for ISTQB).
Brightest Center
Exam
Electronic exam for individuals at any of the 5200+ Test Centres with easy registration via the Pearson VUE website.
Brightest Green
Exam
Electronic group exams of at least 6 participants in six different languages, anywhere in the world.
Brightest Paper
Exam
The classic exam experience for groups of at least 6 participants in a growing number of languages.