% cs-loc.tex --- table of lines of code of case studies -*-latex-*-

% Copyright (C) 2020 Amin Bandali <bandali@uwaterloo.ca>

% This file is part of Amin Bandali's MMath thesis.

% This thesis is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.

% This thesis is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.

% You should have received a copy of the GNU General Public License
% along with this thesis.  If not, see <https://www.gnu.org/licenses/>.


{
  \centering
  \renewcommand{\arraystretch}{1.1}
  \small
  \begin{tabular}{|c|ccccccc|}
    \hline
    \diagbox{Case study}{Language}
    & \B
    & \eventb
    & \alloy
    & \dash
    & \tla
    & \pluscal
    & \asmetal
    \\ \hline
    EHealth
    & 62                        % \B
    & 111                       % \eventb
    & 135                       % \alloy
    & 95                        % \dash
    & 120                       % \tla
    & 101                       % \pluscal
    & 87                        % \asmetal
    \\
    Digital Watch
    & 135                       % \B
    & 210                       % \eventb
    & 295                       % \alloy
    & 112                       % \dash
    & 197                       % \tla
    & 160                       % \pluscal
    & 142                       % \asmetal
    \\
    Musical Chairs
    & 68                        % \B
    & 84                        % \eventb
    & 130                       % \alloy
    & 65                        % \dash
    & 101                       % \tla
    & 106                       % \pluscal
    & 97                        % \asmetal
    \\
    Library Management
    & 180                       % \B
    & 164                       % \eventb
    & 317                       % \alloy
    & 120                       % \dash
    & 146                       % \tla
    & 151                       % \pluscal
    & 207                       % \asmetal
    \\
    Railway
    & 82                        % \B
    & 86                        % \eventb
    & 387                       % \alloy
    & 280                       % \dash
    & 79                        % \tla
    & 84                        % \pluscal
    & 78                        % \asmetal
    \\
    \hline
  \end{tabular}
}


%% Local Variables:
%% tex-main-file: "../bandali-mmath-thesis.tex"
%% End:
