domande matteo

Ingegneria del Software/0621_0/correct.txt

@@ -0,0 +1,14 @@
+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;

Ingegneria del Software/0621_0/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_0/quest.txt

@@ -0,0 +1,4 @@
+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 ?

Ingegneria del Software/0621_0/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_0/wrong0.txt

@@ -0,0 +1,14 @@
+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;

Ingegneria del Software/0621_0/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_0/wrong1.txt

@@ -0,0 +1,14 @@
+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;

Ingegneria del Software/0621_0/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_1/correct.txt

@@ -0,0 +1,14 @@
+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;

Ingegneria del Software/0621_1/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_1/quest.txt

@@ -0,0 +1 @@
+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.

Ingegneria del Software/0621_1/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_1/wrong1.txt

@@ -0,0 +1,13 @@
+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;

Ingegneria del Software/0621_1/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_1/wrong2.txt

@@ -0,0 +1,13 @@
+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;

Ingegneria del Software/0621_1/wrong2.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_10/correct.txt

@@ -0,0 +1 @@
+Per tutti gli istanti di tempo della forma 1 + 4*k (con k = 0, 1, 2, 3, ...) x vale 1.

Ingegneria del Software/0621_10/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_10/quest.txt

@@ -0,0 +1,13 @@
+Si consideri il seguente modello Modelica:
+<html>
+class System
+Integer x;
+initial equation
+x = 0;
+equation
+when sample(0, 2) then
+    x = 1 - pre(x);
+end when;
+end System;
+</html>
+Quale delle seguenti affermazioni è vera per la variabile intera x?

Ingegneria del Software/0621_10/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_10/wrong0.txt

@@ -0,0 +1 @@
+Per tutti gli istanti di tempo della forma  3 + 4*k (con k = 0, 1, 2, 3, ...) x vale 1.

Ingegneria del Software/0621_10/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_10/wrong1.txt

@@ -0,0 +1 @@
+Per tutti gli istanti di tempo della forma 1 + 4*k (con k = 0, 1, 2, 3, ...) x vale 0.

Ingegneria del Software/0621_10/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_11/correct.txt

@@ -0,0 +1,13 @@
+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;

Ingegneria del Software/0621_11/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_11/quest.txt

@@ -0,0 +1,5 @@
+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 ?

Ingegneria del Software/0621_11/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_11/wrong0.txt

@@ -0,0 +1,13 @@
+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;

Ingegneria del Software/0621_11/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_11/wrong1.txt

@@ -0,0 +1,14 @@
+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;

Ingegneria del Software/0621_11/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_12/quest.txt

@@ -0,0 +1,4 @@
+L'input ad un sistema è costituito da un utente (umano) che preme due pulsanti etichettati, rispettivamente, con 1 ed 2.
+L'utente può anche decidere di non premere alcun pulsante.
+Con probabilità 0.2 l'utente preme il pulsante 1, con probabilità 0.3 l'utente preme il pulsante 2, con probabilità 0.5 non fa nulla (pulsante 0 per convenzione).
+Quale dei seguenti modelli Modelica fornisce un modello ragionevole per l'utente di cui sopra?

Ingegneria del Software/0621_12/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_12/wrong0.txt

