\documentclass[11pt]{article}
\usepackage{fullpage}

\begin{document}
\mbox{}
\vspace*{-3ex}
\begin{center}
  \large{}
  Review of Requirements Analysis Document\\
  Check List 
\end{center}

{\bf Project being reviewed: } \hspace{1in} {\bf Reviewer: } \hspace{1.5in} {\bf Date: }\\

\begin{enumerate}
\item Use cases
  \begin{enumerate}
  \item Are use cases provided for different major courses of actions? 
  \item Are use cases organized using \texttt{uses} and
    \texttt{extends} to avoid repetition?  
  \item Do the use cases  cross reference the correct requirements?
  \item Do the use cases identify all actors?
  \item Are the roles of actors clear?
  \end{enumerate}

\item Class diagram
  \begin{enumerate}
  \item Is the system well modularized?
  \item Do the classes stand for cohesive abstractions?
  \item Are inheritance and aggregation used correctly?
  \item Are  classes that interact with one
    another connected by associations?  
  \item Are associations appropriately named?
  \item Are multiplicities specified where appropriate?
  \item Are roles specified where appropriate?
  \end{enumerate}

\item Data dictionary
  \begin{enumerate}
  \item Are all classes, operations, and attributes in the class
    diagram described in the data dictionary?  
  \item Are the descriptions unambiguous and complete?
  \end{enumerate}

\item Sequence diagrams
  \begin{enumerate}
  \item Are representative sequence diagrams  provided for different
    major activities? 
  \item Are there important scenarios that need sequence diagrams?
  \item Do the messages in the sequence diagrams correspond to
    transitions in the appropriate state diagrams?
  \item Are annotations provided in the left margin to explain what is
    being modeled?
  \item Does each sequence diagram trace a path through the state
    diagrams.
  \end{enumerate}

\item State diagrams
  \begin{enumerate}
  \item Are representative state diagrams provided for objects with
    interesting dynamic behaviors?
  \item Does every diagram have a start state?
  \item Are sequential composition and concurrency used effectively?
  \item Are the diagrams modular and easy to follow?  
  \item Do the events, variables, and actions on
    transitions in the state diagrams correspond to operations and
    attributes of the appropriate objects in the class diagram?
  \item Is every state reachable?
  \item Do the diagrams allow deadlock?
  \end{enumerate}

\item User interface
  \begin{enumerate}
  \item Is the proposed user interface described clearly?
  \item Is the UI designed to be consistent and easy to use?
  \end{enumerate}
\item Consistency between diagrams.
	\begin{enumerate}
	\item Can all sequence diagrams be validated against state diagram?
	\item Can you generate an invalid sequence diagram from state diagram?
	\item Do the objects in the sequence diagram correspond to
	classes in class diagram?
	\item Do the events in the state diagram correspond to methods in
	class diagram?
	\item Do the events in the sequence diagram correspond to methods in
	class diagram?
	\item Do the events in the sequence diagram correspond to events
or actions in state diagram?
	\end{enumerate}
\item General
  \begin{enumerate}
  \item Does the report follow the template and does each section
    serve the purpose stated in the template?
  \item Is the table of contents complete?
  \item Do the introduction and overview set the context for and
    motivate the report?
  \item How well organized is the report with respect the
ease in which the inspector can follow it?
  \item Is the report self contained (or does it assume prior
    knowledge of the product or design)?
  \item Are modeling decisions adequately explained and motivated?
  \item Is the report well written?  Is the writing direct and to the
    point?   Is everything in the report relevant?
  \item Are terms and names used consistently in the different models
    and in the text?  
  \item Are the requirements numbered so as to be easily referenced in
    use cases?
  \item Are all diagrams labeled correctly?
  \item Do all figure references refer to the correct figures?
  \item Is the explanation that accompanies each diagram sufficient to 
    understand the diagram?
  \item Are there spelling errors?
  \item Are there grammar errors?
  \item Are there formatting problems?
  \item Are the diagrams legible?
  \item Does the report correctly cite references?
  \item Is UML notation used properly?
  \item Are requirements stated in sufficient detail to be clear and
    precise? 
  \item Do requirements focus on ``what'' and not on ``how,'' or
    do they contain inappropriate
    implementation details?
  \item Are all of the most important requirements modeled correctly?
  \item Are those requirements that are not modeled well documented?
  \item Are error conditions checked and handled properly?  
%  \item Does the report conform to all the standards in the handout
%    \emph{Inspectable Document Standard\/}?
\end{enumerate}

\end{enumerate}

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: