Add correctness, reliability, usability and verifiability from Ghezzi…

…1991 text book

StateOfPractice/QDefOfQualities/QDefOfQualities.tex

@@ -170,6 +170,11 @@ \subsection{\notdone{Correctness} \oo{owner}}
   \citet{VanVliet2000}.)
 \end{defn}
 
+\begin{defn}
+``A program is functionally correct if it behaves according to its stated
+functional specifications'' \citep{ghezzi1991fundamentals}.
+\end{defn}
+
 \noindent \textbf{Proposed Definition}
 
 Definition~\ref{CorrectDefnSelected}
@@ -302,6 +307,11 @@ \subsection{\notdone{Reliability} \oo{owner}}
   \citet{VanVliet2000}.)
 \end{defn}
 
+\begin{defn}
+``Informally, software is reliable if the user can depend on it''
+\citep{ghezzi1991fundamentals}.
+\end{defn}
+
 \noindent \textbf{Proposed Definition}
 
 \wss{Needs to be completed.}
@@ -377,7 +387,9 @@ \subsection{\notdone{Performance} \pmi{owner}}
 
 \noindent \textbf{Proposed Definition}
 
-Combined definition \ref{PerformanceDefnSelected} and \ref{PerformanceDefnSelected2}: The degree to which a system or component accomplishes its designated functions within given constraints, such as speed
+Combined definition \ref{PerformanceDefnSelected} and
+\ref{PerformanceDefnSelected2}: The degree to which a system or component
+accomplishes its designated functions within given constraints, such as speed
 (database response times, for instance), throughput ( transactions per second),
 capacity (con-current usage loads), and timing (hard real-time demands).
 
@@ -439,6 +451,11 @@ \subsection{\notdone{Usability} \jc{owner}}
   \citet{VanVliet2000}.)
 \end{defn}
 
+\begin{defn}
+``A software is usable - or user fridendly - if its human users find it easy to
+use'' \citep{ghezzi1991fundamentals}.
+\end{defn}
+
 \noindent \textbf{Proposed Definition}
 
 \wss{Still needs to be completed}
@@ -1070,6 +1087,11 @@ \subsection{\notdone{Verifiability} \wss{owner}}
 
 \wss{When I get the Ghezzi text back from Olu,
   I'll check to see if they have anything to add to this definition.}
+
+\begin{defn}
+A software system is verifiable if its properties can be verified easily
+\citep{ghezzi1991fundamentals}.
+\end{defn}
 
 \noindent \textbf{Proposed Definition}