feat(IdS): add JML basics

titilda · Dec 20, 2024 · 011bb87 · 011bb87
1 parent 926b2a3
commit 011bb87
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Ingegneria del Software/index.md b/Ingegneria del Software/index.md
@@ -1414,13 +1414,17 @@ Se la clausola `@ assignable` è omessa, non vi sono garanzie.
 E' fortemente consigliato creare dei metodi **totali** ovvero il comportamento del metodo deve essere definito per qualunque ingresso: piuttosto si lancia un'eccezione.
 
 <!--
-
 ### Socket (si spera)
 
 ### GUI (si spera)
+-->
 
 ## Metriche di qualità del software
 
+
+
+
+<!--
 ## Collaudo
 
 ## Design pattern