% FILE. . . . . /home/hak/ngo/doc/hak/design/traceability.tex
% EDIT BY . . . Hassan Ait Kaci
% ON MACHINE. . Latitude314.Ilog.Fr
% STARTED ON. . Tue Jun 25 09:32:14 2002

% Last modified on Tue Jun 25 09:32:25 2002 by Hak

\chapter{A word on traceability}

\section{Relating concrete and abstract syntax}

Error traceability...

\subsection{Syntax errors}
\subsection{Static Semantics errors}
\subsubsection{Typing errors}
\subsubsection{Other Static Semantics errors}
\subsection{Dynamic Semantics errors}
\subsubsection{Runtime errors}
\subsubsection{Java errors}

\section{Displaying and reading}

... in concrete/abstract syntax.

\subsection{Displaying}
\subsection{Reading}
\subsection{Concretizing abstract syntax down}

... with writing tables.


\subsection{Abstracting concrete syntax away}

... with reading tables.


