Descripción
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:
- Technical Competence (TC)
- Methodological Competence (MC)
- Communicative Competence (CC)
Accredited iSAQB® FM - Formal Methods (CPSA-A) training is based on the current iSAQB® curriculum:
Part 1 - Logic
- Know the basic structure of propositional logic
- Know the basic structure of predicate/first-order logic
- Know the basic structure of temporal operators
- Understand the basic concepts of a logical calculus
- Understand the difference between intuitionistic and classical logic
Part 2 - Specification and Implementation
- Differentiate notions of specification
- Understand that specifications may pertain to different kinds of components
- Understand that specifications may pertain to different qualities
- Differentiate between formal specifications and other types of specifications
- Know the distinguishing properties of at least three different specification languages
- Understand the notion of refinement
Part 3 - Formal Methods and the Development Process
- Identify where formal methods are applicable
- Know relevant qualities that indicate the use of formal methods
- Understand the relevance of precise specification
- Know tradeoffs between formal methods
- Introduce formal methods gradually
- Select appropriate formal methods
- Evaluate architecture with formal methods
Part 4 - Tools
- Apply property-based testing
- Understand the role of type systems
- Apply model checking to verify properties of automata
- Apply proof assistants to verify properties of arbitrary software systems
- Apply SMT solvers to verify constraints of arbitrary software systems
- Apply abstract interpretation to predict dynamic behavior statically
Público objetivo
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.
Requisitos
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:
- Basic knowledge of algebra
- Basic knowledge of logic
Knowledge in the following areas may help understand some concepts covered in this course:
- Functional programming
- Equational reasoning over programs
- Programming-language semantics
¡Los planes de estudio y los exámenes de muestra vienen pronto!
¡Los planes de estudio y los exámenes de muestra vienen pronto!
