Le tecniche e i principi dello sviluppo del software, quali l’analisi, gli algoritmi, la codifica, il collaudo e la compilazione di paradigmi di programmazione in ML.