2-APL UPC project.
lastminute update
+2
-2
+2
-2
docs/briscola_chiamata/bc-pres.tex
+2
-2
docs/briscola_chiamata/bc-pres.tex
···
147
147
\vskip 2.0ex
148
148
149
149
\begin{itemize}
150
-
\item System Specification: actors, actions, percepts, goals and scenarios
150
+
\item System Specification: actors, actions, percepts, goals, scenarios and roles
151
151
\vskip 2.0ex
152
152
\item High-level/Architectural Specification: overall structure of the system
153
153
\vskip 2.0ex
···
429
429
}
430
430
431
431
\frame{
432
-
\frametitle{EF($\Psi_1 \lor \Psi_2$)}
432
+
\frametitle{EF($\Psi_1 \land \Psi_2$)}
433
433
434
434
\begin{itemize}
435
435
\item $\Psi_1$: Finalize the prototype