\relax 
\@writefile{toc}{\contentsline {title}{SDG Game Requirements/Design: From Generic Form to the CSP Version}{1}}
\@writefile{toc}{\authcount {1}}
\@writefile{toc}{\contentsline {author}{ Karl Lieberherr, Feng Zhou}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Generic Requirements}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Parameterization}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Game Rules}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Archiving Concern}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Security Concern}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Specialization for CNF}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Specialization for CSP}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Reflection on the course}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Design}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Implementation}{4}}