diff --git a/Ingegneria del Software/0321_22/correct.txt b/Ingegneria del Software/0321_22/correct.txt
deleted file mode 100644
index ecc6ca6..0000000
--- a/Ingegneria del Software/0321_22/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un modello di simulazione per i principali aspetti dei processi di business dell'azienda e per il sistema software da realizzare e valutare le migliorie apportate dal sistema software ai processi di business dell'azienda mediante simulazione.
diff --git a/Ingegneria del Software/0321_22/quest.txt b/Ingegneria del Software/0321_22/quest.txt
deleted file mode 100644
index db680fd..0000000
--- a/Ingegneria del Software/0321_22/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Una azienda finanziaria desidera costruire un sistema software per ottimizzare i processi di business. Quali delle seguenti attività può contribuire a validare i requisiti del sistema ?
diff --git a/Ingegneria del Software/0321_22/wrong 1.txt b/Ingegneria del Software/0321_22/wrong 1.txt
deleted file mode 100644
index a337bb0..0000000
--- a/Ingegneria del Software/0321_22/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo del sistema e testarlo rispetto ai requisiti funzionali usando i dati storici dall'azienda.
diff --git a/Ingegneria del Software/0321_22/wrong 2.txt b/Ingegneria del Software/0321_22/wrong 2.txt
deleted file mode 100644
index 41c9dd8..0000000
--- a/Ingegneria del Software/0321_22/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo del sistema e valutarne i requisiti non funzionali usando i dati storici dall'azienda.
diff --git a/Ingegneria del Software/0321_25/correct.txt b/Ingegneria del Software/0321_25/correct.txt
deleted file mode 100644
index a4a8878..0000000
--- a/Ingegneria del Software/0321_25/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare l'interazione tra le componenti del sistema (cioè, integrazione di molte unità di sistema).
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_25/quest.txt b/Ingegneria del Software/0321_25/quest.txt
deleted file mode 100644
index 86b2ec9..0000000
--- a/Ingegneria del Software/0321_25/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il system testing si concentra su:
diff --git a/Ingegneria del Software/0321_25/wrong 1.txt b/Ingegneria del Software/0321_25/wrong 1.txt
deleted file mode 100644
index 6a9cb98..0000000
--- a/Ingegneria del Software/0321_25/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_25/wrong 2.txt b/Ingegneria del Software/0321_25/wrong 2.txt
deleted file mode 100644
index 3214f65..0000000
--- a/Ingegneria del Software/0321_25/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le interfacce per ciascuna componente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_26/correct.txt b/Ingegneria del Software/0321_26/correct.txt
deleted file mode 100644
index bd04569..0000000
--- a/Ingegneria del Software/0321_26/correct.txt
+++ /dev/null
@@ -1,30 +0,0 @@
-
-model System
-
-Integer y;
-
-Real r1024;
-
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-
-equation
-
-y = if (r1024 <= 0.3) then 1 else 0;
-
-algorithm
-
-when initial() then
-
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-
-r1024 := 0;
-
-elsewhen sample(0,1) then
-
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-
-end when;
-
-end System;
-
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_26/quest.txt b/Ingegneria del Software/0321_26/quest.txt
deleted file mode 100644
index 19eaf60..0000000
--- a/Ingegneria del Software/0321_26/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri l'ambiente (use case) che consiste di un utente che, ad ogni unità di tempo (ad esempio, un secondo) manda al nostro sistema input 1 (ad esempio, esegue una prenotazione) con probabilità 0.3 oppure input 0 con probabilità 0.7. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
diff --git a/Ingegneria del Software/0321_26/wrong 1.txt b/Ingegneria del Software/0321_26/wrong 1.txt
deleted file mode 100644
index 9a15db4..0000000
--- a/Ingegneria del Software/0321_26/wrong 1.txt
+++ /dev/null
@@ -1,28 +0,0 @@
-
-model System
-
-Integer y; Real r1024;
-
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-
-equation
-
-y = if (r1024 <= 0.3) then 0 else 1;
-
-algorithm
-
-when initial() then
-
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-
-r1024 := 0;
-
-elsewhen sample(0,1) then
-
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-
-end when;
-
-end System;
-
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_26/wrong 2.txt b/Ingegneria del Software/0321_26/wrong 2.txt
deleted file mode 100644
index b227070..0000000
--- a/Ingegneria del Software/0321_26/wrong 2.txt
+++ /dev/null
@@ -1,27 +0,0 @@
-
-model System
-
-Integer y; Real r1024;
-
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-
-equation
-
-y = if (r1024 >= 0.3) then 1 else 0;
-
-algorithm
-
-when initial() then
-
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-
-r1024 := 0;
-
-elsewhen sample(0,1) then
-
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-
-end when;
-
-end System;
-
diff --git a/Ingegneria del Software/0321_3/correct.txt b/Ingegneria del Software/0321_3/correct.txt
deleted file mode 100644
index 045c160..0000000
--- a/Ingegneria del Software/0321_3/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Stiamo costruendo il sistema giusto?
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_3/quest.txt b/Ingegneria del Software/0321_3/quest.txt
deleted file mode 100644
index f7ef080..0000000
--- a/Ingegneria del Software/0321_3/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-La validazione risponde alla seguenete domanda:
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_3/wrong 1.txt b/Ingegneria del Software/0321_3/wrong 1.txt
deleted file mode 100644
index bc4207e..0000000
--- a/Ingegneria del Software/0321_3/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Stiamo costruendo il sistema nel modo giusto?
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_3/wrong 2.txt b/Ingegneria del Software/0321_3/wrong 2.txt
deleted file mode 100644
index aae8d71..0000000
--- a/Ingegneria del Software/0321_3/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Sono soddisfatti i requisti funzionali?
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_33/correct.txt b/Ingegneria del Software/0321_33/correct.txt
deleted file mode 100644
index f4e4c53..0000000
--- a/Ingegneria del Software/0321_33/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il performance testing è tipicamente eseguito una volta che il sistema è stato completamento integrato.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_33/quest.txt b/Ingegneria del Software/0321_33/quest.txt
deleted file mode 100644
index 7a10074..0000000
--- a/Ingegneria del Software/0321_33/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Quale delle seguenti affermazioni è vera riguardo al performance testing?
diff --git a/Ingegneria del Software/0321_33/wrong 1.txt b/Ingegneria del Software/0321_33/wrong 1.txt
deleted file mode 100644
index 4885062..0000000
--- a/Ingegneria del Software/0321_33/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il performance testing è tipicamente eseguito su un prototipo del sistema.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_33/wrong 2.txt b/Ingegneria del Software/0321_33/wrong 2.txt
deleted file mode 100644
index bd881bc..0000000
--- a/Ingegneria del Software/0321_33/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il performance testing è tipicamente eseguito solo sulle componenti del sistema prima dell'integrazione.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_34/correct.txt b/Ingegneria del Software/0321_34/correct.txt
deleted file mode 100644
index e13eda2..0000000
--- a/Ingegneria del Software/0321_34/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Accertarsi che i requisiti definiscano un sistema che risolve il problema che l'utente pianifica di risolvere.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_34/quest.txt b/Ingegneria del Software/0321_34/quest.txt
deleted file mode 100644
index d556152..0000000
--- a/Ingegneria del Software/0321_34/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Quali delle seguenti attività è parte del processo di validazione dei requisiti ?
diff --git a/Ingegneria del Software/0321_34/wrong 1.txt b/Ingegneria del Software/0321_34/wrong 1.txt
deleted file mode 100644
index 85d2dfd..0000000
--- a/Ingegneria del Software/0321_34/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Accertarsi che il sistema soddisfi i requisiti dati.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_34/wrong 2.txt b/Ingegneria del Software/0321_34/wrong 2.txt
deleted file mode 100644
index 72bd029..0000000
--- a/Ingegneria del Software/0321_34/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Accertarsi che l'architettura del sistema soddisfi i requisiti dati.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_35/correct.txt b/Ingegneria del Software/0321_35/correct.txt
deleted file mode 100644
index 0dcbeca..0000000
--- a/Ingegneria del Software/0321_35/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascun incremento di funzionalità, scrivi test automatizzati, implementa la funzionalità, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_35/quest.txt b/Ingegneria del Software/0321_35/quest.txt
deleted file mode 100644
index 4d08c40..0000000
--- a/Ingegneria del Software/0321_35/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri il Test-Driven Development (TDD). Quale delle seguenti affermazioni è vera?
diff --git a/Ingegneria del Software/0321_35/wrong 1.txt b/Ingegneria del Software/0321_35/wrong 1.txt
deleted file mode 100644
index cf5eab4..0000000
--- a/Ingegneria del Software/0321_35/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascun incremento di funzionalità, implementa la funzionalità, scrivi test automatizzati, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_35/wrong 2.txt b/Ingegneria del Software/0321_35/wrong 2.txt
deleted file mode 100644
index 2891ab7..0000000
--- a/Ingegneria del Software/0321_35/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Scrivi test automatizzati per tutti i requisiti di sistema, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_39/correct.txt b/Ingegneria del Software/0321_39/correct.txt
deleted file mode 100644
index c24cae9..0000000
--- a/Ingegneria del Software/0321_39/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-A*(2 + p)
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_39/quest.txt b/Ingegneria del Software/0321_39/quest.txt
deleted file mode 100644
index eca94fd..0000000
--- a/Ingegneria del Software/0321_39/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri un software costituito da due fasi F1 ed F2 ciascuna di costo A. Con probabilità p la fase F1 deve essere ripetuta (a causa di change requests) e con probabilità (1 - p) si passa alla fase F2 e poi al completamento (End) dello sviluppo. Qual'eè il costo atteso per lo sviluppo del software seguendo il processo sopra descritto ?
diff --git a/Ingegneria del Software/0321_39/wrong 1.txt b/Ingegneria del Software/0321_39/wrong 1.txt
deleted file mode 100644
index a9b1c29..0000000
--- a/Ingegneria del Software/0321_39/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-3*A*p
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_39/wrong 2.txt b/Ingegneria del Software/0321_39/wrong 2.txt
deleted file mode 100644
index 6e771e9..0000000
--- a/Ingegneria del Software/0321_39/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-A*(1 + p)
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_5/correct.txt b/Ingegneria del Software/0321_5/correct.txt
deleted file mode 100644
index 355e195..0000000
--- a/Ingegneria del Software/0321_5/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo, metterlo in esercizio ed accertarsi che i porti i benefici attesi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_5/quest.txt b/Ingegneria del Software/0321_5/quest.txt
deleted file mode 100644
index 3a11084..0000000
--- a/Ingegneria del Software/0321_5/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Quali delle seguenti attività può contribuire a validare i requisiti di un sistema ?
diff --git a/Ingegneria del Software/0321_5/wrong 1.txt b/Ingegneria del Software/0321_5/wrong 1.txt
deleted file mode 100644
index 586ebee..0000000
--- a/Ingegneria del Software/0321_5/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo e testarlo a fondo per evidenziare subito errori di implementazione.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_5/wrong 2.txt b/Ingegneria del Software/0321_5/wrong 2.txt
deleted file mode 100644
index 6806506..0000000
--- a/Ingegneria del Software/0321_5/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo e valutarne attentamente le performance.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_6/correct.txt b/Ingegneria del Software/0321_6/correct.txt
deleted file mode 100644
index c6f0dcc..0000000
--- a/Ingegneria del Software/0321_6/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Una release del software è resa disponibile agli utenti (beta users) per permettergli di sperimentare e quindi segnalare eventuali problemi rilevati agli sviluppatori.
diff --git a/Ingegneria del Software/0321_6/quest.txt b/Ingegneria del Software/0321_6/quest.txt
deleted file mode 100644
index bfa328d..0000000
--- a/Ingegneria del Software/0321_6/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Quale delle seguenti affermazione è vera riguardo al beta testing ?
diff --git a/Ingegneria del Software/0321_6/wrong 1.txt b/Ingegneria del Software/0321_6/wrong 1.txt
deleted file mode 100644
index 46b4f0e..0000000
--- a/Ingegneria del Software/0321_6/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Test automatizzato sono eseguiti sulla versione finale del sistema presso il cliente.
diff --git a/Ingegneria del Software/0321_6/wrong 2.txt b/Ingegneria del Software/0321_6/wrong 2.txt
deleted file mode 100644
index 7a1d974..0000000
--- a/Ingegneria del Software/0321_6/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Test automatizzato sono eseguiti sulla versione finale del sistema presso il sito di sviluppo del software.
diff --git a/Ingegneria del Software/0321_7/correct.txt b/Ingegneria del Software/0321_7/correct.txt
deleted file mode 100644
index 5bca5f8..0000000
--- a/Ingegneria del Software/0321_7/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le interfacce per ciascun componente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_7/quest.txt b/Ingegneria del Software/0321_7/quest.txt
deleted file mode 100644
index 561755a..0000000
--- a/Ingegneria del Software/0321_7/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il component testing si concentra su:
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_7/wrong 1.txt b/Ingegneria del Software/0321_7/wrong 1.txt
deleted file mode 100644
index d4074cf..0000000
--- a/Ingegneria del Software/0321_7/wrong 1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0321_7/wrong 2.txt b/Ingegneria del Software/0321_7/wrong 2.txt
deleted file mode 100644
index 7a3fe03..0000000
--- a/Ingegneria del Software/0321_7/wrong 2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare l'interazione tra molte componenti (cioè integrazione di molte unità).
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_11/correct.txt b/Ingegneria del Software/0621_11/correct.txt
deleted file mode 100644
index 896ce37..0000000
--- a/Ingegneria del Software/0621_11/correct.txt
+++ /dev/null
@@ -1,13 +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/0621_11/quest.txt b/Ingegneria del Software/0621_11/quest.txt
deleted file mode 100644
index 06f6627..0000000
--- a/Ingegneria del Software/0621_11/quest.txt
+++ /dev/null
@@ -1,5 +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/0621_11/wrong0.txt b/Ingegneria del Software/0621_11/wrong0.txt
deleted file mode 100644
index 3e4bc83..0000000
--- a/Ingegneria del Software/0621_11/wrong0.txt
+++ /dev/null
@@ -1,13 +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/0621_11/wrong1.txt b/Ingegneria del Software/0621_11/wrong1.txt
deleted file mode 100644
index a0b3200..0000000
--- a/Ingegneria del Software/0621_11/wrong1.txt
+++ /dev/null
@@ -1,14 +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/0621_15/correct.txt b/Ingegneria del Software/0621_15/correct.txt
deleted file mode 100644
index d4074cf..0000000
--- a/Ingegneria del Software/0621_15/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_15/quest.txt b/Ingegneria del Software/0621_15/quest.txt
deleted file mode 100644
index 367356f..0000000
--- a/Ingegneria del Software/0621_15/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Unit testing si concentra su:
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_15/wrong0.txt b/Ingegneria del Software/0621_15/wrong0.txt
deleted file mode 100644
index f67535f..0000000
--- a/Ingegneria del Software/0621_15/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le interfacce di ciascuna componente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_15/wrong1.txt b/Ingegneria del Software/0621_15/wrong1.txt
deleted file mode 100644
index 5d19792..0000000
--- a/Ingegneria del Software/0621_15/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare l'interazione tra componenti.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_16/correct.txt b/Ingegneria del Software/0621_16/correct.txt
deleted file mode 100644
index e86ff88..0000000
--- a/Ingegneria del Software/0621_16/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-1/1000
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_16/quest.txt b/Ingegneria del Software/0621_16/quest.txt
deleted file mode 100644
index 7cae29d..0000000
--- a/Ingegneria del Software/0621_16/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il rischio R può essere calcolato come R = P*C, dove P è la probabilità dell'evento avverso (software failure nel nostro contesto) e C è il costo dell'occorrenza dell'evento avverso. Si consideri un software il cui costo per la failure è C = 1000000 EUR. Volendo un rischio non superiore a 1000 EUR quale è il valore massimo della probabilità di failure P accettabile?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_16/wrong0.txt b/Ingegneria del Software/0621_16/wrong0.txt
deleted file mode 100644
index bb7060e..0000000
--- a/Ingegneria del Software/0621_16/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-1/10
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_16/wrong1.txt b/Ingegneria del Software/0621_16/wrong1.txt
deleted file mode 100644
index 78abc32..0000000
--- a/Ingegneria del Software/0621_16/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-1/100
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_18/correct.txt b/Ingegneria del Software/0621_18/correct.txt
deleted file mode 100644
index 8bb1b6b..0000000
--- a/Ingegneria del Software/0621_18/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-2*A*(p +1)
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_18/quest.txt b/Ingegneria del Software/0621_18/quest.txt
deleted file mode 100644
index 3f3c598..0000000
--- a/Ingegneria del Software/0621_18/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri un software sviluppato seguendo un approccio iterativo implementato con due fasi: F1 seguita da F2. Ciascuna fase ha costo A e deve essere ripetuta una seconda volta con probabilità p. Qual'e' il costo atteso dello sviluppo dell'intero software?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_18/wrong0.txt b/Ingegneria del Software/0621_18/wrong0.txt
deleted file mode 100644
index ebab514..0000000
--- a/Ingegneria del Software/0621_18/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-3*A*(p + 1)
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_18/wrong1.txt b/Ingegneria del Software/0621_18/wrong1.txt
deleted file mode 100644
index a8c46e7..0000000
--- a/Ingegneria del Software/0621_18/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-2*A*(p + 2)
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_23/correct.txt b/Ingegneria del Software/0621_23/correct.txt
deleted file mode 100644
index fab2eea..0000000
--- a/Ingegneria del Software/0621_23/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/0621_23/quest.txt b/Ingegneria del Software/0621_23/quest.txt
deleted file mode 100644
index 5c0b607..0000000
--- a/Ingegneria del Software/0621_23/quest.txt
+++ /dev/null
@@ -1,3 +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/0621_23/wrong0.txt b/Ingegneria del Software/0621_23/wrong0.txt
deleted file mode 100644
index d30f887..0000000
--- a/Ingegneria del Software/0621_23/wrong0.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/0621_23/wrong1.txt b/Ingegneria del Software/0621_23/wrong1.txt
deleted file mode 100644
index c6e9bd3..0000000
--- a/Ingegneria del Software/0621_23/wrong1.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/0621_25/correct.txt b/Ingegneria del Software/0621_25/correct.txt
deleted file mode 100644
index d08430f..0000000
--- a/Ingegneria del Software/0621_25/correct.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-class System
-Real x; // MB in buffer
-Real u; // input pulse
-initial equation
-x = 3;
-u = 0;
-equation
-when sample(0, 1) then
- u = 1 - pre(u);
-end when;
-der(x) = 2*u - 1.0;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_25/quest.txt b/Ingegneria del Software/0621_25/quest.txt
deleted file mode 100644
index 72850a2..0000000
--- a/Ingegneria del Software/0621_25/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Un I/O buffer è alimentato da una componente che fornisce un input periodico di periodo 2 secondi. Durante la prima metà del periodo, l'input rate è 2MB/s mentre durante la seconda metà del periodo l'input rate è 0. Quindi l'input rate medio è di 1MB/s. L' I/O buffer, a sua volta, alimenta una componente che richiede (in media) 1MB/s. Quale dei seguenti modelli Modelica è un modello ragionevole per il sistema descritto sopra ?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_25/wrong1.txt b/Ingegneria del Software/0621_25/wrong1.txt
deleted file mode 100644
index 4bea8db..0000000
--- a/Ingegneria del Software/0621_25/wrong1.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-class System
-Real x; // MB in buffer
-Real u; // input pulse
-initial equation
-x = 3;
-u = 0;
-equation
-when sample(0, 1) then
- u = 1 - pre(u);
-end when;
-der(x) = 2*u - 2.0;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_25/wrong2.txt b/Ingegneria del Software/0621_25/wrong2.txt
deleted file mode 100644
index 59f99c3..0000000
--- a/Ingegneria del Software/0621_25/wrong2.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-class System
-Real x; // MB in buffer
-Real u; // input pulse
-initial equation
-x = 3;
-u = 0;
-equation
-when sample(0, 1) then
- u = 1 - pre(u);
-end when;
-der(x) = 2*u + 1.0;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_26/correct.txt b/Ingegneria del Software/0621_26/correct.txt
deleted file mode 100644
index 5bca5f8..0000000
--- a/Ingegneria del Software/0621_26/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le interfacce per ciascun componente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_26/quest.txt b/Ingegneria del Software/0621_26/quest.txt
deleted file mode 100644
index 561755a..0000000
--- a/Ingegneria del Software/0621_26/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il component testing si concentra su:
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_26/wrong0.txt b/Ingegneria del Software/0621_26/wrong0.txt
deleted file mode 100644
index d4074cf..0000000
--- a/Ingegneria del Software/0621_26/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_26/wrong1.txt b/Ingegneria del Software/0621_26/wrong1.txt
deleted file mode 100644
index 7a3fe03..0000000
--- a/Ingegneria del Software/0621_26/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare l'interazione tra molte componenti (cioè integrazione di molte unità).
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_27/correct.txt b/Ingegneria del Software/0621_27/correct.txt
deleted file mode 100644
index 88f9125..0000000
--- a/Ingegneria del Software/0621_27/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Requisito utente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_27/quest.txt b/Ingegneria del Software/0621_27/quest.txt
deleted file mode 100644
index e544e9e..0000000
--- a/Ingegneria del Software/0621_27/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri il seguente requisito: "Il sistema fornisce l'elenco dei clienti in ordine alfabetico". Di che tipo di requisito si tratta?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_27/wrong0.txt b/Ingegneria del Software/0621_27/wrong0.txt
deleted file mode 100644
index 4cae0da..0000000
--- a/Ingegneria del Software/0621_27/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-Requisito di sistema.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_27/wrong1.txt b/Ingegneria del Software/0621_27/wrong1.txt
deleted file mode 100644
index 6084c49..0000000
--- a/Ingegneria del Software/0621_27/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Requisito non-funzionale.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_28/1.png b/Ingegneria del Software/0621_28/1.png
deleted file mode 100644
index bc19a09..0000000
Binary files a/Ingegneria del Software/0621_28/1.png and /dev/null differ
diff --git a/Ingegneria del Software/0621_28/correct.txt b/Ingegneria del Software/0621_28/correct.txt
deleted file mode 100644
index af9b00c..0000000
--- a/Ingegneria del Software/0621_28/correct.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-model System
-parameter Integer F1 = 1;
-parameter Integer F2 = 2;
-parameter Integer F3 = 3;
-parameter Integer End = 4;
-parameter Real p = 0.3;
-parameter Real A[4, 4] =
-[
-0, 1, 0, 0;
-p, 0, 1-p, 0;
-0, p, 0, 1-p;
-0, 0, 0, 1
-];
-Integer x; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-algorithm
-when initial() then
- state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
- x := F1;
- r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-if (r1024 <= A[x, F1]) then
- x := F1;
- elseif (r1024 <= A[x, F1] + A[x, F2]) then
- x := F2;
- elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
- x := F3;
- else
- x := End;
-end if;
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_28/quest.txt b/Ingegneria del Software/0621_28/quest.txt
deleted file mode 100644
index 101846b..0000000
--- a/Ingegneria del Software/0621_28/quest.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-img=https://i.imgur.com/t1KV4Qy.png
-Si consideri la seguente Markov Chain:
-Quale dei seguenti modelli Modelica fornisce un modello ragionevole per la Markov Chain di cui sopra?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_28/wrong0.txt b/Ingegneria del Software/0621_28/wrong0.txt
deleted file mode 100644
index 3ebddcf..0000000
--- a/Ingegneria del Software/0621_28/wrong0.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-model System
-parameter Integer F1 = 1;
-parameter Integer F2 = 2;
-parameter Integer F3 = 3;
-parameter Integer End = 4;
-parameter Real p = 0.3;
-parameter Real A[4, 4] =
-[
-0, 1, 0, 0;
-p, 0, 0, 1-p;
-0, 0, p, 1-p;
-0, 0, 0, 1
-];
-Integer x; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-x := F1;
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-if (r1024 <= A[x, F1]) then
- x := F1;
- elseif (r1024 <= A[x, F1] + A[x, F2]) then
- x := F2;
- elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
- x := F3;
- else
- x := End;
-end if;
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_28/wrong2.txt b/Ingegneria del Software/0621_28/wrong2.txt
deleted file mode 100644
index d1520c9..0000000
--- a/Ingegneria del Software/0621_28/wrong2.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-model System
-parameter Integer F1 = 1;
-parameter Integer F2 = 2;
-parameter Integer F3 = 3;
-parameter Integer End = 4;
-parameter Real p = 0.3;
-parameter Real A[4, 4] =
-[
-0, 1, 0, 0;
-p, 1-p, 0, 0;
-0, 0, p, 1-p;
-0, 0, 0, 1
-];
-Integer x; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-x := F1;
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-if (r1024 <= A[x, F1]) then
- x := F1;
- elseif (r1024 <= A[x, F1] + A[x, F2]) then
- x := F2;
- elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
- x := F3;
- else
- x := End;
-end if;
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_29/correct.txt b/Ingegneria del Software/0621_29/correct.txt
deleted file mode 100644
index b3843cf..0000000
--- a/Ingegneria del Software/0621_29/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-1.5*A
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_29/quest.txt b/Ingegneria del Software/0621_29/quest.txt
deleted file mode 100644
index e4ebc4a..0000000
--- a/Ingegneria del Software/0621_29/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri un software sviluppato seguendo un approccio plan-driven implementato con due fasi: F1, F2. La fase F1 ha costo A e la fase F2 ha costo il 50% di A. Qual'e' il costo dello sviluppo del software?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_29/wrong0.txt b/Ingegneria del Software/0621_29/wrong0.txt
deleted file mode 100644
index 54d2e91..0000000
--- a/Ingegneria del Software/0621_29/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-0.5*A
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_29/wrong1.txt b/Ingegneria del Software/0621_29/wrong1.txt
deleted file mode 100644
index 8c7e5a6..0000000
--- a/Ingegneria del Software/0621_29/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-A
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_30/correct.txt b/Ingegneria del Software/0621_30/correct.txt
deleted file mode 100644
index 61e5080..0000000
--- a/Ingegneria del Software/0621_30/correct.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 40) and (delay(x, 10) > 1) 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/0621_30/quest.txt b/Ingegneria del Software/0621_30/quest.txt
deleted file mode 100644
index a8b6d94..0000000
--- a/Ingegneria del Software/0621_30/quest.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-Si consideri il seguente requisito:
-RQ: Dopo 40 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se 10 unità di tempo nel passato x era maggiore di 1 allora ora y è nonegativa.
-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/0621_30/wrong0.txt b/Ingegneria del Software/0621_30/wrong0.txt
deleted file mode 100644
index 7711cd7..0000000
--- a/Ingegneria del Software/0621_30/wrong0.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 40) or (delay(x, 10) > 1) 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/0621_30/wrong1.txt b/Ingegneria del Software/0621_30/wrong1.txt
deleted file mode 100644
index 9c912b6..0000000
--- a/Ingegneria del Software/0621_30/wrong1.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 40) and (delay(x, 10) > 1) 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/0621_34/correct.txt b/Ingegneria del Software/0621_34/correct.txt
deleted file mode 100644
index 1146d53..0000000
--- a/Ingegneria del Software/0621_34/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/0621_34/quest.txt b/Ingegneria del Software/0621_34/quest.txt
deleted file mode 100644
index e77688e..0000000
--- a/Ingegneria del Software/0621_34/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/0621_34/wrong0.txt b/Ingegneria del Software/0621_34/wrong0.txt
deleted file mode 100644
index 4b67df9..0000000
--- a/Ingegneria del Software/0621_34/wrong0.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/0621_34/wrong1.txt b/Ingegneria del Software/0621_34/wrong1.txt
deleted file mode 100644
index 30d3000..0000000
--- a/Ingegneria del Software/0621_34/wrong1.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/0621_37/correct.txt b/Ingegneria del Software/0621_37/correct.txt
deleted file mode 100644
index 994f202..0000000
--- a/Ingegneria del Software/0621_37/correct.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.7) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_37/quest.txt b/Ingegneria del Software/0621_37/quest.txt
deleted file mode 100644
index 45f5869..0000000
--- a/Ingegneria del Software/0621_37/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri l'ambiente (use case) consistente di un utente che ad ogni unità di tempo (ad esempio, un secondo) invia al nostro sistema input -1 con probabilità 0.2, input 0 con probabilità 0.5 ed input 1 con probabilità 0.3. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_37/wrong0.txt b/Ingegneria del Software/0621_37/wrong0.txt
deleted file mode 100644
index 4481c24..0000000
--- a/Ingegneria del Software/0621_37/wrong0.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.3) then -1 else if (r1024 <= 0.7) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_37/wrong2.txt b/Ingegneria del Software/0621_37/wrong2.txt
deleted file mode 100644
index b94d213..0000000
--- a/Ingegneria del Software/0621_37/wrong2.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.5) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_38/correct.txt b/Ingegneria del Software/0621_38/correct.txt
deleted file mode 100644
index f4e4c53..0000000
--- a/Ingegneria del Software/0621_38/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il performance testing è tipicamente eseguito una volta che il sistema è stato completamento integrato.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_38/quest.txt b/Ingegneria del Software/0621_38/quest.txt
deleted file mode 100644
index 4a711a4..0000000
--- a/Ingegneria del Software/0621_38/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Quale delle seguenti affermazioni è vera riguardo al performance testing?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_38/wrong0.txt b/Ingegneria del Software/0621_38/wrong0.txt
deleted file mode 100644
index 4885062..0000000
--- a/Ingegneria del Software/0621_38/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il performance testing è tipicamente eseguito su un prototipo del sistema.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_38/wrong1.txt b/Ingegneria del Software/0621_38/wrong1.txt
deleted file mode 100644
index bd881bc..0000000
--- a/Ingegneria del Software/0621_38/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il performance testing è tipicamente eseguito solo sulle componenti del sistema prima dell'integrazione.
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_5/correct.txt b/Ingegneria del Software/0621_5/correct.txt
deleted file mode 100644
index 793f9d6..0000000
--- a/Ingegneria del Software/0621_5/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/0621_5/quest.txt b/Ingegneria del Software/0621_5/quest.txt
deleted file mode 100644
index b1c19dc..0000000
--- a/Ingegneria del Software/0621_5/quest.txt
+++ /dev/null
@@ -1,3 +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/0621_5/wrong0.txt b/Ingegneria del Software/0621_5/wrong0.txt
deleted file mode 100644
index 284d4d1..0000000
--- a/Ingegneria del Software/0621_5/wrong0.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/0621_5/wrong1.txt b/Ingegneria del Software/0621_5/wrong1.txt
deleted file mode 100644
index 21a20d4..0000000
--- a/Ingegneria del Software/0621_5/wrong1.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/0621_7/correct.txt b/Ingegneria del Software/0621_7/correct.txt
deleted file mode 100644
index c7c83e5..0000000
--- a/Ingegneria del Software/0621_7/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-3*A
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_7/quest.txt b/Ingegneria del Software/0621_7/quest.txt
deleted file mode 100644
index e0052c2..0000000
--- a/Ingegneria del Software/0621_7/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri un software sviluppato seguendo un approccio iterativo implementato con tre fasi: F1, F2, F3. Ciascuna fase ha costo A. Qual'e' il costo dello sviluppo dell'intero software?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_7/wrong0.txt b/Ingegneria del Software/0621_7/wrong0.txt
deleted file mode 100644
index 8c7e5a6..0000000
--- a/Ingegneria del Software/0621_7/wrong0.txt
+++ /dev/null
@@ -1 +0,0 @@
-A
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_7/wrong1.txt b/Ingegneria del Software/0621_7/wrong1.txt
deleted file mode 100644
index ff38c25..0000000
--- a/Ingegneria del Software/0621_7/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-2*A
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_8/1.png b/Ingegneria del Software/0621_8/1.png
deleted file mode 100644
index 26d9334..0000000
Binary files a/Ingegneria del Software/0621_8/1.png and /dev/null differ
diff --git a/Ingegneria del Software/0621_8/correct.txt b/Ingegneria del Software/0621_8/correct.txt
deleted file mode 100644
index 28ec59c..0000000
--- a/Ingegneria del Software/0621_8/correct.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-model System
-parameter Integer F1 = 1;
-parameter Integer F2 = 2;
-parameter Integer F3 = 3;
-parameter Integer End = 4;
-parameter Real p = 0.3;
-parameter Real A[4, 4] =
-[
-p, 1-p, 0, 0;
-p, 0, 1-p, 0;
-p, 0, 0, 1-p;
-0, 0, 0, 1
-];
-Integer x; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-algorithm
-when initial() then
- state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
- x := F1;
- r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-if (r1024 <= A[x, F1]) then
- x := F1;
- elseif (r1024 <= A[x, F1] + A[x, F2]) then
- x := F2;
- elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
- x := F3;
- else
- x := End;
-end if;
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_8/quest.txt b/Ingegneria del Software/0621_8/quest.txt
deleted file mode 100644
index 8107c95..0000000
--- a/Ingegneria del Software/0621_8/quest.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-img=https://i.imgur.com/cHaHubX.png
-Si consideri la seguente Markov Chain:
-Quale dei seguenti modelli Modelica fornisce un modello ragionevole per la Markov Chain di cui sopra?
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_8/wrong0.txt b/Ingegneria del Software/0621_8/wrong0.txt
deleted file mode 100644
index c3a7393..0000000
--- a/Ingegneria del Software/0621_8/wrong0.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-model System
-parameter Integer F1 = 1;
-parameter Integer F2 = 2;
-parameter Integer F3 = 3;
-parameter Integer End = 4;
-parameter Real p = 0.3;
-parameter Real A[4, 4] =
-[
-p, 0, 1-p, 0;
-0, p, 1-p, 0;
-p, 0, 0, 1-p;
-0, 0, 0, 1
-];
-Integer x; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-x := F1;
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-if (r1024 <= A[x, F1]) then
- x := F1;
- elseif (r1024 <= A[x, F1] + A[x, F2]) then
- x := F2;
- elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
- x := F3;
- else
- x := End;
-end if;
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0621_8/wrong1.txt b/Ingegneria del Software/0621_8/wrong1.txt
deleted file mode 100644
index 1b498b3..0000000
--- a/Ingegneria del Software/0621_8/wrong1.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-model System
-parameter Integer F1 = 1;
-parameter Integer F2 = 2;
-parameter Integer F3 = 3;
-parameter Integer End = 4;
-parameter Real p = 0.3;
-parameter Real A[4, 4] =
-[
-p, 0 , 1-p, 0;
-p, 1-p, 0, 0;
-p, 0, 0, 1-p;
-0, 0, 0, 1
-];
-Integer x; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-x := F1;
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-if (r1024 <= A[x, F1]) then
- x := F1;
- elseif (r1024 <= A[x, F1] + A[x, F2]) then
- x := F2;
- elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
- x := F3;
- else
- x := End;
-end if;
-end when;
-end System;
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_11/correct.txt b/Ingegneria del Software/0721_11/correct.txt
deleted file mode 100644
index a2f00b3..0000000
--- a/Ingegneria del Software/0721_11/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 40) and (delay(x, 10) > 1) 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/0721_11/quest.txt b/Ingegneria del Software/0721_11/quest.txt
deleted file mode 100644
index a8b6d94..0000000
--- a/Ingegneria del Software/0721_11/quest.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-Si consideri il seguente requisito:
-RQ: Dopo 40 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se 10 unità di tempo nel passato x era maggiore di 1 allora ora y è nonegativa.
-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/0721_11/wrong1.txt b/Ingegneria del Software/0721_11/wrong1.txt
deleted file mode 100644
index 0696007..0000000
--- a/Ingegneria del Software/0721_11/wrong1.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 40) and (delay(x, 10) > 1) 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/0721_11/wrong2.txt b/Ingegneria del Software/0721_11/wrong2.txt
deleted file mode 100644
index 76b58b0..0000000
--- a/Ingegneria del Software/0721_11/wrong2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-class Monitor
-InputReal x, y;
-OutputBoolean wy;
-Boolean wz;
-initial equation
-wy = false;
-equation
-wz = (time > 40) or (delay(x, 10) > 1) 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/0721_12/correct.txt b/Ingegneria del Software/0721_12/correct.txt
deleted file mode 100644
index 1c03108..0000000
--- a/Ingegneria del Software/0721_12/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo, eseguirlo usando dati storici dai log di produzione e valutare la capacità del prototipo di ridurre gli scarti.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_12/quest.txt b/Ingegneria del Software/0721_12/quest.txt
deleted file mode 100644
index 3dbfadb..0000000
--- a/Ingegneria del Software/0721_12/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Una azienda manifatturiera desidera costruire un sistema software per monitorare (attraverso sensori) la produzione al fine di ridurre gli scarti. Quali delle seguenti attività contribuisce a validare i requisiti del sistema.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_12/wrong1.txt b/Ingegneria del Software/0721_12/wrong1.txt
deleted file mode 100644
index 5187be2..0000000
--- a/Ingegneria del Software/0721_12/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo, eseguirlo usando dati storici dai log di produzione e valutarne le performance.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_12/wrong2.txt b/Ingegneria del Software/0721_12/wrong2.txt
deleted file mode 100644
index 52330c1..0000000
--- a/Ingegneria del Software/0721_12/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Costruire un prototipo, eseguirlo usando dati storici dai log di produzione ed identificare errori di implementazione.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_14/correct.txt b/Ingegneria del Software/0721_14/correct.txt
deleted file mode 100644
index d3daba4..0000000
--- a/Ingegneria del Software/0721_14/correct.txt
+++ /dev/null
@@ -1,17 +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/0721_14/quest.txt b/Ingegneria del Software/0721_14/quest.txt
deleted file mode 100644
index ed5dffb..0000000
--- a/Ingegneria del Software/0721_14/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/0721_14/wrong1.txt b/Ingegneria del Software/0721_14/wrong1.txt
deleted file mode 100644
index 5bdf9c8..0000000
--- a/Ingegneria del Software/0721_14/wrong1.txt
+++ /dev/null
@@ -1,17 +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/0721_14/wrong2.txt b/Ingegneria del Software/0721_14/wrong2.txt
deleted file mode 100644
index 169ec7c..0000000
--- a/Ingegneria del Software/0721_14/wrong2.txt
+++ /dev/null
@@ -1,17 +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/0721_16/correct.txt b/Ingegneria del Software/0721_16/correct.txt
deleted file mode 100644
index a4a8878..0000000
--- a/Ingegneria del Software/0721_16/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare l'interazione tra le componenti del sistema (cioè, integrazione di molte unità di sistema).
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_16/quest.txt b/Ingegneria del Software/0721_16/quest.txt
deleted file mode 100644
index 8bbcdb8..0000000
--- a/Ingegneria del Software/0721_16/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Il system testing si concentra su:
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_16/wrong1.txt b/Ingegneria del Software/0721_16/wrong1.txt
deleted file mode 100644
index 3214f65..0000000
--- a/Ingegneria del Software/0721_16/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le interfacce per ciascuna componente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_16/wrong2.txt b/Ingegneria del Software/0721_16/wrong2.txt
deleted file mode 100644
index 6a9cb98..0000000
--- a/Ingegneria del Software/0721_16/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_2/correct.txt b/Ingegneria del Software/0721_2/correct.txt
deleted file mode 100644
index 68bfd31..0000000
--- a/Ingegneria del Software/0721_2/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Una release del software è resa disponibile agli utenti (beta users) per permettergli di sperimentare e quindi segnalare eventuali problemi rilevati agli sviluppatori.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_2/quest.txt b/Ingegneria del Software/0721_2/quest.txt
deleted file mode 100644
index 4589c15..0000000
--- a/Ingegneria del Software/0721_2/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Quale delle seguenti affermazione è vera riguardo al beta testing ?
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_2/wrong1.txt b/Ingegneria del Software/0721_2/wrong1.txt
deleted file mode 100644
index f021931..0000000
--- a/Ingegneria del Software/0721_2/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Test automatizzato sono eseguiti sulla versione finale del sistema presso il cliente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_2/wrong2.txt b/Ingegneria del Software/0721_2/wrong2.txt
deleted file mode 100644
index ab58544..0000000
--- a/Ingegneria del Software/0721_2/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Test automatizzato sono eseguiti sulla versione finale del sistema presso il sito di sviluppo del software.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_20/correct.txt b/Ingegneria del Software/0721_20/correct.txt
deleted file mode 100644
index 2771487..0000000
--- a/Ingegneria del Software/0721_20/correct.txt
+++ /dev/null
@@ -1,17 +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/0721_20/quest.txt b/Ingegneria del Software/0721_20/quest.txt
deleted file mode 100644
index 5c0b607..0000000
--- a/Ingegneria del Software/0721_20/quest.txt
+++ /dev/null
@@ -1,3 +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/0721_20/wrong1.txt b/Ingegneria del Software/0721_20/wrong1.txt
deleted file mode 100644
index d681803..0000000
--- a/Ingegneria del Software/0721_20/wrong1.txt
+++ /dev/null
@@ -1,17 +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/0721_20/wrong2.txt b/Ingegneria del Software/0721_20/wrong2.txt
deleted file mode 100644
index 44ac950..0000000
--- a/Ingegneria del Software/0721_20/wrong2.txt
+++ /dev/null
@@ -1,17 +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/0721_22/correct.txt b/Ingegneria del Software/0721_22/correct.txt
deleted file mode 100644
index 6971583..0000000
--- a/Ingegneria del Software/0721_22/correct.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.7) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_22/quest.txt b/Ingegneria del Software/0721_22/quest.txt
deleted file mode 100644
index 45f5869..0000000
--- a/Ingegneria del Software/0721_22/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri l'ambiente (use case) consistente di un utente che ad ogni unità di tempo (ad esempio, un secondo) invia al nostro sistema input -1 con probabilità 0.2, input 0 con probabilità 0.5 ed input 1 con probabilità 0.3. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_22/wrong1.txt b/Ingegneria del Software/0721_22/wrong1.txt
deleted file mode 100644
index ea8f817..0000000
--- a/Ingegneria del Software/0721_22/wrong1.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.5) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_22/wrong2.txt b/Ingegneria del Software/0721_22/wrong2.txt
deleted file mode 100644
index 6971583..0000000
--- a/Ingegneria del Software/0721_22/wrong2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.7) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_23/correct.txt b/Ingegneria del Software/0721_23/correct.txt
deleted file mode 100644
index a3a4b67..0000000
--- a/Ingegneria del Software/0721_23/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/0721_23/quest.txt b/Ingegneria del Software/0721_23/quest.txt
deleted file mode 100644
index de77723..0000000
--- a/Ingegneria del Software/0721_23/quest.txt
+++ /dev/null
@@ -1,5 +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/0721_23/wrong1.txt b/Ingegneria del Software/0721_23/wrong1.txt
deleted file mode 100644
index 9f7ef6a..0000000
--- a/Ingegneria del Software/0721_23/wrong1.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/0721_23/wrong2.txt b/Ingegneria del Software/0721_23/wrong2.txt
deleted file mode 100644
index bce472e..0000000
--- a/Ingegneria del Software/0721_23/wrong2.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/0721_24/correct.txt b/Ingegneria del Software/0721_24/correct.txt
deleted file mode 100644
index 3a1f159..0000000
--- a/Ingegneria del Software/0721_24/correct.txt
+++ /dev/null
@@ -1,16 +0,0 @@
-
-model System
-Integer y;
-Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.3) then 1 else 0;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_24/quest.txt b/Ingegneria del Software/0721_24/quest.txt
deleted file mode 100644
index 5a1289f..0000000
--- a/Ingegneria del Software/0721_24/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri l'ambiente (use case) che consiste di un utente che, ad ogni unità di tempo (ad esempio, un secondo) manda al nostro sistema input 1 (ad esempio, esegue una prenotazione) con probabilità 0.3 oppure input 0 con probabilità 0.7. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_24/wrong1.txt b/Ingegneria del Software/0721_24/wrong1.txt
deleted file mode 100644
index 7ef2e87..0000000
--- a/Ingegneria del Software/0721_24/wrong1.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 >= 0.3) then 1 else 0;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_24/wrong2.txt b/Ingegneria del Software/0721_24/wrong2.txt
deleted file mode 100644
index daf450c..0000000
--- a/Ingegneria del Software/0721_24/wrong2.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-
-model System
-Integer y; Real r1024;
-Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
-equation
-y = if (r1024 <= 0.3) then 0 else 1;
-algorithm
-when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-r1024 := 0;
-elsewhen sample(0,1) then
-(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
-end when;
-end System;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_25/correct.txt b/Ingegneria del Software/0721_25/correct.txt
deleted file mode 100644
index a068be6..0000000
--- a/Ingegneria del Software/0721_25/correct.txt
+++ /dev/null
@@ -1,17 +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/0721_25/quest.txt b/Ingegneria del Software/0721_25/quest.txt
deleted file mode 100644
index 6473814..0000000
--- a/Ingegneria del Software/0721_25/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/0721_25/wrong1.txt b/Ingegneria del Software/0721_25/wrong1.txt
deleted file mode 100644
index 8086f1c..0000000
--- a/Ingegneria del Software/0721_25/wrong1.txt
+++ /dev/null
@@ -1,17 +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/0721_25/wrong2.txt b/Ingegneria del Software/0721_25/wrong2.txt
deleted file mode 100644
index c22f966..0000000
--- a/Ingegneria del Software/0721_25/wrong2.txt
+++ /dev/null
@@ -1,17 +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/0721_26/correct.txt b/Ingegneria del Software/0721_26/correct.txt
deleted file mode 100644
index 8c66f86..0000000
--- a/Ingegneria del Software/0721_26/correct.txt
+++ /dev/null
@@ -1,20 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-parameter Integer xmax = 100;
-OutputInteger x; // Connector
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (x < xmax)
-then
- if (myrandom() <= 0.8)
- then
- x := x + 1;
- end if;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_26/quest.txt b/Ingegneria del Software/0721_26/quest.txt
deleted file mode 100644
index cf6929a..0000000
--- a/Ingegneria del Software/0721_26/quest.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-Un'azienda decide di organizzare il processo di sviluppo di un grosso software in 101 phasi sequenziali, numerate da 0 a 100. La phase 0 è quella iniziale. La phase 100 è quella finale in cui lo sviluppo è completato. Tutte le fasi hanno circa la stessa durata.
-Si decide di realizzare un approccio incrementale in cui, alla fine di ogni fase, si passa alla fase successiva solo nel caso in cui tutti i test per la fase vengono superati. In caso contrario bisogna ripetere la phase. Dai dati storici è noto che la probabilità che il team di sviluppo passi da una fase a quella successiva è 0.8.
-Allo scopo di stimare attraverso una simulazione MonteCarlo il valore atteso del tempo di completamento del progetto viene realizzato un modello Modelica delo processo di sviluppo descritto sopra.
-Quale dei seguenti modelli Modelica modella correttamente il processo di sviluppo descritto sopra?
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_26/wrong1.txt b/Ingegneria del Software/0721_26/wrong1.txt
deleted file mode 100644
index b89b025..0000000
--- a/Ingegneria del Software/0721_26/wrong1.txt
+++ /dev/null
@@ -1,20 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-parameter Integer xmax = 100;
-OutputInteger x; // Connector
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (x < xmax)
-then
- if (myrandom() >= 0.8)
- then
- x := x + 1;
- end if;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_26/wrong2.txt b/Ingegneria del Software/0721_26/wrong2.txt
deleted file mode 100644
index 49262e8..0000000
--- a/Ingegneria del Software/0721_26/wrong2.txt
+++ /dev/null
@@ -1,22 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-parameter Integer xmax = 100;
-OutputInteger x; // Connector
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (x < xmax)
-then
- if (myrandom() <= 0.8)
- then
- x := x + 1;
- else
- x := x - 1;
- end if;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_27/correct.txt b/Ingegneria del Software/0721_27/correct.txt
deleted file mode 100644
index 9be970c..0000000
--- a/Ingegneria del Software/0721_27/correct.txt
+++ /dev/null
@@ -1,16 +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/0721_27/quest.txt b/Ingegneria del Software/0721_27/quest.txt
deleted file mode 100644
index 2eb7f69..0000000
--- a/Ingegneria del Software/0721_27/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/0721_27/wrong1.txt b/Ingegneria del Software/0721_27/wrong1.txt
deleted file mode 100644
index 8b6fcac..0000000
--- a/Ingegneria del Software/0721_27/wrong1.txt
+++ /dev/null
@@ -1,16 +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/0721_27/wrong2.txt b/Ingegneria del Software/0721_27/wrong2.txt
deleted file mode 100644
index 40a2ce0..0000000
--- a/Ingegneria del Software/0721_27/wrong2.txt
+++ /dev/null
@@ -1,16 +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/0721_3/correct.txt b/Ingegneria del Software/0721_3/correct.txt
deleted file mode 100644
index 1a8a50a..0000000
--- a/Ingegneria del Software/0721_3/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.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_3/quest.txt b/Ingegneria del Software/0721_3/quest.txt
deleted file mode 100644
index a3ca550..0000000
--- a/Ingegneria del Software/0721_3/quest.txt
+++ /dev/null
@@ -1 +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/0721_3/wrong1.txt b/Ingegneria del Software/0721_3/wrong1.txt
deleted file mode 100644
index fac8307..0000000
--- a/Ingegneria del Software/0721_3/wrong1.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.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_3/wrong2.txt b/Ingegneria del Software/0721_3/wrong2.txt
deleted file mode 100644
index 3fdb31e..0000000
--- a/Ingegneria del Software/0721_3/wrong2.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.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_31/correct.txt b/Ingegneria del Software/0721_31/correct.txt
deleted file mode 100644
index a7029bc..0000000
--- a/Ingegneria del Software/0721_31/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-La variabile x è nell'intervallo [1, 4] oppure nell'intervallo [15, 20].
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_31/quest.txt b/Ingegneria del Software/0721_31/quest.txt
deleted file mode 100644
index a279fbb..0000000
--- a/Ingegneria del Software/0721_31/quest.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-Si consideri il monitor seguente che ritorna true appena il sistema viola il requisito monitorato.
-
-block Monitor
-input Real x;
-output Boolean y;
-Boolean w;
-initial equation
-y = false;
-equation
-w = ((x < 1) or (x > 4)) and ((x < 15) or (x > 20));
-algorithm
-when edge(w) then
-y := true;
-end when;
-end Monitor;
-
-Quale delle seguenti affermazioni meglio descrive il requisito monitorato?
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_31/wrong1.txt b/Ingegneria del Software/0721_31/wrong1.txt
deleted file mode 100644
index a82929b..0000000
--- a/Ingegneria del Software/0721_31/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-La variabile x è nell'intervallo [1, 4] e fuori dall'intervallo [15, 20].
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_31/wrong2.txt b/Ingegneria del Software/0721_31/wrong2.txt
deleted file mode 100644
index 710b111..0000000
--- a/Ingegneria del Software/0721_31/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-La variabile x è fuori dall'intervallo [1, 4] e fuori dall'intervallo [15, 20].
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_35/correct.txt b/Ingegneria del Software/0721_35/correct.txt
deleted file mode 100644
index ca92838..0000000
--- a/Ingegneria del Software/0721_35/correct.txt
+++ /dev/null
@@ -1,17 +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/0721_35/quest.txt b/Ingegneria del Software/0721_35/quest.txt
deleted file mode 100644
index b1c19dc..0000000
--- a/Ingegneria del Software/0721_35/quest.txt
+++ /dev/null
@@ -1,3 +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/0721_35/wrong1.txt b/Ingegneria del Software/0721_35/wrong1.txt
deleted file mode 100644
index 434e904..0000000
--- a/Ingegneria del Software/0721_35/wrong1.txt
+++ /dev/null
@@ -1,17 +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/0721_35/wrong2.txt b/Ingegneria del Software/0721_35/wrong2.txt
deleted file mode 100644
index c0e3311..0000000
--- a/Ingegneria del Software/0721_35/wrong2.txt
+++ /dev/null
@@ -1,17 +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/0721_37/correct.txt b/Ingegneria del Software/0721_37/correct.txt
deleted file mode 100644
index 56ad9f9..0000000
--- a/Ingegneria del Software/0721_37/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/0721_37/quest.txt b/Ingegneria del Software/0721_37/quest.txt
deleted file mode 100644
index 06f6627..0000000
--- a/Ingegneria del Software/0721_37/quest.txt
+++ /dev/null
@@ -1,5 +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/0721_37/wrong1.txt b/Ingegneria del Software/0721_37/wrong1.txt
deleted file mode 100644
index 976ab6a..0000000
--- a/Ingegneria del Software/0721_37/wrong1.txt
+++ /dev/null
@@ -1,16 +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/0721_37/wrong2.txt b/Ingegneria del Software/0721_37/wrong2.txt
deleted file mode 100644
index 3184bf8..0000000
--- a/Ingegneria del Software/0721_37/wrong2.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/0721_38/correct.txt b/Ingegneria del Software/0721_38/correct.txt
deleted file mode 100644
index 2ff8b15..0000000
--- a/Ingegneria del Software/0721_38/correct.txt
+++ /dev/null
@@ -1,27 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-parameter Integer xmax = 100;
-OutputInteger x;
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (x < xmax)
-then
- if (myrandom() <= 0.9)
- then
- if (myrandom() <= 0.8)
- then
- x := x + 1;
- else
- x := max(0, x - 1);
- end if;
- else
- x := max(0, x - 1);
- end if;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_38/quest.txt b/Ingegneria del Software/0721_38/quest.txt
deleted file mode 100644
index 704b6cc..0000000
--- a/Ingegneria del Software/0721_38/quest.txt
+++ /dev/null
@@ -1,8 +0,0 @@
-Un'azienda decide di organizzare il processo di sviluppo di un grosso software in 101 phasi sequenziali, numerate da 0 a 100. La phase 0 è quella iniziale. La phase 100 è quella finale in cui lo sviluppo è completato. Tutte le fasi hanno circa la stessa durata.
-Alla fine di ogni fase viene eseguita una batteria di tests. I risultati del testing possono essere:
-a) si può passare alla fase successiva;
-b) bisogna ripetere la fase corrente;
-c) bisogna rivedere il lavoro fatto nella fase precedente (reworking).
-Dai dati storici è noto che la probabilità del caso a) è 0.72, del caso b) è 0.18 e del caso c) è 0.1.
-Allo scopo di stimare attraverso una simulazione MonteCarlo il valore atteso del tempo di completamento del progetto viene realizzato un modello Modelica del processo di sviluppo descritto sopra.
-Quale dei seguenti modelli Modelica modella correttamente il processo di sviluppo descritto sopra?
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_38/wrong1.txt b/Ingegneria del Software/0721_38/wrong1.txt
deleted file mode 100644
index 9180ff4..0000000
--- a/Ingegneria del Software/0721_38/wrong1.txt
+++ /dev/null
@@ -1,27 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-parameter Integer xmax = 100;
-OutputInteger x;
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (x < xmax)
-then
- if (myrandom() <= 0.9)
- then
- if (myrandom() <= 0.72)
- then
- x := x + 1;
- else
- x := max(0, x - 1);
- end if;
- else
- x := max(0, x - 1);
- end if;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_38/wrong2.txt b/Ingegneria del Software/0721_38/wrong2.txt
deleted file mode 100644
index 87539ea..0000000
--- a/Ingegneria del Software/0721_38/wrong2.txt
+++ /dev/null
@@ -1,27 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-parameter Integer xmax = 100;
-OutputInteger x;
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (x < xmax)
-then
- if (myrandom() <= 0.8)
- then
- if (myrandom() <= 0.9)
- then
- x := x + 1;
- else
- x := max(0, x - 1);
- end if;
- else
- x := max(0, x - 1);
- end if;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_39/correct.txt b/Ingegneria del Software/0721_39/correct.txt
deleted file mode 100644
index 346657f..0000000
--- a/Ingegneria del Software/0721_39/correct.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Real x0 = 0;
-OutputReal x;
-Integer countdown;
-algorithm
-when initial() then
- x := x0;
- countdown := 0;
-elsewhen sample(0, 1) then
- if (countdown <= 0)
- then
- countdown := 1 + integer(floor(10*myrandom()));
- x := 1 - pre(x);
- else
- countdown := countdown - 1;
- end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_39/quest.txt b/Ingegneria del Software/0721_39/quest.txt
deleted file mode 100644
index 46a79dc..0000000
--- a/Ingegneria del Software/0721_39/quest.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-L'input di un sistema software è costituito da una sequenza di 0 (false) ed 1 (true). Ad uno 0 segue un 1 ed ad un 1 segue uno 0. Il tempo tra un valore di input e l'altro è un valore random compreso tra 1 e 10 unità di tempo.
-Quale dei seguenti modelli Modelica modella meglio l'environment descritto sopra.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_39/wrong1.txt b/Ingegneria del Software/0721_39/wrong1.txt
deleted file mode 100644
index 0a7e119..0000000
--- a/Ingegneria del Software/0721_39/wrong1.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Real x0 = 0;
-OutputReal x;
-Integer countdown;
-algorithm
-when initial() then
- x := x0;
- countdown := 0;
-elsewhen sample(0, 10) then
- if (countdown <= 0)
- then
- countdown := 1 + integer(floor(myrandom()));
- x := 1 - pre(x);
- else
- countdown := countdown - 1;
- end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_39/wrong2.txt b/Ingegneria del Software/0721_39/wrong2.txt
deleted file mode 100644
index 52a6432..0000000
--- a/Ingegneria del Software/0721_39/wrong2.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Real x0 = 0;
-OutputReal x;
-Integer countdown;
-algorithm
-when initial() then
- x := x0;
- countdown := 0;
-elsewhen sample(0, 1) then
- if (countdown >= 0)
- then
- countdown := 1 + integer(floor(10*myrandom()));
- x := 1 - pre(x);
- else
- countdown := countdown - 1;
- end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_40/correct.txt b/Ingegneria del Software/0721_40/correct.txt
deleted file mode 100644
index ddb0d65..0000000
--- a/Ingegneria del Software/0721_40/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-La variabile x è nell'intervallo [0, 5].
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_40/quest.txt b/Ingegneria del Software/0721_40/quest.txt
deleted file mode 100644
index 030fe95..0000000
--- a/Ingegneria del Software/0721_40/quest.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-Si consideri il monitor seguente che ritorna true appena i requisiti per il sistema monitorato sono violati.
-
-block Monitor
-input Real x;
-output Boolean y;
-Boolean w;
-initial equation
-y = false;
-equation
-w = ((x < 0) or (x > 5));
-algorithm
-when edge(w) then
-y := true;
-end when;
-end Monitor;
-
-Quale delle seguenti affermazioni meglio descrive il requisito monitorato.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_40/wrong1.txt b/Ingegneria del Software/0721_40/wrong1.txt
deleted file mode 100644
index 7c7a691..0000000
--- a/Ingegneria del Software/0721_40/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-La variable x è minore di 0.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_40/wrong2.txt b/Ingegneria del Software/0721_40/wrong2.txt
deleted file mode 100644
index 3e05ae7..0000000
--- a/Ingegneria del Software/0721_40/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-La variabile x è fuori dall'intervallo [0, 5].
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_7/correct.txt b/Ingegneria del Software/0721_7/correct.txt
deleted file mode 100644
index 0dcbeca..0000000
--- a/Ingegneria del Software/0721_7/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascun incremento di funzionalità, scrivi test automatizzati, implementa la funzionalità, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_7/quest.txt b/Ingegneria del Software/0721_7/quest.txt
deleted file mode 100644
index f3019d0..0000000
--- a/Ingegneria del Software/0721_7/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Si consideri il Test-Driven Development (TDD). Quale delle seguenti affermazioni è vera?
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_7/wrong1.txt b/Ingegneria del Software/0721_7/wrong1.txt
deleted file mode 100644
index 2891ab7..0000000
--- a/Ingegneria del Software/0721_7/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Scrivi test automatizzati per tutti i requisiti di sistema, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_7/wrong2.txt b/Ingegneria del Software/0721_7/wrong2.txt
deleted file mode 100644
index cf5eab4..0000000
--- a/Ingegneria del Software/0721_7/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Per ciascun incremento di funzionalità, implementa la funzionalità, scrivi test automatizzati, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_9/correct.txt b/Ingegneria del Software/0721_9/correct.txt
deleted file mode 100644
index d4074cf..0000000
--- a/Ingegneria del Software/0721_9/correct.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_9/quest.txt b/Ingegneria del Software/0721_9/quest.txt
deleted file mode 100644
index 367356f..0000000
--- a/Ingegneria del Software/0721_9/quest.txt
+++ /dev/null
@@ -1 +0,0 @@
-Unit testing si concentra su:
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_9/wrong1.txt b/Ingegneria del Software/0721_9/wrong1.txt
deleted file mode 100644
index 5d19792..0000000
--- a/Ingegneria del Software/0721_9/wrong1.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare l'interazione tra componenti.
\ No newline at end of file
diff --git a/Ingegneria del Software/0721_9/wrong2.txt b/Ingegneria del Software/0721_9/wrong2.txt
deleted file mode 100644
index f67535f..0000000
--- a/Ingegneria del Software/0721_9/wrong2.txt
+++ /dev/null
@@ -1 +0,0 @@
-Testare le interfacce di ciascuna componente.
\ No newline at end of file
diff --git a/Ingegneria del Software/1122_17/correct.txt b/Ingegneria del Software/1122_17/correct.txt
deleted file mode 100644
index b8bf06e..0000000
--- a/Ingegneria del Software/1122_17/correct.txt
+++ /dev/null
@@ -1,17 +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/1122_17/quest.txt b/Ingegneria del Software/1122_17/quest.txt
deleted file mode 100644
index 8255558..0000000
--- a/Ingegneria del Software/1122_17/quest.txt
+++ /dev/null
@@ -1,5 +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/1122_17/wrong 1.txt b/Ingegneria del Software/1122_17/wrong 1.txt
deleted file mode 100644
index f31bec2..0000000
--- a/Ingegneria del Software/1122_17/wrong 1.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/1122_17/wrong 2.txt b/Ingegneria del Software/1122_17/wrong 2.txt
deleted file mode 100644
index b80f909..0000000
--- a/Ingegneria del Software/1122_17/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) 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/1122_18/correct.txt b/Ingegneria del Software/1122_18/correct.txt
deleted file mode 100644
index fc137ec..0000000
--- a/Ingegneria del Software/1122_18/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/1122_18/quest.txt b/Ingegneria del Software/1122_18/quest.txt
deleted file mode 100644
index 0fece4c..0000000
--- a/Ingegneria del Software/1122_18/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 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/1122_18/wrong 1.txt b/Ingegneria del Software/1122_18/wrong 1.txt
deleted file mode 100644
index dc0a5b5..0000000
--- a/Ingegneria del Software/1122_18/wrong 1.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
diff --git a/Ingegneria del Software/1122_18/wrong 2.txt b/Ingegneria del Software/1122_18/wrong 2.txt
deleted file mode 100644
index 093cf12..0000000
--- a/Ingegneria del Software/1122_18/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/1122_41/correct.txt b/Ingegneria del Software/1122_41/correct.txt
deleted file mode 100644
index 4c75070..0000000
--- a/Ingegneria del Software/1122_41/correct.txt
+++ /dev/null
@@ -1,16 +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/1122_41/quest.txt b/Ingegneria del Software/1122_41/quest.txt
deleted file mode 100644
index bd2d469..0000000
--- a/Ingegneria del Software/1122_41/quest.txt
+++ /dev/null
@@ -1,7 +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/1122_41/wrong 1.txt b/Ingegneria del Software/1122_41/wrong 1.txt
deleted file mode 100644
index b270f7e..0000000
--- a/Ingegneria del Software/1122_41/wrong 1.txt
+++ /dev/null
@@ -1,18 +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/1122_41/wrong 2.txt b/Ingegneria del Software/1122_41/wrong 2.txt
deleted file mode 100644
index 6637a0f..0000000
--- a/Ingegneria del Software/1122_41/wrong 2.txt
+++ /dev/null
@@ -1,18 +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/13/correct.txt b/Ingegneria del Software/13/correct.txt
deleted file mode 100644
index 61f3ad6..0000000
--- a/Ingegneria del Software/13/correct.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-OutputInteger x;
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (myrandom() <= 0.8)
-then
-if (myrandom() <= 0.7)
-then
-x := 0;
-else
-x := 1;
-end if;
-else
-x := -1;
-end if;
-end when;
-end MarkovChain;
diff --git a/Ingegneria del Software/13/quest.txt b/Ingegneria del Software/13/quest.txt
deleted file mode 100644
index 1d022cd..0000000
--- a/Ingegneria del Software/13/quest.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-L'environment di un sistema software è costituito da uno user che, ogni untià di tempo (ad esempio, un secondo) invia al
-sistema tre numeri: -1, 0, 1, con probabilità, rispettivamente, 0.2, 0.56, 0.24.
-Quale dei seguenti modelli Modelica modella correttamente l'environment descritto sopra.
diff --git a/Ingegneria del Software/13/wrong 2.txt b/Ingegneria del Software/13/wrong 2.txt
deleted file mode 100644
index 98711f1..0000000
--- a/Ingegneria del Software/13/wrong 2.txt
+++ /dev/null
@@ -1,21 +0,0 @@
- block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-OutputInteger x;
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (myrandom() <= 0.8)
-then
-if (myrandom() <= 0.7)
-then
-x := 1;
-else
-x := 0;
-end if;
-else
-x := -1;
-end if;
-end when;
-end MarkovChai
\ No newline at end of file
diff --git a/Ingegneria del Software/13/wrong.txt b/Ingegneria del Software/13/wrong.txt
deleted file mode 100644
index ea16b1a..0000000
--- a/Ingegneria del Software/13/wrong.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Integer x0 = 0;
-OutputInteger x;
-algorithm
-when initial() then
-x := x0;
-elsewhen sample(0, 1) then
-if (myrandom() <= 0.7)
-then
-if (myrandom() <= 0.8)
-then
-x := 0;
-else
-x := 1;
-end if;
-else
-x := -1;
-end if;
-end when;
-end MarkovChain;
diff --git a/Ingegneria del Software/31/correct.txt b/Ingegneria del Software/31/correct.txt
deleted file mode 100644
index e04fd74..0000000
--- a/Ingegneria del Software/31/correct.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Real x0 = 0;
-OutputReal x;
-Integer countdown;
-algorithm
-when initial() then
-x := x0;
-countdown := 0;
-elsewhen sample(0, 1) then
-if (countdown <= 0)
-then
-countdown := 1 + integer(floor(10*myrandom()));
-x := x + (-1 + 2*myrandom());
-else
-countdown := countdown - 1;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/31/quest.txt b/Ingegneria del Software/31/quest.txt
deleted file mode 100644
index 9ef43a2..0000000
--- a/Ingegneria del Software/31/quest.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-L'input di un sistema software è costituito da una sequenza di valori reali. Ad ogni unità di tempo il valore di input può
-rimanere uguale al precedente oppure differire di un numero random in [-1, 1]. L'input resta costante per numero random di
-unità di tempo in [1, 10].
-Quale dei seguenti modelli Modelica modella meglio l'environment descritto sopra.
\ No newline at end of file
diff --git a/Ingegneria del Software/31/wrong 2.txt b/Ingegneria del Software/31/wrong 2.txt
deleted file mode 100644
index fd4f366..0000000
--- a/Ingegneria del Software/31/wrong 2.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Real x0 = 0;
-OutputReal x;
-Integer countdown;
-algorithm
-when initial() then
-x := x0;
-countdown := 0;
-elsewhen sample(0, 1) then
-if (countdown <= 0)
-then
-countdown := 1 + integer(floor(10*myrandom()));
-x := x + (-1 + 4*myrandom());
-else
-countdown := countdown - 1;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file
diff --git a/Ingegneria del Software/31/wrong.txt b/Ingegneria del Software/31/wrong.txt
deleted file mode 100644
index 96470a6..0000000
--- a/Ingegneria del Software/31/wrong.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-
-block MarkovChain
-//external function myrandom() returns a random real number in [0, 1]
-parameter Real x0 = 0;
-OutputReal x;
-Integer countdown;
-algorithm
-when initial() then
-x := x0;
-countdown := 0;
-elsewhen sample(0, 1) then
-if (countdown <= 0)
-then
-countdown := 1 + integer(floor(10*myrandom()));
-x := x - myrandom();
-else
-countdown := countdown - 1;
-end if;
-end when;
-end MarkovChain;
-
\ No newline at end of file