\begin{frame}[allowframebreaks]{eventdex}

Eventdex is an event management system designed for UW's Engineering Science Quest (ESQ), to replace their current paper-based workflow with an iPads. The application will be required to work in WiFi-adverse environments, necessitating some form of local caching and synchronization.

\begin{enumerate}

    \item Compare the fitness for purpose of different synchronization algorithms for synchronizing data across iPad clients and with the server.
    
    \item Compare the fitness for purpose of two different data stores on the iPad: SQLite and Core Data.

    \item Use usability testing to compare the user experience between using paper, iPad native client and mobile web site for organizing and managing ESQ data.
	
	\item (WATPark) Formal analysis of attendance workflow, in which alloy/spin is used to model attendance checkins/checkouts, and then verified with LTL statements.

    \item (Gotcha) Perform field testing of connectivity on campus to identify constraints on the synchronization algorithm.

\end{enumerate}

\end{frame}
