diff --git a/Ingegneria del Software - Domande duplicate/1/correct.txt b/Ingegneria del Software - Domande duplicate/1/correct.txt
deleted file mode 100644
index 0179ee7..0000000
--- a/Ingegneria del Software - Domande duplicate/1/correct.txt
+++ /dev/null
@@ -1,19 +0,0 @@
-
-class Monitor
-
-InputReal x; // plant output
-OutputBoolean y;
-
-Boolean z;
-
-initial equation
-
-y = false;
-equation
-z = (time > 0) and ((x > 5) or (x < 0));
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/1/quest.txt b/Ingegneria del Software - Domande duplicate/1/quest.txt
deleted file mode 100644
index 1d28ae0..0000000
--- a/Ingegneria del Software - Domande duplicate/1/quest.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-Si consideri il seguente requisito:
-RQ: Durante l'esecuzione del programma (cioè per tutti gli istanti di tempo positivi) la variabile x è sempre nell'intervallo [0, 5].
-Quale dei seguenti monitor meglio descrive il requisito RQ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/1/wrong 2.txt b/Ingegneria del Software - Domande duplicate/1/wrong 2.txt
deleted file mode 100644
index f31bec2..0000000
--- a/Ingegneria del Software - Domande duplicate/1/wrong 2.txt
+++ /dev/null
@@ -1,19 +0,0 @@
-
-class Monitor
-
-InputReal x; // plant output
-OutputBoolean y;
-
-Boolean z;
-
-initial equation
-
-y = false;
-equation
-z = (time > 0) and ((x > 0) or (x < 5));
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/1/wrong.txt b/Ingegneria del Software - Domande duplicate/1/wrong.txt
deleted file mode 100644
index b80f909..0000000
--- a/Ingegneria del Software - Domande duplicate/1/wrong.txt
+++ /dev/null
@@ -1,19 +0,0 @@
-
-class Monitor
-
-InputReal x; // plant output
-OutputBoolean y;
-
-Boolean z;
-
-initial equation
-
-y = false;
-equation
-z = (time > 0) and (x > 0) and (x < 5);
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/18/correct.txt b/Ingegneria del Software - Domande duplicate/18/correct.txt
deleted file mode 100644
index 4a0e81e..0000000
--- a/Ingegneria del Software - Domande duplicate/18/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascun requisito, dovremmo essere in grado di scrivere un inseme di test che può dimostrare che il sistema sviluppato soddisfa il requisito considerato.
diff --git a/Ingegneria del Software - Domande duplicate/18/quest.txt b/Ingegneria del Software - Domande duplicate/18/quest.txt
deleted file mode 100644
index dac6767..0000000
--- a/Ingegneria del Software - Domande duplicate/18/quest.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-Quale delle seguenti frasi meglio descrive il criterio di "requirements verifiability" che è parte della "requirements
-validation activity".
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/18/wrong 2.txt b/Ingegneria del Software - Domande duplicate/18/wrong 2.txt
deleted file mode 100644
index 4098e9d..0000000
--- a/Ingegneria del Software - Domande duplicate/18/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascuna coppia di componenti, dovremmo essere in grado di scrivere un insieme di test che può dimostrare che l'interazione tra le componenti soddisfa tutti i requisiti di interfaccia.
diff --git a/Ingegneria del Software - Domande duplicate/18/wrong.txt b/Ingegneria del Software - Domande duplicate/18/wrong.txt
deleted file mode 100644
index 99f80d4..0000000
--- a/Ingegneria del Software - Domande duplicate/18/wrong.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascuna componente del sistema, dovremmo essere in grado di scrivere un insieme di test che può dimostrare che essa soddisfa tutti i requisiti.
diff --git a/Ingegneria del Software - Domande duplicate/27/correct.txt b/Ingegneria del Software - Domande duplicate/27/correct.txt
deleted file mode 100644
index cfa0931..0000000
--- a/Ingegneria del Software - Domande duplicate/27/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x; // plant output
-OutputBoolean y;
-Boolean z;
-initial equation
-y = false;
-equation
-z = (time > 0) and ((x >= 5) or (x <= 0)) and ((x >= 15) or (x <= 10)) ;
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/27/quest.txt b/Ingegneria del Software - Domande duplicate/27/quest.txt
deleted file mode 100644
index bb0692c..0000000
--- a/Ingegneria del Software - Domande duplicate/27/quest.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-Si consideri il seguente requisito:
-RQ1: Durante l'esecuzione del programma (cioè per tutti gli istanti di tempo positivi) la variabile x è sempre nell'intervallo
-[0, 5] oppure [10, 15]
-Quale dei seguenti monitor meglio descrive il requisito RQ1 ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/27/wrong 2.txt b/Ingegneria del Software - Domande duplicate/27/wrong 2.txt
deleted file mode 100644
index 1bf9371..0000000
--- a/Ingegneria del Software - Domande duplicate/27/wrong 2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x; // plant output
-OutputBoolean y;
-Boolean z;
-initial equation
-y = false;
-equation
-z = (time > 0) and ( ((x >= 0) and (x <= 5)) or ((x >= 10) and (x <= 15)) );
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/27/wrong.txt b/Ingegneria del Software - Domande duplicate/27/wrong.txt
deleted file mode 100644
index 5f07b8b..0000000
--- a/Ingegneria del Software - Domande duplicate/27/wrong.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x; // plant output
-OutputBoolean y;
-Boolean z;
-initial equation
-y = false;
-equation
-z = (time > 0) and ((x >= 0) or (x <= 5)) and ((x >= 10) or (x <= 15)) );
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/28/correct.txt b/Ingegneria del Software - Domande duplicate/28/correct.txt
deleted file mode 100644
index 8fda7cc..0000000
--- a/Ingegneria del Software - Domande duplicate/28/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 60) and (delay(x, 10) > 0) and (y <= 0);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/28/quest.txt b/Ingegneria del Software - Domande duplicate/28/quest.txt
deleted file mode 100644
index 4786a89..0000000
--- a/Ingegneria del Software - Domande duplicate/28/quest.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-Si consideri il seguente requisito:
-RQ: Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se 10 unità di tempo nel passato era stata richiesta una risorsa (variabile x positiva) allora ora è concesso l'accesso alla
-risorsa (variabile y positiva)
-Tenendo presente che, al tempo time, delay(z, w) ritorna 0 se time < w e ritorna il valore che z aveva al tempo (time - w), se time
->= w.
-Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/28/wrong 2.txt b/Ingegneria del Software - Domande duplicate/28/wrong 2.txt
deleted file mode 100644
index 52459aa..0000000
--- a/Ingegneria del Software - Domande duplicate/28/wrong 2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 60) and (delay(x, 10) > 0) and (y > 0);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/28/wrong.txt b/Ingegneria del Software - Domande duplicate/28/wrong.txt
deleted file mode 100644
index 553e500..0000000
--- a/Ingegneria del Software - Domande duplicate/28/wrong.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 60) or (delay(x, 10) > 0) or (y <= 0);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/30/correct.txt b/Ingegneria del Software - Domande duplicate/30/correct.txt
deleted file mode 100644
index 427eb75..0000000
--- a/Ingegneria del Software - Domande duplicate/30/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x; // plant output
-OutputBoolean y;
-Boolean z;
-initial equation
-y = false;
-equation
-z = (time > 20) and ((x >= 30) or (x <= 20)) ;
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/30/quest.txt b/Ingegneria del Software - Domande duplicate/30/quest.txt
deleted file mode 100644
index f2ab4c4..0000000
--- a/Ingegneria del Software - Domande duplicate/30/quest.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-Si consideri il seguente requisito:
-RQ1: Dopo 20 unità di tempo dall'inizio dell'esecuzione la variabile x è sempre nell'intervallo [20, 30] .
-Quale dei seguenti monitor meglio descrive il requisito RQ1 ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/30/wrong 2.txt b/Ingegneria del Software - Domande duplicate/30/wrong 2.txt
deleted file mode 100644
index 5065310..0000000
--- a/Ingegneria del Software - Domande duplicate/30/wrong 2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x; // plant output
-OutputBoolean y;
-Boolean z;
-initial equation
-y = false;
-equation
-z = (time > 20) or ((x >= 20) and (x <= 30)) ;
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/30/wrong.txt b/Ingegneria del Software - Domande duplicate/30/wrong.txt
deleted file mode 100644
index e324f25..0000000
--- a/Ingegneria del Software - Domande duplicate/30/wrong.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x; // plant output
-OutputBoolean y;
-Boolean z;
-initial equation
-y = false;
-equation
-z = (time > 20) and (x >= 20) and (x <= 30) ;
-algorithm
-when edge(z) then
-y := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/36/correct.txt b/Ingegneria del Software - Domande duplicate/36/correct.txt
deleted file mode 100644
index 7f1e255..0000000
--- a/Ingegneria del Software - Domande duplicate/36/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y; // plant output
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 10) and (x >= 10) and (x <= 20) and ((y < 0.5*x) or (y > 0.7*x)) ;
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/36/quest.txt b/Ingegneria del Software - Domande duplicate/36/quest.txt
deleted file mode 100644
index efd8c1c..0000000
--- a/Ingegneria del Software - Domande duplicate/36/quest.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-Si consideri il seguente requisito:
-RQ: Dopo 10 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà: se la variabile x è nell'intervallo [10, 20]
-allora la variabile y è compresa tra il 50% di x ed il 70% di x.
-Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/36/wrong 2.txt b/Ingegneria del Software - Domande duplicate/36/wrong 2.txt
deleted file mode 100644
index a51ae0c..0000000
--- a/Ingegneria del Software - Domande duplicate/36/wrong 2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y; // plant output
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 10) and (x >= 10) and (x <= 20) and (y >= 0.5*x) and (y <= 0.7*x) ;
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/36/wrong.txt b/Ingegneria del Software - Domande duplicate/36/wrong.txt
deleted file mode 100644
index a18541f..0000000
--- a/Ingegneria del Software - Domande duplicate/36/wrong.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y; // plant output
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 10) and ((x < 10) or (x > 20)) and ((y < 0.5*x) or (y > 0.7*x)) ;
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/42/correct.txt b/Ingegneria del Software - Domande duplicate/42/correct.txt
deleted file mode 100644
index 753671c..0000000
--- a/Ingegneria del Software - Domande duplicate/42/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y, z; // plant output
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 50) and (x < 0.6*y) and (x + y <= 0.3*z);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/42/quest.txt b/Ingegneria del Software - Domande duplicate/42/quest.txt
deleted file mode 100644
index c669df0..0000000
--- a/Ingegneria del Software - Domande duplicate/42/quest.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-Si consideri il seguente requisito:
-RQ: Dopo 50 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se la variabile x è minore del 60% della variabile y allora la somma di x ed y è maggiore del 30% della variabile z
-Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/42/wrong 2.txt b/Ingegneria del Software - Domande duplicate/42/wrong 2.txt
deleted file mode 100644
index baacdc3..0000000
--- a/Ingegneria del Software - Domande duplicate/42/wrong 2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y, z; // plant output
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 50) and (x < 0.6*y) and (x + y > 0.3*z);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/42/wrong.txt b/Ingegneria del Software - Domande duplicate/42/wrong.txt
deleted file mode 100644
index 03d64ee..0000000
--- a/Ingegneria del Software - Domande duplicate/42/wrong.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y, z; // plant output
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 50) and (x >= 0.6*y) and (x + y <= 0.3*z);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/7/correct.txt b/Ingegneria del Software - Domande duplicate/7/correct.txt
deleted file mode 100644
index deba1f5..0000000
--- a/Ingegneria del Software - Domande duplicate/7/correct.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-
-initial equation
-
-wy = false;
-equation
-wz = (time > 60) and (delay(x, 10) > 0) and (y >= 0);
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/7/quest.txt b/Ingegneria del Software - Domande duplicate/7/quest.txt
deleted file mode 100644
index b99e2e2..0000000
--- a/Ingegneria del Software - Domande duplicate/7/quest.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-Si consideri il seguente requisito:
-
-RQ: Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-
-se 10 unità di tempo nel passato x era maggiore di 0 allora ora y è negativa.
-
-Tenendo presente che, al tempo time, delay(z, w) ritorna 0 se time <= w e ritorna il valore che z aveva al tempo (time - w), se time = w.
-
-Quale dei seguenti monitor meglio descrive il requisito RQ?
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/7/wrong 2.txt b/Ingegneria del Software - Domande duplicate/7/wrong 2.txt
deleted file mode 100644
index f2a9214..0000000
--- a/Ingegneria del Software - Domande duplicate/7/wrong 2.txt
+++ /dev/null
@@ -1,20 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-
-initial equation
-
-wy = false;
-equation
-
-wz = (time > 60) or (delay(x, 10) > 0) or (y >= 0);
-
-
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file
diff --git a/Ingegneria del Software - Domande duplicate/7/wrong.txt b/Ingegneria del Software - Domande duplicate/7/wrong.txt
deleted file mode 100644
index 6a0d3e9..0000000
--- a/Ingegneria del Software - Domande duplicate/7/wrong.txt
+++ /dev/null
@@ -1,19 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-
-initial equation
-
-wy = false;
-equation
-
-wz = (time > 60) and (delay(x, 10) <= 0) and (y >= 0);
-
-algorithm
-when edge(wz) then
-wy := true;
-end when;
-end Monitor;
-
\ No newline at end of file