From 847ca87559a573f2ae91732762707b163046ed40 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 22 Nov 2022 23:56:27 +0100 Subject: [PATCH] Removed duplicates --- Ingegneria del Software/0321_22/correct.txt | 1 - Ingegneria del Software/0321_22/quest.txt | 1 - Ingegneria del Software/0321_22/wrong 1.txt | 1 - Ingegneria del Software/0321_22/wrong 2.txt | 1 - Ingegneria del Software/0321_25/correct.txt | 1 - Ingegneria del Software/0321_25/quest.txt | 1 - Ingegneria del Software/0321_25/wrong 1.txt | 1 - Ingegneria del Software/0321_25/wrong 2.txt | 1 - Ingegneria del Software/0321_26/correct.txt | 30 ------------------ Ingegneria del Software/0321_26/quest.txt | 1 - Ingegneria del Software/0321_26/wrong 1.txt | 28 ----------------- Ingegneria del Software/0321_26/wrong 2.txt | 27 ---------------- Ingegneria del Software/0321_3/correct.txt | 1 - Ingegneria del Software/0321_3/quest.txt | 1 - Ingegneria del Software/0321_3/wrong 1.txt | 1 - Ingegneria del Software/0321_3/wrong 2.txt | 1 - Ingegneria del Software/0321_33/correct.txt | 1 - Ingegneria del Software/0321_33/quest.txt | 1 - Ingegneria del Software/0321_33/wrong 1.txt | 1 - Ingegneria del Software/0321_33/wrong 2.txt | 1 - Ingegneria del Software/0321_34/correct.txt | 1 - Ingegneria del Software/0321_34/quest.txt | 1 - Ingegneria del Software/0321_34/wrong 1.txt | 1 - Ingegneria del Software/0321_34/wrong 2.txt | 1 - Ingegneria del Software/0321_35/correct.txt | 1 - Ingegneria del Software/0321_35/quest.txt | 1 - Ingegneria del Software/0321_35/wrong 1.txt | 1 - Ingegneria del Software/0321_35/wrong 2.txt | 1 - Ingegneria del Software/0321_39/correct.txt | 1 - Ingegneria del Software/0321_39/quest.txt | 1 - Ingegneria del Software/0321_39/wrong 1.txt | 1 - Ingegneria del Software/0321_39/wrong 2.txt | 1 - Ingegneria del Software/0321_5/correct.txt | 1 - Ingegneria del Software/0321_5/quest.txt | 1 - Ingegneria del Software/0321_5/wrong 1.txt | 1 - Ingegneria del Software/0321_5/wrong 2.txt | 1 - Ingegneria del Software/0321_6/correct.txt | 1 - Ingegneria del Software/0321_6/quest.txt | 1 - Ingegneria del Software/0321_6/wrong 1.txt | 1 - Ingegneria del Software/0321_6/wrong 2.txt | 1 - Ingegneria del Software/0321_7/correct.txt | 1 - Ingegneria del Software/0321_7/quest.txt | 1 - Ingegneria del Software/0321_7/wrong 1.txt | 1 - Ingegneria del Software/0321_7/wrong 2.txt | 1 - Ingegneria del Software/0621_11/correct.txt | 13 -------- Ingegneria del Software/0621_11/quest.txt | 5 --- Ingegneria del Software/0621_11/wrong0.txt | 13 -------- Ingegneria del Software/0621_11/wrong1.txt | 14 --------- Ingegneria del Software/0621_15/correct.txt | 1 - Ingegneria del Software/0621_15/quest.txt | 1 - Ingegneria del Software/0621_15/wrong0.txt | 1 - Ingegneria del Software/0621_15/wrong1.txt | 1 - Ingegneria del Software/0621_16/correct.txt | 1 - Ingegneria del Software/0621_16/quest.txt | 1 - Ingegneria del Software/0621_16/wrong0.txt | 1 - Ingegneria del Software/0621_16/wrong1.txt | 1 - Ingegneria del Software/0621_18/correct.txt | 1 - Ingegneria del Software/0621_18/quest.txt | 1 - Ingegneria del Software/0621_18/wrong0.txt | 1 - Ingegneria del Software/0621_18/wrong1.txt | 1 - Ingegneria del Software/0621_23/correct.txt | 15 --------- Ingegneria del Software/0621_23/quest.txt | 3 -- Ingegneria del Software/0621_23/wrong0.txt | 15 --------- Ingegneria del Software/0621_23/wrong1.txt | 15 --------- Ingegneria del Software/0621_25/correct.txt | 12 ------- Ingegneria del Software/0621_25/quest.txt | 1 - Ingegneria del Software/0621_25/wrong1.txt | 12 ------- Ingegneria del Software/0621_25/wrong2.txt | 12 ------- Ingegneria del Software/0621_26/correct.txt | 1 - Ingegneria del Software/0621_26/quest.txt | 1 - Ingegneria del Software/0621_26/wrong0.txt | 1 - Ingegneria del Software/0621_26/wrong1.txt | 1 - Ingegneria del Software/0621_27/correct.txt | 1 - Ingegneria del Software/0621_27/quest.txt | 1 - Ingegneria del Software/0621_27/wrong0.txt | 1 - Ingegneria del Software/0621_27/wrong1.txt | 1 - Ingegneria del Software/0621_28/1.png | Bin 21916 -> 0 bytes Ingegneria del Software/0621_28/correct.txt | 33 -------------------- Ingegneria del Software/0621_28/quest.txt | 3 -- Ingegneria del Software/0621_28/wrong0.txt | 33 -------------------- Ingegneria del Software/0621_28/wrong2.txt | 33 -------------------- Ingegneria del Software/0621_29/correct.txt | 1 - Ingegneria del Software/0621_29/quest.txt | 1 - Ingegneria del Software/0621_29/wrong0.txt | 1 - Ingegneria del Software/0621_29/wrong1.txt | 1 - Ingegneria del Software/0621_30/correct.txt | 13 -------- Ingegneria del Software/0621_30/quest.txt | 5 --- Ingegneria del Software/0621_30/wrong0.txt | 13 -------- Ingegneria del Software/0621_30/wrong1.txt | 13 -------- Ingegneria del Software/0621_34/correct.txt | 15 --------- Ingegneria del Software/0621_34/quest.txt | 3 -- Ingegneria del Software/0621_34/wrong0.txt | 15 --------- Ingegneria del Software/0621_34/wrong1.txt | 15 --------- Ingegneria del Software/0621_37/correct.txt | 13 -------- Ingegneria del Software/0621_37/quest.txt | 1 - Ingegneria del Software/0621_37/wrong0.txt | 13 -------- Ingegneria del Software/0621_37/wrong2.txt | 13 -------- Ingegneria del Software/0621_38/correct.txt | 1 - Ingegneria del Software/0621_38/quest.txt | 1 - Ingegneria del Software/0621_38/wrong0.txt | 1 - Ingegneria del Software/0621_38/wrong1.txt | 1 - Ingegneria del Software/0621_5/correct.txt | 15 --------- Ingegneria del Software/0621_5/quest.txt | 3 -- Ingegneria del Software/0621_5/wrong0.txt | 15 --------- Ingegneria del Software/0621_5/wrong1.txt | 15 --------- Ingegneria del Software/0621_7/correct.txt | 1 - Ingegneria del Software/0621_7/quest.txt | 1 - Ingegneria del Software/0621_7/wrong0.txt | 1 - Ingegneria del Software/0621_7/wrong1.txt | 1 - Ingegneria del Software/0621_8/1.png | Bin 26956 -> 0 bytes Ingegneria del Software/0621_8/correct.txt | 33 -------------------- Ingegneria del Software/0621_8/quest.txt | 3 -- Ingegneria del Software/0621_8/wrong0.txt | 33 -------------------- Ingegneria del Software/0621_8/wrong1.txt | 33 -------------------- Ingegneria del Software/0721_11/correct.txt | 15 --------- Ingegneria del Software/0721_11/quest.txt | 5 --- Ingegneria del Software/0721_11/wrong1.txt | 15 --------- Ingegneria del Software/0721_11/wrong2.txt | 15 --------- Ingegneria del Software/0721_12/correct.txt | 1 - Ingegneria del Software/0721_12/quest.txt | 1 - Ingegneria del Software/0721_12/wrong1.txt | 1 - Ingegneria del Software/0721_12/wrong2.txt | 1 - Ingegneria del Software/0721_14/correct.txt | 17 ---------- Ingegneria del Software/0721_14/quest.txt | 3 -- Ingegneria del Software/0721_14/wrong1.txt | 17 ---------- Ingegneria del Software/0721_14/wrong2.txt | 17 ---------- Ingegneria del Software/0721_16/correct.txt | 1 - Ingegneria del Software/0721_16/quest.txt | 1 - Ingegneria del Software/0721_16/wrong1.txt | 1 - Ingegneria del Software/0721_16/wrong2.txt | 1 - Ingegneria del Software/0721_2/correct.txt | 1 - Ingegneria del Software/0721_2/quest.txt | 1 - Ingegneria del Software/0721_2/wrong1.txt | 1 - Ingegneria del Software/0721_2/wrong2.txt | 1 - Ingegneria del Software/0721_20/correct.txt | 17 ---------- Ingegneria del Software/0721_20/quest.txt | 3 -- Ingegneria del Software/0721_20/wrong1.txt | 17 ---------- Ingegneria del Software/0721_20/wrong2.txt | 17 ---------- Ingegneria del Software/0721_22/correct.txt | 15 --------- Ingegneria del Software/0721_22/quest.txt | 1 - Ingegneria del Software/0721_22/wrong1.txt | 15 --------- Ingegneria del Software/0721_22/wrong2.txt | 15 --------- Ingegneria del Software/0721_23/correct.txt | 15 --------- Ingegneria del Software/0721_23/quest.txt | 5 --- Ingegneria del Software/0721_23/wrong1.txt | 15 --------- Ingegneria del Software/0721_23/wrong2.txt | 15 --------- Ingegneria del Software/0721_24/correct.txt | 16 ---------- Ingegneria del Software/0721_24/quest.txt | 1 - Ingegneria del Software/0721_24/wrong1.txt | 15 --------- Ingegneria del Software/0721_24/wrong2.txt | 15 --------- Ingegneria del Software/0721_25/correct.txt | 17 ---------- Ingegneria del Software/0721_25/quest.txt | 3 -- Ingegneria del Software/0721_25/wrong1.txt | 17 ---------- Ingegneria del Software/0721_25/wrong2.txt | 17 ---------- Ingegneria del Software/0721_26/correct.txt | 20 ------------ Ingegneria del Software/0721_26/quest.txt | 4 --- Ingegneria del Software/0721_26/wrong1.txt | 20 ------------ Ingegneria del Software/0721_26/wrong2.txt | 22 ------------- Ingegneria del Software/0721_27/correct.txt | 16 ---------- Ingegneria del Software/0721_27/quest.txt | 4 --- Ingegneria del Software/0721_27/wrong1.txt | 16 ---------- Ingegneria del Software/0721_27/wrong2.txt | 16 ---------- Ingegneria del Software/0721_3/correct.txt | 1 - Ingegneria del Software/0721_3/quest.txt | 1 - Ingegneria del Software/0721_3/wrong1.txt | 1 - Ingegneria del Software/0721_3/wrong2.txt | 1 - Ingegneria del Software/0721_31/correct.txt | 1 - Ingegneria del Software/0721_31/quest.txt | 17 ---------- Ingegneria del Software/0721_31/wrong1.txt | 1 - Ingegneria del Software/0721_31/wrong2.txt | 1 - Ingegneria del Software/0721_35/correct.txt | 17 ---------- Ingegneria del Software/0721_35/quest.txt | 3 -- Ingegneria del Software/0721_35/wrong1.txt | 17 ---------- Ingegneria del Software/0721_35/wrong2.txt | 17 ---------- Ingegneria del Software/0721_37/correct.txt | 15 --------- Ingegneria del Software/0721_37/quest.txt | 5 --- Ingegneria del Software/0721_37/wrong1.txt | 16 ---------- Ingegneria del Software/0721_37/wrong2.txt | 15 --------- Ingegneria del Software/0721_38/correct.txt | 27 ---------------- Ingegneria del Software/0721_38/quest.txt | 8 ----- Ingegneria del Software/0721_38/wrong1.txt | 27 ---------------- Ingegneria del Software/0721_38/wrong2.txt | 27 ---------------- Ingegneria del Software/0721_39/correct.txt | 21 ------------- Ingegneria del Software/0721_39/quest.txt | 2 -- Ingegneria del Software/0721_39/wrong1.txt | 21 ------------- Ingegneria del Software/0721_39/wrong2.txt | 21 ------------- Ingegneria del Software/0721_40/correct.txt | 1 - Ingegneria del Software/0721_40/quest.txt | 17 ---------- Ingegneria del Software/0721_40/wrong1.txt | 1 - Ingegneria del Software/0721_40/wrong2.txt | 1 - Ingegneria del Software/0721_7/correct.txt | 1 - Ingegneria del Software/0721_7/quest.txt | 1 - Ingegneria del Software/0721_7/wrong1.txt | 1 - Ingegneria del Software/0721_7/wrong2.txt | 1 - Ingegneria del Software/0721_9/correct.txt | 1 - Ingegneria del Software/0721_9/quest.txt | 1 - Ingegneria del Software/0721_9/wrong1.txt | 1 - Ingegneria del Software/0721_9/wrong2.txt | 1 - Ingegneria del Software/1122_17/correct.txt | 17 ---------- Ingegneria del Software/1122_17/quest.txt | 5 --- Ingegneria del Software/1122_17/wrong 1.txt | 19 ----------- Ingegneria del Software/1122_17/wrong 2.txt | 19 ----------- Ingegneria del Software/1122_18/correct.txt | 17 ---------- Ingegneria del Software/1122_18/quest.txt | 9 ------ Ingegneria del Software/1122_18/wrong 1.txt | 19 ----------- Ingegneria del Software/1122_18/wrong 2.txt | 20 ------------ Ingegneria del Software/1122_41/correct.txt | 16 ---------- Ingegneria del Software/1122_41/quest.txt | 7 ----- Ingegneria del Software/1122_41/wrong 1.txt | 18 ----------- Ingegneria del Software/1122_41/wrong 2.txt | 18 ----------- Ingegneria del Software/13/correct.txt | 21 ------------- Ingegneria del Software/13/quest.txt | 3 -- Ingegneria del Software/13/wrong 2.txt | 21 ------------- Ingegneria del Software/13/wrong.txt | 21 ------------- Ingegneria del Software/31/correct.txt | 21 ------------- Ingegneria del Software/31/quest.txt | 4 --- Ingegneria del Software/31/wrong 2.txt | 21 ------------- Ingegneria del Software/31/wrong.txt | 21 ------------- 218 files changed, 1785 deletions(-) delete mode 100644 Ingegneria del Software/0321_22/correct.txt delete mode 100644 Ingegneria del Software/0321_22/quest.txt delete mode 100644 Ingegneria del Software/0321_22/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_22/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_25/correct.txt delete mode 100644 Ingegneria del Software/0321_25/quest.txt delete mode 100644 Ingegneria del Software/0321_25/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_25/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_26/correct.txt delete mode 100644 Ingegneria del Software/0321_26/quest.txt delete mode 100644 Ingegneria del Software/0321_26/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_26/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_3/correct.txt delete mode 100644 Ingegneria del Software/0321_3/quest.txt delete mode 100644 Ingegneria del Software/0321_3/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_3/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_33/correct.txt delete mode 100644 Ingegneria del Software/0321_33/quest.txt delete mode 100644 Ingegneria del Software/0321_33/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_33/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_34/correct.txt delete mode 100644 Ingegneria del Software/0321_34/quest.txt delete mode 100644 Ingegneria del Software/0321_34/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_34/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_35/correct.txt delete mode 100644 Ingegneria del Software/0321_35/quest.txt delete mode 100644 Ingegneria del Software/0321_35/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_35/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_39/correct.txt delete mode 100644 Ingegneria del Software/0321_39/quest.txt delete mode 100644 Ingegneria del Software/0321_39/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_39/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_5/correct.txt delete mode 100644 Ingegneria del Software/0321_5/quest.txt delete mode 100644 Ingegneria del Software/0321_5/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_5/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_6/correct.txt delete mode 100644 Ingegneria del Software/0321_6/quest.txt delete mode 100644 Ingegneria del Software/0321_6/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_6/wrong 2.txt delete mode 100644 Ingegneria del Software/0321_7/correct.txt delete mode 100644 Ingegneria del Software/0321_7/quest.txt delete mode 100644 Ingegneria del Software/0321_7/wrong 1.txt delete mode 100644 Ingegneria del Software/0321_7/wrong 2.txt delete mode 100644 Ingegneria del Software/0621_11/correct.txt delete mode 100644 Ingegneria del Software/0621_11/quest.txt delete mode 100644 Ingegneria del Software/0621_11/wrong0.txt delete mode 100644 Ingegneria del Software/0621_11/wrong1.txt delete mode 100644 Ingegneria del Software/0621_15/correct.txt delete mode 100644 Ingegneria del Software/0621_15/quest.txt delete mode 100644 Ingegneria del Software/0621_15/wrong0.txt delete mode 100644 Ingegneria del Software/0621_15/wrong1.txt delete mode 100644 Ingegneria del Software/0621_16/correct.txt delete mode 100644 Ingegneria del Software/0621_16/quest.txt delete mode 100644 Ingegneria del Software/0621_16/wrong0.txt delete mode 100644 Ingegneria del Software/0621_16/wrong1.txt delete mode 100644 Ingegneria del Software/0621_18/correct.txt delete mode 100644 Ingegneria del Software/0621_18/quest.txt delete mode 100644 Ingegneria del Software/0621_18/wrong0.txt delete mode 100644 Ingegneria del Software/0621_18/wrong1.txt delete mode 100644 Ingegneria del Software/0621_23/correct.txt delete mode 100644 Ingegneria del Software/0621_23/quest.txt delete mode 100644 Ingegneria del Software/0621_23/wrong0.txt delete mode 100644 Ingegneria del Software/0621_23/wrong1.txt delete mode 100644 Ingegneria del Software/0621_25/correct.txt delete mode 100644 Ingegneria del Software/0621_25/quest.txt delete mode 100644 Ingegneria del Software/0621_25/wrong1.txt delete mode 100644 Ingegneria del Software/0621_25/wrong2.txt delete mode 100644 Ingegneria del Software/0621_26/correct.txt delete mode 100644 Ingegneria del Software/0621_26/quest.txt delete mode 100644 Ingegneria del Software/0621_26/wrong0.txt delete mode 100644 Ingegneria del Software/0621_26/wrong1.txt delete mode 100644 Ingegneria del Software/0621_27/correct.txt delete mode 100644 Ingegneria del Software/0621_27/quest.txt delete mode 100644 Ingegneria del Software/0621_27/wrong0.txt delete mode 100644 Ingegneria del Software/0621_27/wrong1.txt delete mode 100644 Ingegneria del Software/0621_28/1.png delete mode 100644 Ingegneria del Software/0621_28/correct.txt delete mode 100644 Ingegneria del Software/0621_28/quest.txt delete mode 100644 Ingegneria del Software/0621_28/wrong0.txt delete mode 100644 Ingegneria del Software/0621_28/wrong2.txt delete mode 100644 Ingegneria del Software/0621_29/correct.txt delete mode 100644 Ingegneria del Software/0621_29/quest.txt delete mode 100644 Ingegneria del Software/0621_29/wrong0.txt delete mode 100644 Ingegneria del Software/0621_29/wrong1.txt delete mode 100644 Ingegneria del Software/0621_30/correct.txt delete mode 100644 Ingegneria del Software/0621_30/quest.txt delete mode 100644 Ingegneria del Software/0621_30/wrong0.txt delete mode 100644 Ingegneria del Software/0621_30/wrong1.txt delete mode 100644 Ingegneria del Software/0621_34/correct.txt delete mode 100644 Ingegneria del Software/0621_34/quest.txt delete mode 100644 Ingegneria del Software/0621_34/wrong0.txt delete mode 100644 Ingegneria del Software/0621_34/wrong1.txt delete mode 100644 Ingegneria del Software/0621_37/correct.txt delete mode 100644 Ingegneria del Software/0621_37/quest.txt delete mode 100644 Ingegneria del Software/0621_37/wrong0.txt delete mode 100644 Ingegneria del Software/0621_37/wrong2.txt delete mode 100644 Ingegneria del Software/0621_38/correct.txt delete mode 100644 Ingegneria del Software/0621_38/quest.txt delete mode 100644 Ingegneria del Software/0621_38/wrong0.txt delete mode 100644 Ingegneria del Software/0621_38/wrong1.txt delete mode 100644 Ingegneria del Software/0621_5/correct.txt delete mode 100644 Ingegneria del Software/0621_5/quest.txt delete mode 100644 Ingegneria del Software/0621_5/wrong0.txt delete mode 100644 Ingegneria del Software/0621_5/wrong1.txt delete mode 100644 Ingegneria del Software/0621_7/correct.txt delete mode 100644 Ingegneria del Software/0621_7/quest.txt delete mode 100644 Ingegneria del Software/0621_7/wrong0.txt delete mode 100644 Ingegneria del Software/0621_7/wrong1.txt delete mode 100644 Ingegneria del Software/0621_8/1.png delete mode 100644 Ingegneria del Software/0621_8/correct.txt delete mode 100644 Ingegneria del Software/0621_8/quest.txt delete mode 100644 Ingegneria del Software/0621_8/wrong0.txt delete mode 100644 Ingegneria del Software/0621_8/wrong1.txt delete mode 100644 Ingegneria del Software/0721_11/correct.txt delete mode 100644 Ingegneria del Software/0721_11/quest.txt delete mode 100644 Ingegneria del Software/0721_11/wrong1.txt delete mode 100644 Ingegneria del Software/0721_11/wrong2.txt delete mode 100644 Ingegneria del Software/0721_12/correct.txt delete mode 100644 Ingegneria del Software/0721_12/quest.txt delete mode 100644 Ingegneria del Software/0721_12/wrong1.txt delete mode 100644 Ingegneria del Software/0721_12/wrong2.txt delete mode 100644 Ingegneria del Software/0721_14/correct.txt delete mode 100644 Ingegneria del Software/0721_14/quest.txt delete mode 100644 Ingegneria del Software/0721_14/wrong1.txt delete mode 100644 Ingegneria del Software/0721_14/wrong2.txt delete mode 100644 Ingegneria del Software/0721_16/correct.txt delete mode 100644 Ingegneria del Software/0721_16/quest.txt delete mode 100644 Ingegneria del Software/0721_16/wrong1.txt delete mode 100644 Ingegneria del Software/0721_16/wrong2.txt delete mode 100644 Ingegneria del Software/0721_2/correct.txt delete mode 100644 Ingegneria del Software/0721_2/quest.txt delete mode 100644 Ingegneria del Software/0721_2/wrong1.txt delete mode 100644 Ingegneria del Software/0721_2/wrong2.txt delete mode 100644 Ingegneria del Software/0721_20/correct.txt delete mode 100644 Ingegneria del Software/0721_20/quest.txt delete mode 100644 Ingegneria del Software/0721_20/wrong1.txt delete mode 100644 Ingegneria del Software/0721_20/wrong2.txt delete mode 100644 Ingegneria del Software/0721_22/correct.txt delete mode 100644 Ingegneria del Software/0721_22/quest.txt delete mode 100644 Ingegneria del Software/0721_22/wrong1.txt delete mode 100644 Ingegneria del Software/0721_22/wrong2.txt delete mode 100644 Ingegneria del Software/0721_23/correct.txt delete mode 100644 Ingegneria del Software/0721_23/quest.txt delete mode 100644 Ingegneria del Software/0721_23/wrong1.txt delete mode 100644 Ingegneria del Software/0721_23/wrong2.txt delete mode 100644 Ingegneria del Software/0721_24/correct.txt delete mode 100644 Ingegneria del Software/0721_24/quest.txt delete mode 100644 Ingegneria del Software/0721_24/wrong1.txt delete mode 100644 Ingegneria del Software/0721_24/wrong2.txt delete mode 100644 Ingegneria del Software/0721_25/correct.txt delete mode 100644 Ingegneria del Software/0721_25/quest.txt delete mode 100644 Ingegneria del Software/0721_25/wrong1.txt delete mode 100644 Ingegneria del Software/0721_25/wrong2.txt delete mode 100644 Ingegneria del Software/0721_26/correct.txt delete mode 100644 Ingegneria del Software/0721_26/quest.txt delete mode 100644 Ingegneria del Software/0721_26/wrong1.txt delete mode 100644 Ingegneria del Software/0721_26/wrong2.txt delete mode 100644 Ingegneria del Software/0721_27/correct.txt delete mode 100644 Ingegneria del Software/0721_27/quest.txt delete mode 100644 Ingegneria del Software/0721_27/wrong1.txt delete mode 100644 Ingegneria del Software/0721_27/wrong2.txt delete mode 100644 Ingegneria del Software/0721_3/correct.txt delete mode 100644 Ingegneria del Software/0721_3/quest.txt delete mode 100644 Ingegneria del Software/0721_3/wrong1.txt delete mode 100644 Ingegneria del Software/0721_3/wrong2.txt delete mode 100644 Ingegneria del Software/0721_31/correct.txt delete mode 100644 Ingegneria del Software/0721_31/quest.txt delete mode 100644 Ingegneria del Software/0721_31/wrong1.txt delete mode 100644 Ingegneria del Software/0721_31/wrong2.txt delete mode 100644 Ingegneria del Software/0721_35/correct.txt delete mode 100644 Ingegneria del Software/0721_35/quest.txt delete mode 100644 Ingegneria del Software/0721_35/wrong1.txt delete mode 100644 Ingegneria del Software/0721_35/wrong2.txt delete mode 100644 Ingegneria del Software/0721_37/correct.txt delete mode 100644 Ingegneria del Software/0721_37/quest.txt delete mode 100644 Ingegneria del Software/0721_37/wrong1.txt delete mode 100644 Ingegneria del Software/0721_37/wrong2.txt delete mode 100644 Ingegneria del Software/0721_38/correct.txt delete mode 100644 Ingegneria del Software/0721_38/quest.txt delete mode 100644 Ingegneria del Software/0721_38/wrong1.txt delete mode 100644 Ingegneria del Software/0721_38/wrong2.txt delete mode 100644 Ingegneria del Software/0721_39/correct.txt delete mode 100644 Ingegneria del Software/0721_39/quest.txt delete mode 100644 Ingegneria del Software/0721_39/wrong1.txt delete mode 100644 Ingegneria del Software/0721_39/wrong2.txt delete mode 100644 Ingegneria del Software/0721_40/correct.txt delete mode 100644 Ingegneria del Software/0721_40/quest.txt delete mode 100644 Ingegneria del Software/0721_40/wrong1.txt delete mode 100644 Ingegneria del Software/0721_40/wrong2.txt delete mode 100644 Ingegneria del Software/0721_7/correct.txt delete mode 100644 Ingegneria del Software/0721_7/quest.txt delete mode 100644 Ingegneria del Software/0721_7/wrong1.txt delete mode 100644 Ingegneria del Software/0721_7/wrong2.txt delete mode 100644 Ingegneria del Software/0721_9/correct.txt delete mode 100644 Ingegneria del Software/0721_9/quest.txt delete mode 100644 Ingegneria del Software/0721_9/wrong1.txt delete mode 100644 Ingegneria del Software/0721_9/wrong2.txt delete mode 100644 Ingegneria del Software/1122_17/correct.txt delete mode 100644 Ingegneria del Software/1122_17/quest.txt delete mode 100644 Ingegneria del Software/1122_17/wrong 1.txt delete mode 100644 Ingegneria del Software/1122_17/wrong 2.txt delete mode 100644 Ingegneria del Software/1122_18/correct.txt delete mode 100644 Ingegneria del Software/1122_18/quest.txt delete mode 100644 Ingegneria del Software/1122_18/wrong 1.txt delete mode 100644 Ingegneria del Software/1122_18/wrong 2.txt delete mode 100644 Ingegneria del Software/1122_41/correct.txt delete mode 100644 Ingegneria del Software/1122_41/quest.txt delete mode 100644 Ingegneria del Software/1122_41/wrong 1.txt delete mode 100644 Ingegneria del Software/1122_41/wrong 2.txt delete mode 100644 Ingegneria del Software/13/correct.txt delete mode 100644 Ingegneria del Software/13/quest.txt delete mode 100644 Ingegneria del Software/13/wrong 2.txt delete mode 100644 Ingegneria del Software/13/wrong.txt delete mode 100644 Ingegneria del Software/31/correct.txt delete mode 100644 Ingegneria del Software/31/quest.txt delete mode 100644 Ingegneria del Software/31/wrong 2.txt delete mode 100644 Ingegneria del Software/31/wrong.txt 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 bc19a09489cef3b50e7ffc364470419b906b2c7c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 21916 zcmdSBWmKC{(>5C13GNUaT3lM(p%i!bVx_nj4KBr{K#My?iWGNury+$t5`;Bm=P563}oD0&BhIqi0Ic^XrEw)Akx47QoyQ$ zjD`7{M7`*K&F|crb=EKCC-XU&`QFUW$|Xa+WX;dk<`>EFq+_Z7v&jBQ+m!e-9x{{; zF$zE*giibaqc>0VM61gRsIPlM0$mggzrTK;#T{z=-sCKU@c*Gn&@6YJk2MPP{Kj+I*8cP01McfPj zKdci(MF*dgdw(&EkH^VktR*T!$4Y*>d6ywdSX**83Rz!A7Jx5_jEC@_w=&rv#*zGJ z65ZFAjypud=??dlF_^4h3A)?=_Xq!ZOLRw8NBHWFXnu?TKg0fWHID*8Tk^*{s%x45 z&IZ3MIf*ZcqCJTbG%x>uTn+jJpP-n+bsYGgTa!xyq{~yyUhZ-Al`hIZn18mlU3xJ3 zgf%WfBeugM(zssJlslzgPJBn(wr%@a7qvWA=bywp^g)w8PNdT)bUiTG{si@ zATJ&J=NIP2y2tGnhZh3|M2rs*vpKMSVyDOEl!cZVlknnw1Pn6HzMs%CYhuJM248_F zO1R_$ajYdng2*m;R$1?BBzc1X^%cI)-;Ng*nWYl@Y(J8Qzkv$HX}zgquvn?(!nku{ zspf128ObL*yPR#}|3?jN$s{D+1h^=?TpucFanNg)zpknso3iE+LYIi=QAR&jcQsCP zT>teG17_YwYEcUnE~tn~!4+wF2Ow5&A?fnhra@DDOyv8MY>4dJP@zF-$dH?Kew`NN z;4kPpiMPcg1v%!r?Js5XIo}q7%RS762=|WaliiX%LG{tNvf2V7`soUj02^&>)nv=h zzgUct*Or7MSm~qicido;tL^ufRB%amNa5=4>fO0%xl^(3zWc4Ofr)=G{}bxYQ5wxC ze`TZgb|`L1AZeH>if+fhTKCP`^XGWDM_q+>=RT%OXh1&sj@}&3VJ*TyYOl!^@fe#g zV<8(UtvSbLuWXEnA=9bHFGoon%^1Av|a@ z`@hnl1;a{?{l&s*b6iO{@4#7CkdJ?Im3Gj`D}RjB2O$-Ye<5Le$AH+eG%w;up_!AI z@;OH4?O(Oen@CSk_lf#a%>SL}e_Zqbd0YAtF^O;2`_gM$9uba@o>Wp0(B;uAXFBth z<^O8+pM5pVjtDnk<;U6&{PfdpCipv0G6|2wAh zpR`;V7j&|cwD3U~$fV-2|6>VSXY>upSIz`OPxSwt=D#xhf5d7JT6HrsnChobM+x!q z@sx3KaS7!=ewZwG20V9k_}#Bf&&=?M_+0G>H9J{a{*s`h+ax9M)-04!&S3dJ!{%&^ zq>j#fn}GA$$}hKF#q*~1z-Jx^81{1igYvC|3qm*{(L|f~xl@r!v{#5St z{QMh)0iqng?KpuP=*^tk$kEY}9u*Z;ptG|xh^^zJ`3Qcn6dtX@70yR~c9P?mjEoEe zadGi4cXxM2TxOk>u6HMkT84&(B+E_CU2VR%pQeP|_hbWJZWk7F1MUoZB0+)rqmLko zK>zE%wU$QD&mdus12cwqu@77;u!}z6SSRFa%=n`f7AYsT$uFC@p)?L7nr>1$e%ax< z@o{A|in5A|V_#M+1A|4PWJY;xP2%=Abo5xjMOSO!QsTg6l(wJlcCr3dQ2Y} z_gqLG;n8df4R#Lfht1B;0^cW7ak}hYpukrzQ4q1XxHy*#{_?+H^|s4%aawC%>=_xc z)3UYQUk2G>H;S-Mg}8d+;4WAoSbl37}B$| zJLI>uJ%2|7(m24^u!LSUS3F?vVzY0Lo3>AHo2v^#AOUxd*XrghD&Mt%aa5h0Kq^6V zYb&cF@AI_|$IZ=6EH`&|+aO*kkqv#oJG$;MusW+=wdv{YIT$8le{(Q%${-(qf(Qj) z4v_kEgXQGp%uJ!71BeeGe0(0g_fQ~{!j+B_l!ciYiVV5GxX>S)0Dp9+g7yKB|Kna2 zkw6d>eBSx&M6Ivzv<24Cn6VWM7-BuLu&|;EuB@ztvA%lM($|dqN96!yUP)-%AR;V0 z7%YW~Eg%7dxYOSdPp3!m0hO`v@i2l*N=lNRIv9?sH9FqLyol z?uk-Cq;G$FdyCT(vLwbG)1ZZyPw`NWj0a%id;R)I&)(i%M|~|dHFX7bOM*3k`*V;q zYw*^4#*xkkFyz5?+X*Tk_;gq*#~pA#BM1l`COo1F7ca98s5i%!x2|FDi)X~G^hN?z6q}XOK zmi%!wkU_!k{;UCkjb2bRG#sBQ&-%w%=sXIlVFqq+Fe&?w3r|cW-VG#74CP|e_RkuW z>}ohTIE1K5z;ixea9UbgQ}-;u4S4~_1r33XSszVXN2f|fMJ1s-63xGCm;olWi3|-z z#Qee<2{RX3t+gDYJ`f0kaohKZ9)5_%L)fENH!>3O8TdjhZXSnh2{duCxIn=9^;SNf zif6z8xOXLYq=XvEq3jnrPXJNu9z_d19skBh*!>+tYa6~AW+{x1Uw-T9h7iLego^rb zj}T-!Unafh17@c%2n=!MVJ+q!Ff=xXBq7HHDPRRl+S?x=)YQ~Ga-$SiRzmP9{mpkH z?Cf0dYk&RHLbxZ`fpu^6Vq+*jBEj<4GX$JXcbZ+d4aFaKQshOvPMUE9b+xtq1zlc$ zCdE%QL+&nh?+wFzd%7tDWR1t4!Q zkl7fTm+)|KoEnwPlMz{7;6y@`?5z8)-XkD#tDtX^1nroAeb~!%=CuGs*m*Jg+bJM~ zePH{bpfEC|_tRLztjP1Hojs? zs9971xBu*nq_9~qtNrD_5EGIDumdF>WMpIlG8EC|(EN!V9UZ+Fe*bRgV&UfQ{64+e z{eh(hy(bbOEH(rc*9kwCOEeSt0Ppqrq$g;h_WV3CB$ ze8jFf!btn#FB%6)7Zd8+LW}CcLZTkW3<^iL@wBQg(P!|HrDbLP_=+`m1CcTA7EQv3 z+YJQ`jVpQZ%JSPl5TKti%+52TH6-YW?3WUD9xpq_-*2d${1z1C5E2<_=|D?;d^4zifL@ zxB}THl`VBX79@RcWK0YP9*oW8*6py4$t;2o3XH)3eXzMNjkGX_Nh?2|msPT?xUyPG zVPdE>V!jmZ4p4cOw_`%uf-_B=r}Sc>rR4 zH6N4q@l?Pk5cZGzfZTmfXv4LYv)naLJ=uK z&2;EG3p+*HnjyBaThubv6Qck^E-XfrTuhgf(}M%Dp$9}u1oB`>Ny%>BgPo#) zYDfKD$Yvxc&1toDURAdWC6+cemKf20+MGGBveMy8tPV~E!!EjH*!S(B1WF~JH>e!Y zBnEk9y0eEo;1<%j44@H7)OD-hr{<{}kzwyEo>IRDvbmoOx(-8JCN2P$j}+Qm%55^> zQCaIhF4O%lJu^;ovA5V8d1tDG+&K!L)!E73o|561Ow{-0BLzEde;K1Dvz^OY_%uD9 z3prw}*U1ES7}ukXLkidJDHT6CccOxn8|`{QU2c z`Y(gM9P8i;yZBCv9t6Y<`}kp0kJX>p`x-23b{q6LzNXhiNofqRGA}?ZbO8?`5I+c7 zp9!nJe8v@zM2`xQ)Ybh1HV?&H3p%Nhp>#;@@iR$n&wz4<4TX~JDsz>tqynXh@Q|et z@!!08!_lJ0*5{nz7G{3shJ>!Gy@meIdj=In8N_+fF)$3UA(21G)p=VUfzK;QFzZ*G zG@!%{27-40_QQWEG*cE1a{_t|esjR{9p}OJ1_*LtQHbZlV%X?l0C=dAIkE8x#w3ZA z*8XyHb925^JQ@3w#UI~gctog|lXHJETLhzG&>V%YkS!=YMHo3NJ6phErFkYA10|BI zk!sC7p3intSlrC*#@b z!c%m5zB|3|?dv1uZsFWw&5Vv7;qmmmW!rj>HHU{E3{Ul5UlSy|{^Djz&umz5Qv ziKpM$vZV}f;W4RNHsX{QM`6vHB)NW$pYd_y>+p1;z;-+K8KYSH&Ue>G3;mwWBFNKj z1IHAzmWI&Z3SU}Hx3eCap}O`$9Af=3C7N#7(%$6ZOpB-ec_h(+iN{3!)*dYFm$;o) z=R>h)y25(`0T_n~-%n9&HsP${a;}6Jok7=y|BybxI8bxQwYsuaGhz41G>EWl`Y-jtumq3r58zhKSbt>%>sKqH!}PANHrjH*SUyRTl2nageU+ ze-4CENWAX=FET7I4YEvKIjQGIyIYMYq#x7~x`eqm2M&lm3yXR`7&@T0H>r;`c&2^d z&KZbq{pm-o1*K~&0O< zFq1+h)z-n(!`mBJXQfg%m?5$rts6FBi=be3Pz3OT-QUb!LXHWBCT{BfM0BrF|O*>lL z2)4P|b@eUC|1E4jJI9F!d-$!_`xfFP)0X^>Y@%gOl?^9zcwKH5i>H-NR2ebB`srb! zpYC>YiBR0St6W54(Sjt|<|xB;iX~r~rK8ze#>u+0pbVB6@2xpt;a+;v)}}0@xnCwC zVc<90v{Rt_%H*z4UMIn{78&xn*#Fa7t%q=cYNt>|Zr|Wk&UJ>>Win z>~}$lHGEx9^^SdX#%Ejt>z3L1cSGFws5ijxT*rhpo&!JUuEJPSsd;=dY?}IZP+$v( z&*F6+N?kW)C8v~&l7#kBD2UUMIKQXJDJenwO;qNaVFreM&kFZ?hdz3456)*{uD50$NYOfx8ov=jpmZbBURe&q~{; zZ$IV5F7O`E+o@vPwwi&b*jFO<=_lX4>zWya@bK2-e)Cd;JK+{26RgH>OE_|E`!& zd_ch8ZEC&&dKv7H7u%3XgoqS(ox-B_lY*U{=AtXFz-XhbMQ$P|fv=kulC!z83t8``JWo;_DB$Z+Bp$BL1%NRymAQt~zg5Vf18=#*rh!Y&i*>$EW4#6DNib9@-K)xeCNNxQ zVttI{NuSb{uABNxbW;~4E4PULvt^zApHm(zl`tqQ%rS(N457crLSuHg!og${-^f>a zLHI4;37maABOWsTMQX)e-)hMW;_kZ1=^<=xgR4-rQvQJ|6~Qbs&B;K3SJ5a{7C}Yx z+~#Xz6$*&HM)8y%L-otpk3GMN?lTu!SWQqb=EFbWN*XDOOYse2H*BL`@oUw7NL}|5 z5c1(QEZ;co%s?QG+SU25BSltXqFz&&*##U(JLz7g>l5-&g{QQLZ1s@6m?<7ggblE{ z+rUqbeMI*>vyP*0emGAC3b&gDMVT6Z>LzdZ90Bg#=cTCLwoyCpTLb4aK1 za$W=Th`z3>2^4n@coIg#VnseYKc=Z#a2s9PJK@GqH7edW@tosYr!Q@HY$)m`v~A^< zv!hgZu{g!ZofWg8bNza2k_$xL`ToXU^of3NwavQ;c*nVxu7X^r_@|s4>LK6B#1KCU(pt8ZQV~e#Y0h-SEue?fJP+J7*g@zeK=OHJ_IPFjydc<(EUz zH<&qo$PaR*eGjE%#^+m$96noBA}$!uR_KYFf8O_oM(AbFp-A-PG_0@OBx7&;)Tnrq zYN@Kle(>}$(s=1-vrPsZKn%X<_Nxo;9!_FtYkqD$tL-XH?gj@e%L*I_^lZHvfSBQ6 zA(B$L*|i>YWQMvk78s9l%SHKxzk&gk9eV3_cqTB&JgMWik?HilSBc!ng$N^@PQ z$mNjuNbPj6hd*~6dFZ8TCg5=}-33Pk7uiNEFxU7xWs&?vdrAdwHGW;0uOvr2cZ1`` zk~G-jeROPy1p3mpJD}s^;~w=54P1Av?{6{usVPK?mV#k`ew!3ja}*8+!Q&9{3e$oI z)>?pBn_ft*%5{y13LNM8SZ*EkI1>p_NOmS)Vvztq+Xm8T2vdz_FGTC@_22jmFsx$x zKR3@r0IsuC$(In{`ER_FzXLZlBw1pgF$)LhO0a)QK^4a`d>7T$EW6zC*lJsXPeE#x zJNGi5C_*$BPc3rR?T%-p1@kJPe1Mnano=!HI8!3>B)JjcO9JiglWx}_uV8ImU9S@$ zSF~AVjpBwC7SA86fulJPT{7qm+c_VW(uyx9cSnByiwth_s*z?=&6bIc7wU#KZUPcL zz{2`%_9a&kSwwdNw3z{GAwS^!EtY~V52oTKt`QR5dr5?WC?Jxi9JBM@LOrA%T5mQZ zeqAGLQ2TVVpu3Gl+0@+{LCxF~&A~CXmaY)|p%_(G5)S>MKeaBHfnUgF?^!DyvK!7) zoombGK2!CtoFs_Uxlr5mX~%}}-W#Jw@1E2Vk&wIv_k^HWAcZjh$W*9|&@p#IHA85X z8C7R8FJpOV^}bG5k%*m?$!BJ*vJ~Fz~7$jGos1P-Dcv zVnuiY2*C$s45=xkv+}li5#GQyj@cz3&L$Rnsez=%nwYOM2kMfdi*~~fV}JEI0QhA&5XqhU3WZVk3_<=H z4PVao05v=wl3l2H1D05D8guIWh)i#pOTZ%nAji~u6R;gYZGhnyWZ(XQFIQgP_7CnZfNjS%XzMG@oi?> znB{=ya_1aBd%pkEk^FB?=m~;U9-JV#y|BZty2KEV7Pk zo{ctEYNlCSB6^jhWsCj+80sRah!R0r7!g>%ucbsfU(9`bK*Zrl)3L^FmHPn--;I6bcu#c8tqTlzt)j6xqsbM_CaSfEQow2 z1mN$#dS#g%$zj}AcXW5@CPgz9I#>Q1{&cFkjpGXc@d}b+f&3S8Kf$Lfcw|8NRjWy! z<`F*AM!n&is6>LqD8({ttz45g8(j^0Y2hJ1?HxUw`czFhhqqhYUG^@$Z6Qyw1W>=B zuRmn`D=w5z{F_HmKePXFwf{0)X~=XOr=D}XPi|Hc3^~`{*%ODLLb+zWoZ}~d8oru> zB;K~R$%+XhvaPyaoUWpFll|I>@C4y{l{5XIrXlKHsUnK;-OW`GqXsp_+A?BgW}ioMTzrh+c;dk4Oz?SBvq z#UJJjfKXz0)=_My^_giT;BF3}j(MyeH_P1c=vV6Vi{rn4mkhRVn|qIzn;d#(L|c<^CmfI~oy@pSMrGn3a)|EXnMA02=%e%Z zp^lSo|9MYTfb&mhOZr>#huym-Ps+L7xZUG8fJ0UL7W_fzDA|MJB(#0rx!kKWl~vJ2 z`DB~S`1r}0@lu%rKj?Gy#x?M{h2ei@!Ao{re(ctUcf_LDo%Juvy!qCYUfi_#y_p~U z%%u*DV=(xeDZzSH2-B$m1(L3#YJvL)vXBRml(JtS@BUOcKXLdU2a6#zlT5)b8C?zh z;m2U1sknr_`LgNjdo8Ew*P`RbR`8tJP_Hnwp?V0}eT)7;HYAjUPar{7206Ga0>p;dmur?K43a-yq4HZD}c?fWuxvz3OEg?%B| zOv^iJ_^0a6HD{p}98=Q_{06AJdcID2=D&3|i`jFiVx7V~=!+`YW=rtX2^CGc553L_ z)i87&d-^)m@j6s%RG`y}6q@`N`9ua&wQBbI=QyjQ#?~-NLTFRyO>$Zsro7mvg4v1% zbq@EFzJbUGYM5wW153bYo#OHz`g62>F*Jt1_&5)sOp`Y0k9OLkXWx6`Ju|d@qEfhN z9!U`e+2GD@pPa_AoVWeDqq^Yc5U(JHb`T;4o8A;z2Qn?~=pb;|`(M4ekf5zHMDm%E zI2Y1KDbc1ecKh3r|9ChD##qIOzMwY@k_9BtqW}Fs4#|<3`=l+zJHP-t1$;n8g0;1_ zuHmZ?K)T`r1Y!C(cRPhg@wv2H3i`S@5z7@jx%XM(y(0N1!*vWa4RD;x85nUZafX!i zrm8>&`;4i@jiA49Lz+7{W%I;`Csn$DWI%&;(bY`)fq%a;iYca3u)iB`IuNd`z7mV5$@*9 z9ob?wlDo|UcaSE43jP#QY2ChquWcA#rf_3|lqkM}6PhG;4WL3YR0fhe@<0 zEag>Bi6f1a%QCz8os4H*>v}*(zjUe@!VhARp4-zRr_FsIC5RL|vJx~J8RmSPko0HRhzO+x_V#8+-G_8 zfr9JO=G~!JywN6YkSA8^?u#AVA1p{342*usaTl( z6A)`Qof9JDa8x17^1ODDoBM4S!lPGXsBm{Use0weE#CYtJ!>b80ZQ_dV+Gzw@UH#> z8cp9hk-oasi4Ebyci9A-V>Q9o@WVnvU!LPZ`m|DvI8sO~mk6AyV7lRi<*@V$)X zT9B(jL2Hv3ha|s#lYZ>0t6_n1q}PnNmRE62P?PZ?Ad7KCVDoqZju*5^7;Jg=EQfph z4{Xl+t}$s}=W^mIRiKo8Wt8vJ4Xp{n_TdzqdhQ!%XoQp{cY5Rd(?&P+Q84ldKbkq; z&$W_b9)xvy$$19zE*)2Mc#Mg9Wpr6wLtV-lY;Rf><`m@7gq)J#D9?M}(_pAo^a6@A z>7<6WFQwUd2+oPqCW%&M!=nQLONxYQr-yslnj-liQ@t*(q>;&`(ZkaekyJaDOE8R- zX4Ola)sNd?E1+jN@{5M~Cznq`%3~UL@}!Z)^N3a;+`d^_;#*{xjr+z*UfhLoF*E}DjW*H!o4uhXcm>n6^vV*ElZamXD4%OxlNnzBQ-c9qPb;Os~(LxkUt?$!d{cUpVa&h0xP zJ^75h8JakTuq1HGVWv^MJm05iGx(P?RJ!Y%Z7}) z3SaO7tdQ>1@>4hjBqmJ*oV2vy4hgg_3h0BT!&14$& z!s%={za#uEVPja21B{O(=hs{udDY372-zY&a7jCd*!eF@B#!CbzDd9(og;3ltOyuH zIX$9Z|5mZN@>TyYq>UTnpPV?2W#9d#TMCO4P!&8wDcL1jQO|ounWCR-jHak?_E~5_ zJG@|H5>%E0vps4LyU0UMh2bOt6%9dlHIlrvG}{!gj(1>)5vNl8^R(#}yvm%E*qKE= z!)-VI+TX$oAuSf|Ae#2R@SfVJ2xX`yIb5#Fv2-bs{7!4lxZ(_pSX zx3B-@=b>#zT;F=O3aOdt?0T_ZKg63$&oxuw9}$|>b)*BxK1=KE%b^hg`!GFuZeqYnS*)nj-1{;ld^$afNiP4`_b$mX|2~gT<1P3Sfdi9 z*2ISl<>L=N@E~+g5melbSij0BxXM{{(BAHz^5tp$&Xye15bwGj*;OFkhYlq~e%#B# zQdl(EK~@duhFwE|edgGV@;~8xxzb_!@sZs7=3QfRT+YrtvuL8?>>$d5wF&(p8uEI0 z#cKm{@lDfRsWVLtyEK6!qc4k0&bXWve4?n6pALmQ@WHNFzL=?~eG?DxrF({LD=^7m zgjjhKfc!NV++WxR94bO!x2Nw#-_t0!uP!RYqe1%`lZGvzg6x>8HDa4^Pf&ebLidda zz_*Nue8vKYrNssu1(>D+J_@{&vQ;0wZ;QF01K>g6dk&aD*4>2dS21W3 z2Ork{jXkP&%8KA9J`EEWw$@O6=7JdS6xQ;`3$aT&Kpi(6WR_l2%DJbCjRTdeb?#>R z8TxDbClMG1Ac}sFQhM zpAb+hQ}dnCoik1O;SSoKF^M;W#%C?Ylm=K?`*`Xe`1hINw@0rI2dAlC-awY zN0&SiSonx7u4dil9mgToIwi`l*`CaZUJt;CKPcgYqR`Y950#~MweRmz>G&J3@`~!a z*eMKA&K3pzoV(|^Qz)BG@>bO}fJIsil=4^0KH=Bgi$ts^w)c*(8D9uw!9$5uI4H}* z!{8=0nQ=tp0Hz=Y>sfElg!LUJwOhG=O+z5N>$G_Wr!`jXo)%shyPeWEl=*0R3zk?U zThojEP{M*y=8Aqpe*!*%72&DGEd$&IMzQ!!45JFl<3U96zJG3S@pcz@9hw4V@JwJg zLjJXQd!U7`HXSOx%c*$2E=F)%+@M372J&SVZ3(o2tND;|*YgLJab69Ft%c|D!i@)h z1{-an-lDMm*BozRh6g%&m_=!HQFrDiKjOgH&*0xRlccA+o>!-8`+q9M&YozSivk!J zjuuzn>K^%|r_Fn*rpqxajsda^Rz#gAFmm1AT}aD9f0a|{Mu_tZH@ZUg6bRR8bKD+a zlQ)m^$2Z33Xrw$burIASIyg9|AbQxL3~h0Z-C?U%=RoSEnR+~Ym;W?0Hh-tHuc(lU zKN$O0NrLRx@~B?=7{l1of&zVR=d7_;e@7a+@~idEF@DB|YBbiaL8dGVOJ?zG?n^Tc zq!%@lL!w;unU)AGRRABypi|RTdi8Fnw(hrzAewe6a)Km{d|9*WzN{XEY@SOAxec(X z_4StxCHq(wNnnY+-?Pq<_)na?~;TG#ztnMS{e@E@OJU~GGh{z$EdDc;S ztYSHY+b9n4?u>_A`iop0)6P-VTl;5=tnd^D78sA?;Qm)F=Jr3ceXwdzHk!SLAJY?l zs?g{0z5+shPo*T-4c!KXLFJD?q1WFT2%|wLI}c&eT84qMYM$e1QYaqjb}on(+bNa> zwv^`_t{aav=zDkQwzKP*9hBH8uL%7Bos|y!p6HioQnAqI$kn5KGi;_D?nOjQES?j@ ztN7Uk2)FIO{PD?~U=?Nadw&jbFiePt*$*m)Z3B!*&OP(O#W-&Cl5UIg`YrY}&xX8A z|5WQ#URor~C*>L(P6h{3>aCN)XA6Q%-NsrS%+pWk%T5@t+7lsYeKG|vgM^lU`Akz_ zhIUCFd@b$nZ&L9eK!+YXf74eXFm<*?dCfnJQan7(nFkvLrg@w(kn}X+Zz81zlxu3P zMA}}`5?qW!;gimI9Wkm{WzbVudFgYn_G9Y=2YUq_^*j$bJlu+M|M>w>wElTqe3LOe&s|s}U^1&! zpubDH*wJqBtdHqTI!cihkNWhHo$>@E& zQn|9n>pVTNI`*hloBZfWWdj7R5Ep%&1~yPm=SREr`8vX|ues-~(TA92&i;>5Z(?fH zH7F9Zx|BMvM%iFS%`O%Pag+jgn1!)t@MeW)+^e}1Z6s1w6S_wrlEW~EWkACVn(@3d ziSfZ$?>C38hklokhs=zcwp|O0A(G%xCc5xGzI*Mw#(30l%!jVems{pW zM$4O>4jE zWm>9j%R2Y)O-c$KiFY{^a)v)GQ9*$qaR@Ap(}d!qy?vV&nYG6pIn4jO=u2Pfi0QC6 z%_!RFhx%P0bN9Ahy01+Uk*#BMLG7&5V3?j+zb?}n*(xf3iVr+tcIXbWHP#NaThB(rrW7IIFD?R zOQ7Ej!1;XX>;?pk!{gnfmZtL-25+8Ow}Ydo_Wj@Eyo^9*M&t?^Fh2CI=S~==-7h=; z(vt9v`3Rl?`CmfJ_2*nwv#;3P7RWd#sPDGcn!6;7YQ*j1X1_;$o0Ct+ml5~tbQ&V1 zJMkl8%Y!NqqeV5a_>W4@+5=rMm5w!JH(kZc<||mC?{}+ZhoNks}u6qopCbr$Lxx(3GAjQvX820P~yA=MOmDXIp6z6)@O zpDcARH(z8qBR}a#wxDf0S@W+94%$dm^R}vwRWZ?Zxl-)%Q~`xW&$n7bh`50*e;qOh4$tJo=4YJ?DQ z&PCky#JAFpqQ?&IAm7kZb1RuM(9vP5<_ciI``OX5A{Mvsl&kl>s7UxWe0J0)Qba`o z8bAJHU3GlkT^@G7c^;5rC>rbm?l2B2ILT08kyhEBx zA6Tdm{a@v^hhB!DVD(m2Rq0StQnEtRn z^TB>&I0>$q`E9nv-4zRB`EV3ATd%f&CaV5s07>9?@k~_RKzT`gzw*Fuu66V$9a@YC!LmVw@mgTD!QY<#Ymq70zO_E zY=sZ08+Lv#O6&K)VkN;m{cKEizR40<8bB>ETfJ+ly;K;~Sv9+-elwNmtMK;MWX;^m zfk&0I&+}mW?C0VR5MH>;X{OSE_vdF=`)C9)P={HlZax1mBE`@rNcMx=#N`xw$w>%Z zo=ZvYi077P<8Go9e49bO;D!TjoF4s7{?=AKa0#ONzu6F{xGhphIhz0d`zQQ(z{^u# z4jR~9Q07@97J^plK6eXxs^g(}0~<*S5*AyVj68ely_wzt{SlKt!AaUr_VhyD$+uJMC$6?J_Xq~oiJ%vYvLyd{kO>bwx4=DqKG85qT@fV$*sNQN5eY$^5K&Lc5L?HfO)Uf7aH-Nnj{L zl8Fdpsgp=(xcYMM-c2$n)Y(3_8GMQdTctLrH$Ec?$ips;lp#}NxY~anE^+i%WC*kx z`M(XkrFxP#MQV`wawdhwFMk?{=4R${mj3mt3Vs;u-j9GK zen?5&2GSB^jOxK`UQmgIZ@X7gBU_kyx5OqMnF}TjyI7vbJ6YNB-7}BoUxsD7OB7~* zhofp_xk@*}kF)aJM^rtR8eK6put!IR4Ny^Vg~l%*cTOP$G2h>EF5H&wrJ+IhfCzyl zv~6D}*~|~m6JYNAS#6qMSZ{(U-*2WQB4W0WP2I0HhdE+UJm0^*_a!vtoOR8~Sg&y% z;F-dNGRCX9GIRrBQis3cbaNs?LcR(K=s(^XdsTCIYjX{~Tf2PEjuFD`Qu6^$K@#oS zlTlC09U|A16atR$3rc^%=_TcEz&p)-o)%A|C>>u@;(YQq<;kP6@cfJj*V`1XG&2!D zYqj8>!Q^VqMUx~tLgtWZL7gE=n&Jq?txdItuG(kdzBGN#rNWAPe7GE+sYa2-nwOoeOr|epH-rpM2P( zYH%^>ynhi_XGhi-{}kgBb=#Q*K5es@@t=A*JFXnoJKZ?vM)#MSwfOih?*`r>AZy8j(g z7b2Vr#ZgXamirjZN_ECxEQJs^h#S?$g|{bQgs?j_J7>0~_|(Z%hlj?~)&B98XW_;O}_y}JGz7hJbo^DEC)T2E(1ND+$W-jTI+u&3_Ve17`8Z^8Up@i+Eh@bd)~{BPa}DemJ1&IRogCHVdhv(@|NL=S2w@Gg7mUADQPxf=+s9ty$BD-AD}AkV>rz&ae2f*}Wt zkm+V3d?!+4b7k@=KS9;RzCmSwVT-LUL)7Qohmk*uZ6T^&aPB^_dYPW7UHR+`NWPs6 z6tyrivd+Pp)3&itKgEn|PahHZ(&Z@3w;Cz+{Lot9@p zvixyftVD9f2w1_epAMGbu)Sf!^TKF`y%zFXnz~iGGx8C!Zs4{YDm}Y`Gh|lk;K#N@ z*o%M&d~kkWN{CI^ZvcQ;>EHhah_v%cz3h@7+B{8169m15buCqSEd4 zo$H9n7WeV{jMZj>P5yG9Y9L}z>d%(IB2*~#EB3iu6Pr1aj#t@SHy6LP1@4M_b z0IH_s?n%y1l~`MIw-(-j384Gk7q-Px8*=;@cptxr0;#HECeY%?*W<)+cwLWg;xDTi-*BSk6mlsT-7zLxAy;RR!aJo{jbYXHTt8P80_m! zN6hQvHgS29*+@w@scnMYUkH!?83Jd22}vdIQ2v7RYI$u07=>y>>dHmZCg2eCALZo2 z1N*=Xz71d|4>vPeQ~O0%f#u>qAoBqHPlxG0@8W}BHVkwe*icqYWma(^9?1u$w2Cu$pt4e0ALp508V;t5KX9W5P*$@Ox|h}~-3Umq_xL>T zESJQS-|tvoSW1goT&5S>KcQHGUeL2@mFfh%Cz>aaO^21p*;i+|Ozww8)w*tKky#wK zv)NaFISpgoXQ->W?`u~Wb+(i)p2Q57=`O)LQJEMhDe1grW|+We#cI>giQGWsUd@WP zr`#9{DWqpS`8gXwG$}@flK%bYjkaBK zpWEAA5-@Jznk%Yul;sYk1!5_5qWBdQfT-SRT~r>$7jM887Z)GjzDxj>re~z$GYfm} zkW2=`245Y+!G=(ntv#C%#iG0fVw_rz@;`(zJkaI$EzJFQb}Ma$@XPEF!S6=VOi>u# zL$Fr?h!urzn*9O>?tv}%{%z`GWZbooogp^>K{C|4f>KAtL}Eh;e7lE0^$ay|==}dG z;jH7D`u;FJ2BS-n5=M-Y5)=>>38$bmLt-#sLj^%4B_v0Kv>=FpillTSJwi%AIz(bp zN{=47-`)53=l(eNp4Z*E_wzZ=^L|b;nOGMk+#B!3e?*qlAHpAA+JJX~_XNsTqS1U$ zJicdPShFi*ygJ|6t>d`(#wk_KGoXR{)XkxvwwIzOGn4cj4c~r4xvdDsXkQ3y3fa75 zl3h&Jw<5vaK77ZX^StS8^ep=qL7xUA11z0e%gJQK&QD#5RqUQ^QK7a`xkNFztItQ! zSxG>jM5vx*{m(1-hkW4U)yclKDgwImg*`BB_EuQ^4VUx(5B&H19S;5Yjh0NHr-w)E z=Pbaz0c8G9k?`&pe6nY?_;~FXWZco44y13Vo)HL*ZLgEds#4dqs?$_&GFwvK6kD)o zziB(m5ZD#>xrydaN`=JKxIrtWSHDnRW)jq&t_}VF39I=5R0^kEeN`4u=F=I23M~}- z36pBRzc}m^aFQ|`J(!I~e@o{g*8*&AuA4<;8Si0$*E>atA~e^Cpk}q}9CP({k(bDD zoONc`JS$Z>AYBgqXLYzHMtZ9hEcVEGnA3aEBI5Gg`HWUZ|sdNdeq($YK z%+**MU{$a!xE8!W6t_zdMw^waA^xTzbELO0nwjS=bxb_(q1#_uXJn4E`8PQ40@hZo zA{BsWybC#9Qttn{Zf*n6)=9#e%z2iR$N(()sFAfO_vuu!-q5XNDuN&pqEr798ZhZ+ zG{o0|9#k09nz->dCm`WzbzQx$sS0qhg(CYi0lF%O7U4Y%1c<_ z^vs70Dzh0-3S@M)$F1ucvq}su6Z}P_@Z!v-k8KR{cAVEaGSE~n&s_DOjX_b{!mU`O z?;nmMJ1h>rz%+HC?BIt=X-w4irH-GZRAxwo-zF4Q|4L1;-IM^Ao=6^yzHIEm3I8;r zef7CT<-_0AZ-jf^QqqH*h9g1UG|fTna%%_Oa_A1r!|Wi9oQ^5Sm_gj21g6hdjY{Cg z8d&#z&A;iekMqj`ckRTr)>*=}qT`L7K2w(oWzkZP5m(E& z=gqcQr=#V|c+)asQ3mGhT5Tf6vt8+TzyU`XgzFLok$$|MgH2*n<4WlY1xbIZ^Y-la zGbsNhUtb_HUs7*lHCP?X6mQxb*)V&g0Hv2baaT>rx!2%a4hn{0RucSICi`EbU3S&1 zMkwd72kV@;FJi6qRlu}@JuQA+@Pg>3@5lC(%uu0mWecMj>s>T<4?v4mWTf#J9`#p9 z3Rda;>Tp8FoMiv(5Dx)K4#FG`ZTCVsSV*mhugE(M!ZluAKi?onDol7A&~wKPahl&b zWzo!^Y6eOWw`PKjr^;oW?lMD^=G?asAX{LV{v)L^$Jk)3{3)5TnhQyA2)2$r{16N( zia=w5y7o=%QZXC&T=Mh&0KLvtQ`=a#a^YY>JU6PslPn)je==}8cakUc0^ewZ%Z#rY z2Y9J0U{Rx3MaFLR^QfOB_hS`E`LAk8s^ra02ElDIu)L^if9aW@;O1|>%0Vt*UC~N` zd;@P#sagGw2}&$(bS?VcL*u30t5S<6s_YKZPEoz#W&jew*tNPAMzRjvmF|PT8wF!|LUaSva9uv)cag1Z$$Jy`9iLMyADTIECwz2&*Os|bKaUy zH@d!w_3<-)a`FJq@W)ZDgfAuY6@cdS@C0Oza^~_KqG@9)_6L;2<%vYt2JQ4tzjD*Q zg#kx>ChZOOM+RffuYu~DZmBklmw{FnL5WBj;xu?`G$4l?rfLJoh zj74y# zUZ?eVM;Ust#T83DNj0gwgte2OfRFgMDk++lg&eMy<#WZr93}Ar=lY%`8xjOn*H>I?c zgGVHcFQCh3&?TY)n%AmJaPAc6Jc zswx4-+q0VN;Y*?InWH0$%|1e!L`KBaz#T8kHL9n~3R1KtjfU<%BhuJ6bQfdOvnE41QjDmRo5HwE*fuX3 z91X54`@;1Q9dm^aC%>X}xC0TzFH<{lRK{W%5Viq8sY@U44ZFh{5-DUq^R&D+m z+`#{1*vzLb?~-ZQKF574udaj`YX3S)y&LYoCpU&w-&myrzF#PF)@rEQx4@V@ zN9>B;eGMxd0F#WP!HK2bPr0>uefxkjMe z*%SC>n}#s31yD)v|3=#;*GPa!H?E=y0c*_uyxHxXr}LMW=)&}1!x+E&HJ(L5A#Q5Sy0@xO z#lQyFyRzzS!ac3&@l)IhC9RFw9fx?_tY1vErz`Z6i%k1F%&fuz{NLC46#C8lN3%Nd zR*_jnTU^wq;R3%gM}1QE>FP>EBnWuNfF7Mj&Kd|(-idcV|7+|nRfm7);Xtl=CPxdO z?P&NJ)Re&aM==b6q)z7igNo)SeCy87_5@azwUoDp8;8482bop!K&)f1S5}Gd05ccUk`z` zJs?zfn{dL`dtexy$j9-}h$?`y>`+dp2kqKhk<9*rl`uChv&E=$D+njHgEq?TUOs7I zXb5P`iehO{usY~#7S%q*t)xAnJ$-=H|Fu|h^Eo6cu|>wayatt+Wcri+zZ;EAiFI-1 zPPZ$=1?e6DueVEh+6@er*ud40bZ=k=W^?;>sp_v&hQ;S#_Os22#xv!Nz8{nH zjxPm`@gK<`rn+_JTS!23EbGRngWf~UD=^A_l_b&g#F~Nv&qVk;xYQkwuX@gu z{|BoZ4%e~T$Za=4%;MJoi>#VnB$Adk5+pSkSWPiyGIUpP#h3yxGCNZ*0YfV@s60cg9}S9wFWR;*2(|rj6TqT&DiDtp16;^YacpIR}I4=!iYtqCwjN82u@WR>@@3+#UIg9KY%`F6F-k zGy)IS4g~0Hgp=<|EV&mWV~S412pfYOeD`2e(LjJn{J}@sskQZ%XAU51n3h+lU*w8ojiEem)Rgk@O%MVZZIt& zN{y^`*rwGVk?wa~ksbSfZERejX74L7NVb>Z6lnA6D3bm0s!~#5RbyZopn6eou8W1{$Z9ryc$xd*XfceHx!a@^45Q8bygDs^v>Kl z(puu7x;*p97+kpR=;oewzTs}9jH=y2+6%V>s|4uxWy3qmX4e3bi_+Hzb0S46z#{7M z0m3FJ>P`#d7tClX*8eGv7e|T&lE{otAZenpvVSJ4m-$50=xgQC=ijyLK-+WtT3V5G zmMFpex-*%tV!PjV7fT8qyn 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 26d9334a3552dd52f8722a5d159ef0729bf0621f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 26956 zcmdSAg;$+Hl0J-EaCd?SclY2BAcWxV?(Xgo+%34fySux)ySv=qWp-wEXTSXiKF)!2 zFXw%`yQ-_ItDb%;^rx&i0vs+J2nYy*q=d*X5D>5x;O7PyDB#~iacUkAkgp(;B0|4i zK+iIufBznQ9L&OH6N@Ali=4(ri^P?A?#GtVv#8b|M8zO=lBfNaqtgraO%zg8NGM<8 z((<_dvEgn*_ju_h>fn7+bg>LirJ?OS$(~bvqs^5i>$zk3)#zf480JkFOacVz#O_nl|EXaKHsI6lgPNV~qy>Ta zNEpQGo zpKVRPqMc_9zD#%(WIcOi4#5RsegCIgzZODFO(o6-4VsM-f-=^bmwRt4nf^e7Sav?S ze%pG%(q=T5YUoE4;LA8#%P#@wr4`}EzWKPqYsdWCFh6CH;Zqnxfei^1EX=lKGw(GQ zcHb*q-zLy;=)7G-&13ccCiEtAmjYPJ4oZKS5PJJ>yZ$K!f?z3St7jx3=mD|8R0nNs zhUhN#$B+R*)tbZ1iXkWFE5B<#?xO?StL^~SL=vL42NreUe>Ql{@^8QE67a?18i-T!V&SsA*&BAv0HBFu-BZAzu5m+qvKJqm zKW>(dHD$a$PQGcwPKtm@2eGE9J14 z#$DJQ92Q2Q$I4ypOeyc`cmU0I3efpO;=6c)9tPb{QM00Rm%j)us7865=kh)5SML?V z{m1hDsY{E`IYSw=GRHltL+D_q3Cr$QZTy}DasV}mg-~`R|DnErh88?uX9P<>e9pzM z{JH-4!#|)tmbqD8pPXMp%N-GD$%h|P2Cp#wt-b$>L%vopK+VZ1(=D;(E0Zu8xV`Sk zc(+hlYd${>#)udeRxbHK5>NzA8ac-yct!qu!~QuVjjuEOInLuuY3k14hWzuo$xYP; zLI#x6Wt5hzx-Ih*)#EX|#Hbs6$A367aOS^wV3)Wn2RM#oTvcg#Pi+6*oqvkIhAJqW zrv57#@jsV)B?z<=LLJ>-{~2$(=s;QPn#lu?|HFl&L6CsXZ~%%)A^PuK`d<(H?`c27 zv@Zt)HvGWW+}zw{TU*;ga%w8!-0Uomp`KojnUz(?ROKudu89t}YR^0Jyp>erd{mALjbnXByF0QhoqN4Tr zYU8BGY=O)l^Ti6sEEZ$gylqQ zTSQp}`NjKHW&d@!e1(Mojt8~8x@xWT>sJkA?+b7ciRp!fg+CDyZ}klg5BgT4Fk;-; zi#i7W)$jL<+OwT+H=`t;o}P|Rkq7KVKY}5m1(6^mV$YNn6j*Zp{@n`S+uI}R>FGIe zcXO-odV9KVXm!3U>8eBHMIqvKnffg$Ic#*kQcoC;NeAZ#NMSLim`G+K#rdF=O;_R6 z?FrC(3QqH0s?r_5+ANgIO3L67MTLNsn;N?eMkHA2dCR=7_Xd10B%7*e4@TlCgSz%Q zZn@bXP9P}%{CTxrXBvmbTTH~`bT+VDYg{Sln!Of9$oDckJZvg#V{?`B^z^ixl9ICd z`}gk%V#%9!!sspCf0+fUC`iN+i}A#f$J_NF0*!LTU5ESQ#mC6Vh+HwP!LMI4a#uV^ zo$bK?wI?Mc+|wmI>uX5}Qoux$EqAuGxZ$rcZftCn($dj6Yj=1&rOC6pFP@}oPw%lS86Cc{s(pKG)H@KY6md5GS8=%wolAZjPy27|g41cI%{hzplHyOqcY zbb4l(PVfo>9_I@W5c;oPUS6a2_V%5Arnpu&eXOx^AO+7|{d+U{(ucZGV1$2le20Ob z-@A;@xMN^b)%B}BgOHlg6-la!!A+<+Nq7A;=GEkcGTt@I5>Dx1R-AwCKSl? zIQV27DOi7he_YXBZ6Fm!$Py@xe|H85CQi@n=E;01U-y<@e`wWTByskA2?JV1OKWQY z%pK^*7BGxSk3kc8T%l`i6T^EPGLgW2q4fy=JglP8z_wms{h1iA#9|GsB`ev-c6!R_ zn&KtgRI5GoDEAQmu;HM&XSLN_Rn%|Op-?RY*&`w>fK zy9sN{5k#gbKuv9iSQ<0#fmA^@mVw&c6m&$yn1RGY?rTja84FHcOsInS{1rqO&w8`N z6NVkvPm_r_lj_BORD4yR4w!RB^MO@?!k;Y{n$-? z$6$B&HFd|_ZRvz3>7te-22~*gNAkEmoJ7iC)cro}4~^us)1yXZAwkOwT(g}t$cx2N zwMrtqLP#uFIB7SAm=zu-%?E?;*47r}*#O(CadO2VO0RdyHqS6AG8)<~iv=AL0NY6N zW(8V0;L~D`!a&ZN8I32>zp1LvLcaQS9k|sfRaUGZcb@u!z@)ENU7WC-`2_eKgHjM; z(tu*)R5vtiAco89?2-c2@*rA9=ZE!=Y{x+kgv6oC>42P^e79AOJVSiz5k}9a*FV5v z0Yq8`78EzKp^hfErS-B)E-m(pK81u}2!u|dyr`(CGB6@U+6A~!jp6=RlzRedFre^9 zN-Rw|ida)Ia{zA;bZBB?V)k0zAS<&32z<;%gxSGkyW9N>G^XedW-jwL5S$9s2#TZQ zLY`s!`4b>y-kxv=U)%BLP0Iqu8Qd@1qV^ler#1^WE`Al z8j&HtZX(r6nuVx95Y{Iofw$|gb6D_=Ub{=nVHFEuEhId zA#I7K*ZpY<#9)l6S)zq6_ua;suI$M|cXxl=|BwPFY^+D@H7qf+vqvh(2 z{1YQ1snqKA{VQKV{d}4VC@3hzqyJ^KS%Q|9=YyJ-ZqOeiq+$^|@rj9E^l!f;1~A6P z#t^?zQ@2QnnO32Hrv%AezH;bit=n|JZ0}4+NFdry%>FJOg@sJ&3p^n%1>Wywsh4zr zMf7(`|D(3t^Yh8f%rpX;GT^fHvO_x9lT!!!*vH4GKQ%Sg4VYaZ?Su8CNwKrC!u!2T z*w}WY*Ku3uBZxV5dcA+F)EY-YmW3t6mFTnWr+3vDj+%TX8GHEPN<^RA{M7+$VqyX> z1>Ehdax1Id<$6aDm_CBT3{xZJt^yOLmh#flQgVkY7tm`|pNzXM4m^+Cu<&pJG;7nV z6A8gOh`Rdv`pGN-Z^=64{?dQcm3vVjV<`97R4WVD z<|@l0@iXOTuGC%B=Eb6xa^4?^n@E2-=vRp1H5xEx zoE#iHXgPeUa+qa&$cB;ZM^n9^-rf5#&+Xwy1+JsTI;&0tG9RPtmG_d}4Uc_3_;SOM zASe=P@(&i@H?H=EO;UpV65{ZH_yFQqrAZo2f?_S=-6eXe_gl92L^BT|4wMn$v2x0b za}=%8wH);(;!CBK8@sF(h_0yUcaSym7Ur_$&fFDeoHg(-rRpD8F_A1*< z=4unmz!6?3td7N;+nMhz{BPu1MbQawq`v`J618f}D(W5ms&f5+S>9tWl7NM|xj7zv zEL2zcPhk+TqHr@c<0Z)bEPivG(=rdXuZG1f=Dm~DPTu8wyYdYRlLGf!kyAyx1@gXy zm;El`_>+zs>FQqH{k61{sU z$-gr+-E*^91~&hc1K}RHS@~nCBcb7fZQOZkrZaOBXXW@8pjgOPlKi6FN`O*k%dqm8 zZWu92UJ5Z-n^=93@xp-^zGjY{d^IS#xdthovErrR=+g4+XZ3H>n)0%;^-mpT?wV(dPq0wt4ZbcsDECj*sl+sQd~U zq1Hs(2;hAol#X|#Jhbf34t`^{AR;Tx;(Z=`P5&3rJD|J$ir~N7p!qPW=FyXnGNJCh(0Wv5t8yiC zScf-_GhZqh8xRaR@}VP#iiL$GI>Ou+5g-f_V2G7oX!|A`0GL6mh!7prOhrr!2*hbM zTyun{;l_(mY@}&zb5&GweU;JzpxNQ5^X-nx0_}2>(~|JC{vks7c&+!3+yfqzxa!Lc zL;UYXIZWAdMrE=t0$)nG%m};CZ=5B%nEUPDd&`}+nGTg0DI(HmFL(klvydjsmZd9A zRL4snh&_Mt?;>3`h3#T`HACq{SaV)#!VElKl=@yX!u|R=52ld)6b#WP_P0IbZHTAh z&S&9WWpO^05Q9+=Y@jAvza(GNZ@U92w$DsynWy_nTB_$g>`6oc1Dj-+-mgS9nSoIO1 zJZxR^N6zU4nnJr?x}gSPq!mA2Ek9Okq2>?Kdm$zV)eI_4lnUhDiDrXj9W*%pUFUg? zc7d<(O~#yGP%~rGu(a#)EG`ZXfdDY!M|ilru7yDMnV6?5IT`}ZjW%KQ&?Q@$qZ#ES zD>q^g@Y~r>4*(m$JpJ27!$^WC=c!KrVx;;!TaPW5XstbhmNz?M;U5(!Z}w30C_CPbb|HXnBs6%(tQ~MlSzKtEeo!aoHb;-2XP_rT-4L zW$dsmlur7?T=)=S!dBbj!S%zB2BK!O3+a9P`yZet~s2{xyoI7(Zi(kKSQxEp>R>&F!fuVuCTc zyY^DuBl2!p&OK0p>~d2SdhrOX*q(1S)F;%gt# zY?YDs{PZ+eZ*dC&0RgG5rf(0`qgk?Mr%~3+H|km^N=3B;%B-&V6Jf?x@W;J_FZ^6u z)8wt&LOu$7Dp9`P4_n>-tJfU<31Qe9!r%rN%m@DFFxa(Qa_DIa07`)z~Z;FEi8VK=mtA7!?VFEi3UL6X7Rn=#X9!ryL1J}?@G9pGYh1m-*Z(=_or@Aw(i8M z&!<68Xp!^*N7n%Zid0)wwbZY5_TXd};Oi+>=v(f^F`|uLQT=<3hH=!s>l>L-Xp6MJ zw8}?zrjZLeI=Y7`>k8b%%dRmonhC`)F$H~bqYn2=n2aAm1f~Kpi2R{0L2~7nQct-w z@z%dcjnSf{!pr_hCw!ZLWAxZi*$w-|FnsM~F@EoXi;!r8+~bOXg`8_LK=pY4tMq+i!?Y2|0p9RS<((zm zP9Szo2)&;XcomPFiUI%ItDYkCu)7EtKCY$^4%=^~%vTCw{D}{!2q091-{>@&7$Kw( zz-s@R}VLKkP=yNiOwtwEB#hCOULW9uu~7OLYSRH;vTT+M8(3Yr&8 z-rfR(X7;ugI9|`t$~Q4*An=I>iST%`YE`V9l0heMc7=aT8LcqS>Rw-93@L&J%F%kk zN-DkSFO6+MZ`aQ~;g|H&WM*?k1^jCl{B@(_>B1meW-hlcX;wa^FlTM#=WYk}Z&jycPuW@Z zAzl#!LHMDW`6ZIi2sB-aQ+;f^h?Orf4|i49<67@qobzeKzQE(&pxe*dFdZb|>2$Lb z5dQb*?j9LUeUV~WY2|**{8{&>fOKib*mE>(uZTsl*o3<)h%fXkYL7YiOb67~ z-0=rE_{i$bctqx727`Ybc!E^~ z49bv#0p_yF8yg$F`-miYrB`4CLpsYxUe~)nn$Kfg(~6;8-655GZjp91Fwa{RAMO`t z?efbB0@XJ7+#ggN3{C7`{>;N{c6tN&==3@8lIfEYo1%N#K)aSWZGdTPi0wCoNXu*~ zWj$tZ{PaplQrEh^5z?NyMAkh7JkO%d(7VlIEab(tABZu@Vm*E^kv?)7#cJXl!6Uu5i16Ko}ZT_-j}6E^sDGAlseyty4DCiOxKivu*5r`Y9l zaHY}%nLdl=;i3Zvi-)si+m%NAG2#YR5#nfL+v){^2n5BrDn^;wi5SZ@8M$;Ytebki zTHhHl*%*=5uEU5FTA;0A+bh`;t0Hk4!pe z_0;^lBLRyC!XJaiN&_r{Ct50P1c~W-8Ai05_CL$vp&-~eRimW1IDmNpUJJrD6kOW_ zuLy$E0|Y%Y>b5dum^@5Y`dDXYst2#E`&-jn69$hZbiXSyveB86#7p8#*1iNIOJ@(j z%OePwp5T+R#}XOLP9y`)a)QwK$9f0~DRx0Y0km#h*iw3`qlv-WVwX<)uuk~%y>WYZ z*;|dAq{OCA|KAWnHx&JD61F4?)ujL*#oFH;#{3p10PF*{y-#$rfUIT0+=`8hNEZvuehR#jaK2{Owb+-GW_O1HE3e7XG> z7oaq3qD(_*n(xnYND4?FtXBT9yzM0AA@{snO#NFjQX0RlC{N#-g^Oz#3~St8v;h6f zfmW@YCz-ihehdFq)pKEmH#K6zPcnYkp&+v14|fE=ok_kB`+PNqnnWUAiwh38(2k2_ zJ58`uSqD)c$}j5b>iNYAg$F)S^^J{>)R2&nL`uD>&mGQ}8Zc}YaR2K&I&lg)j|6(KEvRfK8j`I5)8Buq?num^zo&0+&Zpzq zLh~KZxGCoc#w<%Oz(zgdLQ(iIbd;GYV&8|3l&!e68IM0Y~CAzl^Cx&}* zAsdQe1Eu99zN3L>7t2>JkFQ8PsI99qpKjdrN@H@qSi1t^X`*8mpE!ET0NbtOa*ZJ? zcLslCO3<^}S*(-$DY*bQZ}Cv-*8o)_@YZ2FG-ok0*T9bM!e0R*W&j65=L}?1Om=97uGHQE5jlbuoSsM1pcrDo3 z`0!|4Xe3M!wo~${1VyO<2=`EH3eC^*H{r#BjHxX zWrs29+d@Hzk`!%mgDhmef^4~-%zbb{INa2Z#0;((?#QQbF-0QliAw+lVSEiJ>HNNt4f`TJhDZos)oj!sy9$5G1RbYSF6lYXiM)PFOz_+cIq`Af!$MG_kH-N(T!S!7r z#|l?+)(ideM?S?KRpnhxqT}g=3#Pb{BGuI4Mis>hn@_sLXKQEbyfj|r;(a@wifwiOdswd6 zBppfWwr0B%PfgN}OBjn?94Le5cCvfr^7t5HuQI)SZ_N9}{iS_>4zmrv_ah5SZM|@u z)-nb9x`wz3^rY3@^RX`|QN_z(81}Fw5!24(u`d58q`drmK~CVkj+%nvz*s0;bMs|K z`brw^M=}2#ngs8JYCsj7=Q+;gPDn)9ykEl?jzfPTH0Sq+KgpPOym^#B+DT~d6qJ79 z-GVbuHq8H*5^_Q7$?wMHn4(r?DYj}MF)Fhzl28D=zlZfIZn`BfwzRju?Dc;^)C8bM z4fXKlm_g=gjWTLehx=nz-0y1&#S%0(k^I} z?yHjh(Y)<5HBnZ7dlD~{f1gc=u4BK` zO>!(NTR7}lcel!Bj@}sDPo3WjHX%5vxOE{!j}#oZ=r?w^ExFDn%|QYG)rWqE^h-3A z-8zZ!=IZL}WzPdTjrQa+<+f2*>qF}$oawBlfI_%ae zZ|{y032{A4Gv8E5a;81Esrp2F z#K=LXo3Jm!8CZ(-O1J8%U0h&XDY89|O%WSqq?38GV(b;MmTFM zUvr>fZ|u$?{w9orc}JUJ%H73NZ}HA;kOMtQ;o-X-p`y)oL$cTb4VNjN<1B0=`wsXu z1L*A_9%WlIo90mGe32V6w9s@JYcBp6j+0MkrC}O;IA1lcC@Xu59s%n%fqFXFHp#RR zfy!XE(5pSEb5|8o9DV%VKv38Qact6!yaAZ6dg}IvZmj)4N-If?dkVlGziuI0K0Tk? z2K->bldwZ}cZ)^ga{+uK3IFOA^MyARsfGw^-#A36`r1#f!(L=sRm)qDiSO}otYNg{ zxcV;DFvm{2dNl*xmOPU65~Om=8r)}T5AVeSi-rA*=Yy?{$w+) ze=UqA6EI*n>?B=zmxSzes)nkcq%(hkbn5mGCiYsvnB2bTXg*DFeQz_2U~9z;xK~Af z|MIKA`HlgS)D3yY@j`cyvX~s3Lp}MiMn-2Nzn4SU)XyY5$sTfAfJ*$`+nk0A{tl_* zuE)aLb#j%oLB#XaaFbPwmG-6%0RbVGxCaKKx@P%Hr7Oe0dKc5VZ`&84rF*0w<=lV& zZYxohh{pIi)ScmO@89wS4FCyVEx4eRr)A8dSG;p(`Kl&RO3iiE_tKa%?Yjx2Y&FeC|B6 z0B9A*D&8T{**+zLs!7apC`~;2=}k>d?aao;cHe}-(|9Zq`-c2IRdmKY0rFVnO5-A+ zMRheeQ*8)Y^2{Xk$mCy4GR>&-ZmCWL$`AnQ3&W|6+1LICTpadqKRNfcB8kVFW-I?b zK7;0Nh4}Q%jGwt74;TY&f`Qac2i>yuEXfcn)mwh5q5sysBUpAL^vVuqf`=Nuz4nkQ z0gr&63<;;iF-BU;96vkxPL+R(C0WLnUAP%&Y>Uc~NUQ()#r*L}hq5p= z&Gw)f?TVKoKQe)Y3^}x?{Dqb@r!MvoI*@}LW#CW;!DUk+-A z5A|;@o5*{r+S=1=$t$;F@Y z^3A#V`T3)_p&IEn{S?$33+mJHC3%0q2!|`_|X*yHVIe`qJ zwh2IJZnztebZI)}^&f;nUTvRIv<;l;nPID5!tLu z&@bFS;IhUKnANk%SRTjP3V=63SofnDUXc6faSENDF{v!ztR(SJhQq%};4NW^rtM)F ze)9lpV6iEu{@dnO?=H_h4#i+Z-6lC*z@*)+{WCjRz24}8w3ovigELS>w7zcu%^y7Z zcJU&gwFUNgMS1yqvi^5|qz~I^jzRL0r@DVg7$60_-$3wkb0i?J7I%5JXaS@@{FC9h zyc!s89dQQmA_Uz0ehJS94Ey9T0Qri>YtofwVMOlY`_8$;y>1*1iTRJ>429*KI7jiX z4ng1G>1F4+bJhH33y-*cgofU=Y!**(niDPoYG<}C-q~LF+>^>s@#S0BOq1Yb#btU-KVS{jo6U() z@_#8Pv?2m}nl!}42Zy+V@iPmt8p{g7z8-XEs35Jwz{1K>2WOxe-dt)5ukz;pA%m9E z6D2O&Z|nU-z~p)_Rit@QCk;snbGwI~=pAAvvlT*UEwat8>A8}N+S?K)`)UKwsFiNB zKFIV+XP%2Sns$P8iM|Gc(gG zkcXy4>wjRx*6j+_OE^Uh=Fj~!N&3qbbTzfr?ue3qcX$?h=`bsvhdtXk6Om)FTc$fN zRm-TnpaEac0p$6;^y5vqW93+VE--zo+iL>_b_S5i=YElvoQ#jM5SeSsF|rE0F-oTP z0o#u=tA2O)J9?@VxIXRo06cpQy!RZ{09xAi(D%z&cz6fR7=_x%LMFA(kxZhS)<00; zba;LhQs~x~Hr*y9{!y9)o*yNeH3@<(bcIE6s6PQyuKlwY1Z#y?3P(%bo-5j$4B$gi z9jVIoTC>aSe~TPzMdoVTJjpHW-$sRA4}q5sXpKsNww|Wbohix(ige-Fa-ma!J}-sJ zbLEINvwZEY-5l4s{9iMf?*Z3)kO_Eo>6TzO?*m$)+J!*ZnAU$)(_vFF*Q+bx}|_P#ip+qqsLNG~M`b!r#s;irJ$tlTAx{#h4-Nz`@0jk*`);sT-7W z4YV}z`Pjx?iw{)5-7f{DLd@*}y@= zzau)Zxw*UJc***kxJ6zzEu@u_-b}Q+M<`zxrSQ5{T>%T^A3%S!@{hbX4qA)PTs+T2 zx>)jb%-$B;c2o{BS4}Gt?%+>%7$tc`y(XgSNf8iau$-Kny!5p6#Zk(My%(HZ)s;da zk2-^eL~F^n3>;CCgkf`c?pAqD??-4P(b>PE%EVfjWVPWPOGk z(sE&{_h)Bk0fTayy5d9Hzs~@EO$~a}Jnoc3g&*C?Hhg!>y%RC5!&o$J%NinEO|LPN zbUaaVEh_uU)Hn)9+zr=Amf-esSF=vBUVo|(&Ob@ey91G>J|@4Jn3x1^%^es7j+H)d z-qlm@kvsw8uAahzn?%+~@X{qF+P!K-Q=Mrihe%qRL~a_a}GVRpI zYKeU}7+6@|>~42QD?nyfYEWR{_~GKwhTU}11%`S7Ju|}9^5B3{~M zag{!)n?vhVnZZrWEa{H75~?+P?+*3=LukRR zmaWpVD_{_M6OLG$HAq^dK*@%;ZZ*bTcaTI`5%i-yC4#q9djEuIfK=&SvFq#WT34nP zW1^~8bv>tmJq5rW+`x$q?)g?bv=df28jgEwOP2oShg)&nqD!RO<4yyeWv%s2} zt8K;XWay*vvEVCItiF*2J?HUH7pB}cPYm;nnlH@g) zSJbm`tV~st97OFo#ekeSJ*ST1rGW9g+hz_Yb*m2O%+FXk^7+S=9Vxo#JY!mDi%VPb}ahoK`;znfp4H!oqE8 zYPxB!2bw*eSklT~WiD=!MKvd2PVml-JjWTywnfgsyja;vE`<34zqm&)inX?{+ z@H7>qHG90o+bYs(DaB^NtF=?Lo@C+i`>gjp^{Rk44@fSkbjB~$#ru%jj)`qZTuPbV z^;Rq0w?s5h;N*&cHthAPdpA9=xFgKaFGaQo;QE)UL6F8+NU)?KF@PV>j;;@vos*I; zH^MphY{8}sQ4ky^%=H-xiS@G1*U?*xgFyfm!|j1P$FS4y-kH340Y_~6`#~AAU_4Qw zE=*)})jMAc*}dH1;m^&&i2z5mdveOm6YncgV#uUgGMUYchRZq2-C2*`=U9?=8Sg&? zZlBv4Deaz(uC}_*$H&Kon|@5#*Cdafu%TiIs|%tq2SQfP=$LF?4>2|!Cz}n~_in>N zPzt{~2H&`W&gDtQ!L_io+|uBAtL5%faWT~aRe0JSt(ac((Z@=H(ez_M%J$f-?=|D@ zcjVM#^yKcAM|tgIE>Ui}D`nU4l+nBZWp3;CaNKm2Y8>ZE$EZ1+5Fq8QF7ludQx%ak zq%-u<>*ZABr+?p>&l!%o+uc+oGNav9lsH)Wr=33Dp>V4)6tQ{|7wT5Yu*Uz2Rpp)%j`J-b9bYk=8yzZ%nt6c5r zdPzpKJcRvw4J!o8gLc@;Gcji~uk}m3dP94$U{?ko>4f)dYg%{V!?)uOsM9q}Lm)KN z$t{jvOvDj+6|Ic$<(D<^O{Mo*y!CwG4WWUp7$xb;!Nn#&o+i784S=%pRNyU3Qu+@$ zUeH1jQzX2tIZ?%BmWHiPVWxN4SMKOV`)0N})%!`-7GYuG!x*yVG_qmeTBN1-EQ$K7 zg#qFrFQO=Gyw~N!`t*-Z4U5Zv;>$^+ru zboe$Yzt#B%pmyPT@s_sblrz73DhQ=LVI=k1&CRXwDvJXONPw)w0<>RG8=e1bb`=0} z>mg_!w{lk<-&p!eTo;1X;qH+f{bUzpcaz*NdqYG!v$Tt#=S-cPJ45_^oqrt1^slnk z%D=Xm61fx?6}5c`?JEF2yJyxn_;em|=_c)L>pYVd^CSSrx`&T)U%$T0rM&~Qm%Ec& zZNM1+Gv{GVo(R70OK_g@<(uW`GxMCl<;&vSoCm>c%JKkjhio!qc3=Of^K2XGpL0#K zn0oDk8@}*?&67BVj#>qoY=l3tde$Vbq-^!!EYC@ z5k3Ui!6a={Ua_Z?FP=eKqjFoc?*&BsM5$K=JJ`vO5R? zFTHsh#ynNGH;B#OS2lNANzkPZ=prWq6nRs_R}N)fyQF~)I}JRV4v+7Dh5Wf2ESB{yfmhX;WW%7Y807*L ze7lO&6%T+(M_1PGoX12r6SO6&cqn44-seNitJ4tISVHh5-p#RQbW{UQDr)6740y6h z*&nWponc{cW#>l`Q4{B!pX@=9oTE4qXOT#Riv=$?I4k_JD$0y9(haH zgFW)RFa;%?O4l;iI;f3zbjMpMGYXC32*LD31R0Dg{LtcOE;*HNZRNm>UY(usdn#`z zf$#NCHlHX*XFOSOO_l_Ezju@8w-`C(_aTgqbN8hv=SQ4^0Sq7=riDkg{}D9QaP{Hu z>5!Dub?C{hFs`QhAjL*{SVMdxZ<8Z|E=PqbSN`5S-CEgs8fD4D#WgpWQ_t92EsKdd zBH&I)&-jo_t5`^&l>i=H1LLm zy>8e3M8{Kq()$v71;8?H@pV|}%s3|EsQXnMMHON?Tw`l`Y@J%#?<*KMxHqs3hPVtJ zV}&T_(HZ-O2G>{$ z_%z^UQo`=Z{?;W2IpR#H)9jFcA|5}>V&N5SgC}4wYoI@Ry*Tdn5qK2H4zQV5+ynWN zsLyj;l)_4aqyd`RWm)!iZ5#~e_{(??lemj3rDcPC_Zu7?XH%fL$k`tQwGEB5?S}>? z_RJN_IB#{A*EDXT;XfNVE`KS5nZ1=0kJo3PSG!(Ai|`3~JVp8G*MqvJbWJ^UGM*=L ziq-Wpn>klCiYH}l0((XO*_a6nAeg?8qkgKlZybsJ3Uegk4eW6P$LUVH6~+{O&iw*}uvK^~KX!3D4xJWGY*OzA9vrr zkdsCbxgSovy-hJ3#%5ZAJ>l*WML{efSXu#XU=*0iYwv}32k4m09%rW^(u^U!Y{Emf zC~@wRDQK5f0%Wt1$dY&~nkU?TXk2RMghlP@=_rZX0W#O84*Hvn+D9}L2PvsUXV5mH zl!eo@u$y%U3oD_uK8$~v3}5gkYihNhOuu9!>&2qq>q)5ndiGjqIC^;hADyIVagGb5 z+OH;2p02ddR2DVe^V&v62OP-aX{CK06x6il??OtwX_Efg<_k6J%R05 znGoAU|L}cF%RQSI1}Nn3;-l2~2kxefb@dm6oX?c;miak!`*cWGjk`{JEj;X1mY3I*E6qzlUYg&4Xo3=?jSoZj^R;sWfZ5JOzYVpq5CdnuI~SQL*RYcW`B7hgsj zP?V}yITv!3bXc31U_e5O`YkF~EFx5=W$c1wQilpSx$ zLk?Yq11bBv^HWgo;v1T7$DT_V$;l6PmFE412Sx0_s(hR@q0;ijkr3@Ygq_#KZr%vk zS^MA6sVno7@#)yvE)vJn-}(yQe6nZ$&y;B@1`&rjF9Aq`bCaSOvb~y?23|=RvgfI2 zLn7;{6@7HLDo|i}T<_;mKV@A#7p+VzbwdbwT^%QlTX$yFl>KIj$fjR#>tGU$cLd&m zgq?U}vR4ib@#q^IoXl^dwh=P^)#Tk zREl1dBlIFT(7)Pqj%$=(MYC3e21)Y|Ii}OS~u%c zmmJ_l@1(AVfuG>cZPfJ1YG~%qt?oS~Sx&|NIZZuL|1xJFRte0EmrI2X#GF;|EUl;g zooGR5qbIM>0}l7e@sNBL>;0X8+027o>DmLqPcbb7OHRsGPRZ*zxpyr9KQj1`Eej^* zg!+^EO}xA(Zpg;w$9v(+WQFI}N3v5pYg3-1f02rYvn<;|$^B=edMV~v>I_W`Hgmh@ zb%DTod}D>j+pa`T&F!FdmmgwWk8y4DNIdy;o#||i!mnRORUV?xt8`eNHSKz%WIb1V zi&G%Fc`pP!yao1VRfW+4yISWDr2-7pOpeYO={4+ufrII(+}zy!1#R+7!WFPZYcL44 zaAS+d6&WHg@2j%OgZ#C#>bQyQPbbFQ)Yw&RFxFYCJVA}8ySelfy%$)$ybWYQo5PJZGc zojKfYza;zr!jF{-{s(>xmA6l=kSOB*a8~`!bz9^v@~Se|D+Bg+qf46g({Oq|nuk&4G2L4xTaW{9S>2|1Z$k&XFW3 z^s_^_a~U*hl*L8PX_amLDpt`imzS-IY>tgAU+>U~0Jo2OK!6Fg>dOdEu@_|+#XpwO zcgSX;;<(cOBSI!BDTuKqbYJR|CA2T;9{Y1~tfm3O9+8VTu)Iq?WQR05Q@K?z=iyg$ zobS-vNW;Dc5-Z&5RKe`=EQMSq{HihBIRkCIS+6V~;J4(F$6hf!rq^9~3p=dQcXO4o z|5w;qMpgCv@tPD6kPhiaX^De$N=PUm-HpVdyBkUAF6nM0B_$;Uq)WOxBo5r+_h0M2 zx@%otp0zk<&+M5!dw=KiJUfLMA=Oktq$)mt>2xDM&-ppKU?r5~Z=WiyAx$ohAI_h5 zmZKwQQ`hgsbrIv4uMb*CuxaZWE)6`c|dJ|HHa2i|u6zdcpX0dT+JcyuklB(4S!7IekBeoC1>QeT4 z&H~BuoIRBlhc}L3*;km@bJQLZ)|3quN z%{?27_1G(KuwdFD|Gju^vbLO8wk$o-ca-lCr6#7y(!(&uLW25}s;a_hrhscIIEqw@ z_(s<(bFb9i^1dW)rH{H4Cm(e4w|-ezdO(uK7#%bEdB?t1Pk;lT0X9BGre<@%|Gp!~Hrq-4 zx(1a<66F7Qiaa+G-0LIM`+eUnSz|*0_{9ARyL@hCz{6 z*%LKXxlpS%jJVdamW_nnv>#jG2oNGf9>vT)z8ZN}lX5+`sgjp#DRQFc!`?VL-Ql0G zNJE1iEx81xmfGPFSshi$`O{ivWwnlezIq0iTap;=yZ6sLr>|u4En`y7<0hkS+3>!0 z2eyQxtM6ceT=Ff*m)RZ*2OCItD-ZL&0!hGiB$OB>Msd09137-k=~h4kNtObEfBCmt z{psvWCb1}$B6~#^T^jU1cKe@8rjlgieeyWkvoS|GJ zSqF{qL&YQxk

IVK_uz$|%q2h??FAMi_CHH3r{Suc z%fc<9(3`E3yv)|>xOjE+SAqn_ovjdDgy!Grleap6;^RK!vDbRiwAz6MViz;EZ|OEw7s;B_lC0G(0hXaUA;XjiSeuU0YN3gtt76X793-Bn_quikB*M47!}e!!Tq&p z;`i^DR03?%!}!(6AsRjfk$hy~(e4b!K|J(yRxm|p0LfuU%U2`!uUfk9a`fc3IGIvC z`jCkC5X*$-z{r=mbD5l{=nRK<7JzzQ+_`n#x+&fZ8p*vlY$hb`GCntOpvE)!y0PjW zN-ls4=qJ7gN(#J#Wz-K9bCqtRa>dkT$Vo#Wcu)bn3PVc|CxUvIQX14*mNHr+die1M zMtjlvdZr7Uvo8E~)w|{t=_v6Lew{5`dO!7QO!t-=D1F#xz2TuMAluj7qrx=vC5P`6 zR}gpBo0Vgfi9;X7nJs0M?=;Y+Xo)ub>U5SnMF$BtBp;<>i-7(Pfwx8Z;Le@xJ|W zT6yj!se@#F@2FU^j1jX_2|MxZI*QQnIP3$Ll0>k-L!eH&?%c{K8o{nKAN`xC1w&T$ zXM48tfCjRmZhHD4_0o3)3LGN;-usr78B6zszvYDnFfZ5Z=k4<0-6VH+ckJl^Fh&dP zB9?EUdI=~d&f_o@QpN0#?DZK#jRZ_Hff8-T5fAw-OB^DWKpeqmK|Q*MIx;@qLUd^H zZkSJ2!OD>B6P};u$R-ICBwr9NVIstow^v_Wq5Op;%1h7`N@t{prk!{j(g05;Cvz6` zv-W27=|oVVvnjD+rQSwLpJjOxB7h9(C;j(#hLMK^=|}=%erwH-hs8ZyrQgd1H}#_P z+&?iV&EG>?3wEs*qs}BSAJuyTIAlj{brzas@%mmAs#W7}n^7iIHLh^HRr}i5=h)ih zI+R90Na1LSpzju*j!~EQRa8`Ymr|SUW-}+Gb-WtR%GCgeqj!|8()uB!dkYt;R{gst ziBGEyf}JS6I3dbyAHrA|P(6ZKyYeXJKng317!w z!*}WX?V;qih+Ugerh$Dwt3v24VGmge9b5-v#8gIlfbyFu`o!x;o9`H~;g~g+Vr%AK z5grKGe{G@)rC&k^6?Ipzu45GpDwF0bIBfT{4uX1N3Mu;b-xEgV=7r2N0ylmq&DMlS15=)ME#hbT131UDl{!qY)zh! zBQ=M~X@)QR*8s=Hz1_q8jp3&dm=#!E03TSC6jt7{bY@NUQR#Xyys_Xtf4#}YNKzJQ zSwS#a%fBY(9&kTTOhEE=TaXI6hqL}M?FmWRRr2#n#@E3${51BaZ6`y}DmlER$9gLm zKhn~+^&lO3l;|D!9CN^vVkT1=`rq~d1+tTpGWO3O-gm#uMl(`niYAMk zV}q)ySiCvM4tX)6<6UD>wR~Gw1*6(;#bSv+2eH2lKctJ<=@#w6RJrnbQm!Pk>kCW&jM3UI4oNaE0f6H>cfxQg z=g`+Z1$&hZ$f~R>Du1R^Vk}TQg&JVbS^xY>_ff$Hq4;Kw^g6JILl>)e-D;tQStU;I zpT}TWZ*^4?v!U4&FqO%dzMK8AF>%PHt4&fu^v+-2@*tYhR?^q$r341R>fu= z*l%_fWX_p>cooi$v{8#_% zbiIE;DvCt4C^y%>p|H>_h)SK?MHVt&MM)N_vePCsH}`BaOReP~ohcGKGN7I@YnT*1 z9q=w-ivH%3)1H1lu{*HPy!^WWMa{~caD9ucZC7DJ`K~Y7TEAjfDN8Frso1SK6rgzD zSyfys3^}r*W9uP5&+I->L0Zjrah;Q&Eoukx-Z8R$_YrD}Oqj0!@HeXwzp%WljMRN+ zJa<7N^o5Oo#e%Vs(ZBgC(#4MtfZTWr3ZG2;9&nuhci{1pzF&7wu5^J>F4w7gfCb5b zd+#J_+z&lwEprp(2d9J@zSekveR6&e+4T=BuTCoxaGOr3Mz>}U!$kGCsm4BY4X3G# zCY0>_n%`8O-_WooL|}lvzV*C7#Ivi86)+ZP{bp0L=3YhSCS%_9YQffU;c9=Ts!Sn` zyJQtq7(XEDL-lAAI`L`bbJwE{h0s}BFB%5!*M=Gg8*4X;T(GrC3$ZCd3Ujy)zDr@r zaY&o!xMhnnLP^SG`@yd|AK;t>DTeqV6s`&*6&AV(N-ofr{GH)wgpF2))!S-73@Sb0 zRJ`6ff<^Gjnr$C{*%kN7QRY&6m^s6mMB?+!E!6An|zUq$9?$D9PWkhWD z2YZ9jlBck>y>TsDK9Ur*_m`C%4s890u_jhTGMD;M9{u$R%g-2?zw!B1+AA zk^J=X-ev^;wE1r1cg|7isDX)2O>~_oZ63P+;H>%+exa7-PzHX=S3sMC69mh4I-fgo zbDGGXSpVq)pE{4-v%=B#Jd47B6bx)hyUpt4Z$(1uH;xstu4}DrL(f< zYx(QzJ=uw>tE+FGD%QV7My_81=6MDfzZxX%KP(QdPyc+wce#+78P)cq+o?HPp&ORz z@la!7f+`z{o5b3Stm{0VN5hf_jcMD<(zG21YZ*5zYTJ9~Z5*|sIDxYLy^-8QP<0jY zRh2h=d#z1#qKGbfV~P~5giJtuwKZ*BDZar-+7tL&N0~6A?lu4t*!&n$kjQ^>8Y;5B z_D7!Px*(pXMn5LJP<^tQ|2b#@;MWGvWM3pbsQo0dlk4R9X7H%&JmaBdw29+>Xwo(C z*m}slvw3zr8SJg{P?-GkEwU4bts`~u%6RBVOyH*1oirUGb z!%+)++q4?jwkOh2YjY#fap1`Op*cBu#>Hy{lUKe61)c+vlwntL{e@kG!PW>d`vCEo z*x$6R*cUtTL!oXas|hCwL(b!KLwREqf+pSF(tk*SghKX3oc~rY(}@ffUzH2|&I&)( zad_M1V~+13%Bk8=%fo4P4O+|&M>7WY0IT^g4UdV2qe|DL#X|~=Ko;H%WoWm&ne${F zP|0P)=^}#zAaniP1fKWfl1Cxodad>_zOj2!#X%`BMw1Q*yC=}%MJ=g~DI|@X{-#+n zu-mKQo$b#s>0ZhG@xi`BrQ{4QVH+GHb@}jw3+5W9Tf_t0TZ+O5aU$X+^EEM&6j=xP z(V$ha&Y-Ol3pG1Zr>;dsl6h>>yGTzD`(Y3FabGk0^XCoPhQdHsAigj^@VD)xyB-1i zRoQMz%WeP`Y_=k-b4q+}NerX#c^4%XBo9r72_^w&;#P`*Q~cTIVGiW@gS2z zvewSe1&EZ&xpm=;cc{4KhGXzhtG$CmScN#9NLhT1i}p=pVaI*u`$^*hSwL9$VtArk zj1XRuR-y4 zRzjh#tm@KNnN0U$OHi;b5 z>D7%=a=Q;@U^mCo+Ux3dhxLhII9h%ESBa)d@4ZPHsaBt&C|^9Sc$|wS z8a&U@{8oN6_(nftNtkL-s7+E^QPqgB`zIv>$MWy}K$*4-HO;U0A!wZk(Q+DH@YTMf zB9X4|f7#Bn*uX>*h^A>WT8K6=a+#li`XRe`S=T>jOz9m z5>cF11FTp!g)&n98+)UZ)yIs2&|pqRXsBn!lwDQRewMQe2}X2ADI|EOd~c-a7p<;A z8g`+C=^zn7V+ecu<&t6m)xZPuXX?YlLE0lq9gDa2GF4LlqIb@J50?y21=w)So2^66 z0+xh0ZjtjkR~4Nn`Cw27!$~Pw-nRyR^upiuPC@dTwftQ*<}V@tAH@N?qIzS{r~Ch- zdhFE0G~EfrYuFqxExw2K)KK31A<(Jw0MzQ@OS!-%Dag{fsfRI!(2bz3ooJE+Zp zrm`V?x_RfKiyr20BT4N<-SS1|ODA1h3P+~TB6l|;|Kh&l=dIW8;&{8^RW|%z6AYE| zN+76PG^q-|7*dLV$BV;}RmSQQ6#R?s^#2E~2!H4+pZ$?8{t-jl@lHDZj7Cl%zV;&s|3t^=d!hd%F&TObh37YkxjwUq>?cYor znj}#&tytP!)}6OM8J~0ozCL>jURSev&+v5G#=<=!b;5SK12xK?(&EwSQvc>d@iPdv zS+F9P>9?ko1n0>Gsln?Aou5QdTtlQ-#xjPZy53R1CzCm@lm|9=`j6@6S09k>Yxw?`W#QiG2RXkkH~weeobM~Q7MoUHy*h)Bs$@RW%!-WLQpNgwfezxjr_9`oOcWD4MbzO# zzH%`uGUWatAh{-hv`xO0Dy^u)slZVJspF@6 zv2FDRFGgponoea|IHQ>E$iXZte;ke>*HN13LE-w3%(6(i@P=Cqob6J(KR!$o?C2O? zjE++eB1tV3;4;JnA92@LnAy15Sj2cW2(%$a9=Sef1te@?0qpRL@Oiet)K`@izA#E8 z2DsLp+g^f0zme$GT)bzx2Lb0}5k~o>w~xgKEvzy34r9k$J8h37RT}h*ABHM2+2z=j z5qNRUsJIbU!{HGL#|S3yv_6g5CU9L4Co1>kQY}1A&_iZ!0& zk(pkIN?VAqpbPt;SJEe>JK{qoq9P6VOqZeU6l$@%E@_Qr z%NYUGF1;4v8#V(s5K}IuBZSzjwLVr^s>r;y)FJw+)l4c?@gY^Z^{EbsNjt+)N0OlN z1I^sl&6cY~1d+e}Vl9Mkm9hvFu?yWsnU9kLuf_mE$-ZJsOa@PWVp`TDeS0Ol^?hkF zDw5o|YJc(k4Uh8}N83??!+xpmT01(H5oOuZ^XsMJ!+6Z?fa1=uP+c;KNv7#lMJZ)= zywnOf*|_81;3;1dU@QRn_0npMNqt ztUfr62oI87U_JXuIWMgFU-2F}>J9^;2a`O`_8CL6ZGvk@E9mamEjI;pdzEL=r2?e`ElVUyCY%bRgei{{bZxrWa z)@(!{8IE4^9=V(9Bg4|&&2~v!^OvT+%W)#YvfJ(+4>P?rqCQjfpVzvRD<#jG{Mpd8 zPJhEps87V~Ur?0}Q5UMI<7865hC`Gszm0Hk zwYp@t3pbj7pGY}XD{}Pl6`bMQ=G$Hz^Y%Tu6WsQEJX$$+Wu#17yLJyb4E1D2v$$X1 z%PUINpb*yPC}_L?t%6rJGfDDV6;%+d0Se7OH(@DmY&R_Q6F-knko!1*dG-6A%zXT5 z$DuX;wR@khr1-R@^Sy5^yD=t|jC#47JBh#lp?z^`MQI3c?)a6bbpoP+NuD{mJl^E6gW4a7 zMOZ%9emS1%KA0LDjkG#ot-u%(rpAkVYQO!!yQEx&AJy$kLa7XSW_Vu}CHz?OI68%@ zlMP|i(F+%4ltT?5>G~Gc70JFZ#}jnLE?)PZpupykGqHBkwrxfBxHd}<&-7oeXPspS zd)0ojsM1Ydmh#h@lbcoUxrJ& zgD0^J&0qb4pK5l*jGWEO$Ghn5Uq%_Wks~Kq^PWDi(#-AdH#BkNLFY|$6nyF&FV#ig zF#WjwF+PWjGYJfU$$wT085Gj)TYVoNG=WY|4EQJ?qQY!4$w?;cs88_yNyHZ%4igvo z5quwPe?xQMl2v9re4=&`r$uGatThRaiTU6s^+}3}8Y##Rd)y4+=H^BS0|SHUQ;jZ6 zNnig_KtP~%y$qymfkO`>L-x?%PA9Vv)LDl%g*{Jho|Nxh;ZzC3ETEhC*C9M#7}GvM zIposQ0ROpjAGni`fR*nZ;Mr^OE8$_(s@MqPq9~}nKY#KWja0JL?t4HjEHs1xA_g-w zG(6tk+S1yABl-Ld8yi6t$r9D3otM%#X+CrFZDR5sx)A~dez}~&@oAO$ z*-C{GuN>ks(UY+&%Bcg?>&Qk$l<1{T2}ygNXR{|r(G)`bL%qEliWU~d|3;??m(Jke zP>-M95y0!^DuemdOFRfo!N6I1JD9yu*V}MQ0i_2#C(Jo2zFr-5hv})uC(ds#mK7#0 zFj$zS`94HtLfj83zeip|g_=d`Ngk-^u45H92yHQpbE~VzO@M>EwZ(Z~?Q2Gc^#bu8 zi!(mxCsYf1|DmDxv|L7^+?)9c{`%t;pXNS_lx_c-GgQ`e(FTbx=2|2XCKhvn#z zrzHtDt8?>sEFNdx^cz(QlMR^fvq&mVlfrvd3keEBfXB=G-3e{F_te7AP4WNwiTWe2 z|HXyVJ~+8T9!Ud@wY5VZ@i!Trlc~&uK`W&Yc!FId&AxoA|J~;T*@7e{B{fEchdaFF zbJ)<2jEXvD(`%dUXliOQHipJe>4J`@&T&R+gf8t}vE9x@DM5sdTE9T=S7Aj$CqS#jzy&>b%u@i}${Ap8Hr(ra=0!dj_)|55Yo z2RPO=3DF=I*hTQSS0l~RA)%qZt026Wxa6sdC?zWDHx`UegbGPa?77{2(H#C?(=Kt} z0(BdzM3j%5is&ccO;xp_U8B`TIVS|a+%vVsTN z6^mmKe6sd4LL>%wZVo`a-Un0#U)wA+diym=nb0>iVF;IR>?>xkg2%|l4?g~W4C zu{$?ud3k37$cbwt9gn;H{66qpS1z}E>Tg~Gb8)hwe`XAbh#$iSWgeF^;EG^KMM=XnO42UX+?AM4JHs$(18(; z>dbR=wmFPwi4xn9G$fn*zsX94q{j;%@W!6&OGJbt1{&H8YFS)Fgj_;Jg$<`%gUx*X z4T;!to^;GU1Oj2yto_LwXSy&jAfwK*+f@IRA!4;^Mpyr}KA5E=R5{^0Kx@463$JL5s5>~+9)e3SW2~>s(PHzyj*gDY8fj(W7!7KI$g~ga*88)S)tx%H47UUQ z%5t^W%~^rvaTjl3}xvG=lIB`Xq-%H5ubD4qgt9Vh|!}9i)WF4TU)-C7&|t ze}^vVoGr)sBge+XFjR7^X+P8o(XY%PBM=Y}kXMrx6&AjrW(y>E#W09ObmnQ|9A426 zc7Zst$24*PC_J3{mP?6Y{dWeRV*m^WBdVK|^YXgaP)>^L`=le_WQZh73NEW)@aFu+ zYjQo#5)%{i=kv)xdPhAvHy$eDTE3Nk;NalE-|N5)pY^nG=AT>6*Y9?mu=Dcrj!D0w z!Z_hF-zCBMyS|Qxjg4LXb@fB}2`XkUKc90=BXHNk60CSV{3hTk=tRGAiQn8_?%T#y zMt@;uBk9#zEfi}*hU)d|ycH1Wr%FM=BuNNqC5qR$yzVO0u+HCHT|MDr{%F0rw!OVQ z{2WhU`Yb)q3ujD=FEU^0{|>)Mxaspf@u1DUpr9ao7TtA}At?guf9pp_6w#(Ha{V>T zcS-FPA%x|-)@(s`{hPt(;LQU>p_rsDEki97J#l>9nYGnOG|Pbj0d2H2G>bKj>n|Kv zJN-{(Wo2pO4(u{=SqGg(!{N9G*+M+NAC*i;1{Pr7x;#jOx&vs7O-R59X_{; z=fzBhzW&Fv3k$wtFT>b}GTs>X5mx%EW?MN>O<~{eiHS1NRNjj95${z{fQDv&!SV!Ex;R=j%8tb21PEAZd=ycAm%;aGAZO?kCj1PA_P-ziE~ IiW>y{A08u()&Kwi 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