Descrizione
La partecipazione al corso iSAQB® CPSA-A “Formal Methods (FM)” consente ai partecipanti di ottenere 10 crediti nella Competenza Tecnica (TC), 10 crediti nella Competenza Metodologica (MC) e 10 crediti nella Competenza Comunicativa (CC), validi per il raggiungimento dei 70 crediti richiesti per l’ammissibilità all’esame CPSA-A con Brightest. È importante ricordare che, per sostenere l’esame CPSA-A con Brightest, è necessario ottenere almeno dieci crediti in ciascuna delle seguenti aree di competenza:
- Competenza Tecnica (TC)
- Competenza Metodologica (MC)
- Competenza Comunicativa (CC)
Il corso accreditato iSAQB® FM – Formal Methods (CPSA-A) si basa sull’attuale curriculum iSAQB®:
Parte 1 – Logica
- Conoscere la struttura base della logica proposizionale
- Conoscere la struttura base della logica predicativa (di primo ordine)
- Conoscere la struttura base degli operatori temporali
- Comprendere i concetti fondamentali di un calcolo logico
- Comprendere la differenza tra logica intuizionista e logica classica
Parte 2 – Specifica e Implementazione
- Differenziare le nozioni di specifica
- Comprendere che le specifiche possono riferirsi a diversi tipi di componenti
- Comprendere che le specifiche possono riferirsi a diverse qualità
- Differenziare le specifiche formali da altri tipi di specifiche
- Conoscere le caratteristiche distintive di almeno tre linguaggi di specifica
- Comprendere il concetto di raffinamento
Parte 3 – Metodi Formali e Processo di Sviluppo
- Identificare dove possono essere applicati i metodi formali
- Conoscere le qualità rilevanti che giustificano l’uso dei metodi formali
- Comprendere l’importanza di una specifica precisa
- Conoscere i compromessi tra diversi metodi formali
- Introdurre gradualmente i metodi formali
- Selezionare i metodi formali appropriati
- Valutare l’architettura tramite metodi formali
Parte 4 – Strumenti
- Applicare i test basati sulle proprietà (property-based testing)
- Comprendere il ruolo dei sistemi di tipi
- Applicare il model checking per verificare le proprietà degli automi
- Utilizzare i proof assistant per verificare proprietà di sistemi software arbitrari
- Utilizzare i risolutori SMT per verificare vincoli di sistemi software arbitrari
- Applicare l’interpretazione astratta per prevedere staticamente il comportamento dinamico
Pubblico destinatario
Il seminario CPSA-A “Formal Methods” è particolarmente utile per i professionisti che desiderano applicare tecniche e architetture per garantire la correttezza del proprio sistema software.
Requisiti
Per partecipare a un corso iSAQB® CPSA - Advanced Level, è necessario possedere il certificato iSAQB® “Certified Professional for Software Architecture – Foundation Level (CPSA-F)”.
Requisiti di conoscenza:
I partecipanti dovrebbero possedere le seguenti conoscenze preliminari:
- Conoscenze di base di algebra
- Conoscenze di base di logica
La conoscenza dei seguenti ambiti può facilitare la comprensione di alcuni concetti trattati nel corso:
- Programmazione funzionale
- Ragionamento equazionale sui programmi
- Semantica dei linguaggi di programmazione
syllabi ed esami di prova sono in arrivo!
syllabi ed esami di prova sono in arrivo!