@@ -0,0 +1,19 @@
+model Env
+Integer x;  // Pulsante premuto dall'utente (0 nessun pulsante)
+Real r1024;
+Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
+algorithm
+when initial() then
+   state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
+   x := 0;
+   r1024 := 0;
+elsewhen sample(0,1) then
+  (r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
+  if (r1024 <= 0.5)
+  then x := 0; 
+  else
+         (r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
+         if   (r1024 <= 0.4)   then x := 1;   else x:= 0; end if;
+  end if;
+end when;
+end Env;

Ingegneria del Software/0621_12/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_12/wrong1.txt

@@ -0,0 +1,19 @@
+model Env
+Integer x;  // Pulsante premuto dall'utente (0 nessun pulsante)
+Real r1024;
+Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
+algorithm
+when initial() then
+   state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
+   x := 0;
+   r1024 := 0;
+elsewhen sample(0,1) then
+  (r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
+  if (r1024 <= 0.5)
+  then x := 0; 
+  else
+         (r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
+         if   (r1024 <= 0.3)   then x := 0;   else x:= 1; end if;
+  end if;
+end when;
+end Env;

Ingegneria del Software/0621_12/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_12/wrong2.txt

@@ -0,0 +1,19 @@
+model Env
+Integer x;  // Pulsante premuto dall'utente (0 nessun pulsante)
+Real r1024;
+Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
+algorithm
+when initial() then
+   state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
+   x := 0;
+   r1024 := 0;
+elsewhen sample(0,1) then
+  (r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
+  if (r1024 <= 0.5)
+  then x := 0; 
+  else
+         (r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
+         if   (r1024 <= 0.2)   then x := 1;   else x:= 0; end if;
+  end if;
+end when;
+end Env;

Ingegneria del Software/0621_12/wrong2.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_13/correct.txt

@@ -0,0 +1 @@
+Sviluppo plan-driven.

Ingegneria del Software/0621_13/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_13/quest.txt

@@ -0,0 +1 @@
+Si pianifica di sviluppare un software gestionale per una università. Considerando che questo può essere considerato un sistema mission-critical, quali dei seguenti modelli di processi software generici è più adatto per lo sviluppo di tale software.

Ingegneria del Software/0621_13/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_13/wrong0.txt

@@ -0,0 +1 @@
+Sviluppo Iterativo

Ingegneria del Software/0621_13/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_13/wrong1.txt

@@ -0,0 +1 @@
+Sviluppo Agile.

Ingegneria del Software/0621_13/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_14/correct.txt

@@ -0,0 +1 @@
+Testare l'interazione tra  le componenti del sistema (cioè, integrazione di molte unità di sistema).

Ingegneria del Software/0621_14/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_14/quest.txt

@@ -0,0 +1 @@
+Il system testing si concentra su:

Ingegneria del Software/0621_14/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_14/wrong0.txt

@@ -0,0 +1 @@
+Testare le interfacce per ciascuna componente.

Ingegneria del Software/0621_14/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_14/wrong1.txt

@@ -0,0 +1 @@
+Testare le funzionalità di unità software individuali, oggetti, classi o metodi.

Ingegneria del Software/0621_14/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_15/correct.txt

@@ -0,0 +1 @@
+Testare funzionalità di unità software individuali, oggetti, classi o metodi.

Ingegneria del Software/0621_15/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_15/quest.txt

@@ -0,0 +1 @@
+Unit testing si concentra su:

Ingegneria del Software/0621_15/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_15/wrong0.txt

@@ -0,0 +1 @@
+Testare le interfacce di ciascuna componente.

Ingegneria del Software/0621_15/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_15/wrong1.txt

@@ -0,0 +1 @@
+Testare l'interazione tra componenti.

Ingegneria del Software/0621_15/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_16/correct.txt

@@ -0,0 +1 @@
+1/1000

Ingegneria del Software/0621_16/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_16/quest.txt

@@ -0,0 +1 @@
+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?

Ingegneria del Software/0621_16/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_16/wrong0.txt

@@ -0,0 +1 @@
+1/10

Ingegneria del Software/0621_16/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_16/wrong1.txt

@@ -0,0 +1 @@
+1/100

Ingegneria del Software/0621_16/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_17/correct.txt

@@ -0,0 +1,13 @@
+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;

Ingegneria del Software/0621_17/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_17/quest.txt

@@ -0,0 +1,5 @@
+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 ?

Ingegneria del Software/0621_17/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_17/wrong0.txt

@@ -0,0 +1,14 @@
+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;

Ingegneria del Software/0621_17/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_17/wrong1.txt

@@ -0,0 +1,13 @@
+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;

Ingegneria del Software/0621_17/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_18/correct.txt

@@ -0,0 +1 @@
+2*A*(p +1)

Ingegneria del Software/0621_18/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_18/quest.txt

@@ -0,0 +1 @@
+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?

Ingegneria del Software/0621_18/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_18/wrong0.txt

@@ -0,0 +1 @@
+3*A*(p + 1)

Ingegneria del Software/0621_18/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_18/wrong1.txt

@@ -0,0 +1 @@
+2*A*(p + 2)

Ingegneria del Software/0621_18/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_19/correct.txt

@@ -0,0 +1 @@
+Ad ogni istante di tempo della forma 1 + 4*k (k = 0, 1, 2, 3, ...), x vale "true".

Ingegneria del Software/0621_19/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_19/quest.txt

@@ -0,0 +1,13 @@
+Si consideri il seguente modello Modelica.
+<html>
+class System
+Boolean x;
+initial equation
+x = false;
+equation
+when sample(0, 2) then
+    x = not (pre(x));
+end when;
+end System;
+</html>
+Quale delle seguenti affermazioni vale per la variabile booleana x ?

Ingegneria del Software/0621_19/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_19/wrong0.txt

@@ -0,0 +1 @@
+At time instants of form 1 + 4*k (with k = 0, 1, 2, 3, ...) x takes value "false".

Ingegneria del Software/0621_19/wrong0.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_19/wrong1.txt

@@ -0,0 +1 @@
+Ad ogni istante di tempo della forma 3 + 4*k (k = 0, 1, 2, 3, ...), x vale "true".

Ingegneria del Software/0621_19/wrong1.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_2/correct.txt

@@ -0,0 +1 @@
+6*A

Ingegneria del Software/0621_2/correct.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip

Ingegneria del Software/0621_2/quest.txt

@@ -0,0 +1 @@
+Si consideri un software sviluppato seguendo un approccio plan-driven implementato con tre fasi: F1, F2, F3 ciascuna con costo A. Le "change request" possono arrivare solo al fine di una fase e provocano la ripetizione (con relativo costo) di tutte le fasi che precedono. Si assuma che dopo la fase F3 (cioè al termine dello sviluppo) arriva una change request. Qual'e' il costo totale per lo sviluppo del software in questione.

Ingegneria del Software/0621_2/quest.txt:Zone.Identifier

@@ -0,0 +1,3 @@
+[ZoneTransfer]
+ZoneId=3
+ReferrerUrl=C:\Users\mreal\Downloads\Telegram Desktop\Domande 09_06_2021 (2).zip