iSAQB® CPSA-A - Formal Methods (Kurs)
-
başlanğıc 30-11-26 bitiş 02-12-26
Germany - Online
German
Təsvir
iSAQB® CPSA-A Formal Methods (FM) kursunda iştirak iştirakçılara Brightest ilə iSAQB CPSA-A imtahanına buraxılmaq üçün tələb olunan 70 balın bir hissəsi kimi 20 Technical Competence (TC) və 10 Methodological Competence (MC) balı qazandırır. Yadda saxlamaq vacibdir ki, Brightest ilə iSAQB CPSA-A imtahanına buraxılmaq üçün tələb olunan 70 balın tərkibində aşağıdakı sahələrin hər birindən ən azı 10 səriştə balı olmalıdır:
- Technical Competence (TC)
- Methodological Competence (MC)
- Communicative Competence (CC)
Akkreditə olunmuş iSAQB® FM - Formal Methods (CPSA-A) təlimi hazırkı iSAQB® kurikulumuna əsaslanır:
Hissə 1 - Məntiq
- Propositional logic-in əsas strukturunu bilmək
- Predicate/first-order logic-in əsas strukturunu bilmək
- Temporal operator-ların əsas strukturunu bilmək
- Məntiqi calculus-un əsas anlayışlarını başa düşmək
- Intuitionistic logic ilə classical logic arasındakı fərqi başa düşmək
Hissə 2 - Spesifikasiya və Tətbiq
- Müxtəlif spesifikasiya anlayışlarını fərqləndirmək
- Spesifikasiyaların müxtəlif növ komponentlərə aid ola biləcəyini başa düşmək
- Spesifikasiyaların müxtəlif keyfiyyətlərə aid ola biləcəyini başa düşmək
- Formal spesifikasiyaları digər spesifikasiya növlərindən fərqləndirmək
- Ən azı üç müxtəlif spesifikasiya dilinin fərqləndirici xüsusiyyətlərini bilmək
- Refinement anlayışını başa düşmək
Hissə 3 - Formal Methods və İnkişaf Prosesi
- Formal methods-un harada tətbiq oluna biləcəyini müəyyən etmək
- Formal methods istifadəsini göstərən uyğun keyfiyyətləri bilmək
- Dəqiq spesifikasiyanın əhəmiyyətini başa düşmək
- Müxtəlif formal methods arasında kompromisləri bilmək
- Formal methods-u mərhələli şəkildə tətbiq etmək
- Uyğun formal methods seçmək
- Arxitekturanı formal methods ilə qiymətləndirmək
Hissə 4 - Alətlər
- Property-based testing tətbiq etmək
- Type systems-in rolunu başa düşmək
- Automata-nın xüsusiyyətlərini yoxlamaq üçün model checking tətbiq etmək
- İstənilən proqram sisteminin xüsusiyyətlərini yoxlamaq üçün proof assistants tətbiq etmək
- İstənilən proqram sisteminin məhdudiyyətlərini yoxlamaq üçün SMT solvers tətbiq etmək
- Dinamik davranışı statik şəkildə proqnozlaşdırmaq üçün abstract interpretation tətbiq etmək
Hədəf kütləsi
CPSA-A Formal Methods seminarı proqram sistemlərinin düzgünlüyünü təmin etmək üçün uyğun üsulları və arxitektura yanaşmalarını tətbiq etmək istəyən mütəxəssislər üçün xüsusilə faydalıdır.
Tələblər
Hər hansı iSAQB® CPSA - Advanced Level kursuna qoşulmaq üçün iSAQB® Certified Professional for Software Architecture - Foundation Level (CPSA-F) sertifikatına sahib olmalısınız.
Bilik üzrə ilkin tələblər:
İştirakçılar aşağıdakı ilkin biliklərə sahib olmalıdırlar:
- Cəbr üzrə əsas biliklər
- Məntiq üzrə əsas biliklər
Aşağıdakı sahələr üzrə biliklər bu kursda əhatə olunan bəzi anlayışları daha yaxşı başa düşməyə kömək edə bilər:
- Functional programming
- Proqramlar üzərində equational reasoning
- Proqramlaşdırma dillərinin semantics-i
Book your Certification Exam
Brightest Private
Exam
Electronic exams for individuals are administered by a Pearson VUE expert in real time via webcam.
Brightest Center
Exam
Electronic exam for individuals at any of the 5200+ Test Centers with easy registration via the Brightest 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.