\begin{frame}[allowframebreaks]{gotcha}

We are making a 2D real-time multiplayer game using Javascript, HTML5 and WebSockets which we plan to integrate with Facebook.
\begin{enumerate}

    \item \textbf{Performance} \\
For the fitness for purpose, we could create a game with a large number of players, lets say 20, after that we can measure performance of the host and adjust settings.

    \item \textbf{User Study} \\
While developing our game, we had to make a number of design decision regarding pace and gameplay. For example, one of the options is to create a  reload delay when player shoots vs players can fire non-stop. In order for us to decide, we can create both types of games and ask players for their feedback which game mode they enjoy most.
    
    \item \textbf{Formal Verification} \\
Our game involves synchronizing a set of states and it allows to playback or skip states if the user didn't receive an update, but the next state is ready. We can model this behavior in Spin and check that at certain intervals all players are in the same state.

    \item \textbf{Eventdex's Idea: Platform User Study} \\
Do a user study comparing the user experience of playing the game as a 1. Facebook app 2. On an independent flash games website or 3. Making the game available on an independent site and allowing users to login using Facebook Connect.

\end{enumerate}

\end{frame}
