Articoli con il tag «Ada»
4 articoli con il tag «Ada», dal più recente al più vecchio.
-
Programmazione generic in Ada ── Contratti nei tipi e riuso a costo zero
Una guida sistematica alla programmazione generic in Ada: sottoprogrammi e package generici, parametri formali, categorie di tipo e criteri di progettazione....
-
Programmazione di sistemi real-time in Ada ── Priorità, periodi e controllo del tempo di esecuzione in pratica
Impariamo Annex D di Ada (sistemi real-time) attraverso otto esempi di codice pratici. Organizziamo passo dopo passo le priorità dei task, Ceiling_Locking, l...
-
Concorrenza sicura in Ada ── Guida pratica a task e oggetti protetti
Introduzione alla concorrenza integrata nel linguaggio Ada: task e oggetti protetti. L'articolo organizza rendezvous (entry/accept), accept selettivo, mutua ...
-
Introduzione alla verifica formale con SPARK ── Dai contratti Ada alla dimostrazione matematica
Un'introduzione pratica alla verifica formale con SPARK, il sottoinsieme di Ada. L'articolo copre il passaggio dai contratti (Pre/Post) alla dimostrazione, l...