Modelli trasformazionali

Puntano a controllare tutti i passaggi e i procedimenti in modo formale partendo da requisiti scritti in linguaggio formale si pensa di poter, tramite dei passi o trasformazioni dimostrabili, di poter generare codice corretto Questo modello ha un grande difetto ovvero le assunzioni iniziali devono essere studiate molto accuratamente per non produrre errori successivamente