iSAQB CPSA-A FM
iSAQB® CPSA-A - Formele Methoden (cursus)
Beschrijving
Door deel te nemen aan de iSAQB® CPSA-A-cursus Formele Methoden (FM) krijgen deelnemers 20 competentiepunten voor Technische Competentie (TC) en 10 competentiepunten voor Methodische Competentie (MC). Deze punten tellen mee voor de 70 punten die nodig zijn om het iSAQB CPSA-A-examen bij Brightest te mogen afleggen. Van de 70 punten die nodig zijn voor het iSAQB CPSA-A-examen bij Brightest, moeten ten minste tien competentiepunten in elk van de volgende gebieden worden behaald:
- Technische Competentie (TC)
- Methodische Competentie (MC)
- Communicatieve Competentie (CC)
De geaccrediteerde iSAQB® FM-cursus – Formele Methoden (CPSA-A) is gebaseerd op het actuele iSAQB®-curriculum:
Deel 1 – Logica
- De basisstructuur van de propositielogica kennen
- De basisstructuur van de predicatenlogica of logica van de eerste orde kennen
- De basisstructuur van temporele operatoren kennen
- De basisbegrippen van een logische calculus begrijpen
- Het verschil begrijpen tussen intuïtionistische en klassieke logica
Deel 2 – Specificatie en implementatie
- Verschillende begrippen van specificatie onderscheiden
- Begrijpen dat specificaties over verschillende soorten componenten kunnen gaan
- Begrijpen dat specificaties over verschillende kwaliteitseigenschappen kunnen gaan
- Formele specificaties onderscheiden van andere soorten specificaties
- De onderscheidende eigenschappen van ten minste drie verschillende specificatietalen kennen
- Het begrip verfijning begrijpen
Deel 3 – Formele methoden en het ontwikkelproces
- Bepalen waar formele methoden kunnen worden toegepast
- Relevante kwaliteitseigenschappen kennen die het gebruik van formele methoden aangeven
- Het belang van een nauwkeurige specificatie begrijpen
- De afwegingen tussen formele methoden kennen
- Formele methoden stap voor stap invoeren
- Geschikte formele methoden kiezen
- Architectuur met formele methoden beoordelen
Deel 4 – Hulpmiddelen
- Property-based testing toepassen
- De rol van typesystemen begrijpen
- Model checking toepassen om eigenschappen van automaten te verifiëren
- Proof assistants gebruiken om eigenschappen van softwaresystemen te verifiëren
- SMT-solvers gebruiken om randvoorwaarden van softwaresystemen te verifiëren
- Abstracte interpretatie gebruiken om dynamisch gedrag statisch te voorspellen
Doelgroep publiek
De CPSA-A-cursus Formele Methoden is bijzonder waardevol voor professionals die technieken en architectuurmethoden willen toepassen om de correctheid van hun softwaresysteem te waarborgen.
Vereiste
Om aan een iSAQB® CPSA – Advanced Level-cursus deel te nemen, moet u het certificaat iSAQB® Certified Professional for Software Architecture – Foundation Level (CPSA-F) hebben.
Vereiste kennis:
Deelnemers moeten over de volgende basiskennis beschikken:
- Basiskennis van algebra
- Basiskennis van logica
Kennis van de volgende onderwerpen kan helpen om bepaalde concepten in deze cursus beter te begrijpen:
- Functioneel programmeren
- Redeneren over programma’s met behulp van vergelijkingen
- Semantiek van programmeertalen
The global exam price vary depending on the certification and your geographical location.
Boek je examen:
Brightest Privé
Examen
Individuele online examens, afgenomen door een Pearson VUE-expert in realtime via webcam.
Brightest Examen
Locatie
Je kunt examen doen in verschillende talen (5200+ testcentra). Via een eenvoudige registratieprocedure, van Brightest op de Pearson VUE website.
Brightest Green
Examen
Online examens voor groepen van ten minste 6 deelnemers in zes verschillende talen, waar ook ter wereld.
Brightest Papieren
Examen
De klassieke examenervaring voor groepen van minstens 6 deelnemers in een groeiend aantal talen.