|
\documentclass{article}
\usepackage{overture}
\usepackage{fullpage}
\usepackage{longtable}
\usepackage{alltt}
\usepackage{graphicx}
\usepackage{makeidx}
\makeindex
\title{VDM++ Sorting Algorithms}
\author{Peter Gorm Larsen}
\begin{document}
\maketitle
\section{Introduction}
This document contains a sorting example. The class diagram can be
seen in Figure \ref{inh}. The structure of the example is known as
the \textit{strategy} pattern. This pattern defines a family of
algorithms, encapsulates each one and make them interchangeable. The
\textit{strategy} pattern lets the algorithm vary independently from
clients that use it. The \texttt{SortMachine} class is the client that uses the
different sorting algorithms. The \texttt{Sorter} class is an abstract class
that defines a common interface to all supported algorithms.
\begin{figure}[tbh]
\begin{center}
\mbox{}
\resizebox{12cm}{!}{\includegraphics{../../inherit2}}
\caption{Class diagram for the sort example}\label{inh}
\end{center}
\end{figure}
\input{specification/sortmachine.vdmpp.tex}
\input{specification/sorter.vdmpp.tex}
\input{specification/mergesort.vdmpp.tex}
\input{specification/dosort.vdmpp.tex}
\input{specification/implsort.vdmpp.tex}
\input{specification/explsort.vdmpp.tex}
\newpage
\addcontentsline{toc}{section}{Index}
\printindex
\end{document}
¤ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
