Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Distributor.thy Sprache: VDM

Original von: VDM^©

\documentclass{article}

\usepackage{overture}
\usepackage{fullpage}
\title{\Large\bf VDM-SL Specifications for a Graph Editor\footnote
{This work is supported by grants from Natural Sciences and
Engineering Research Council, Canada and Concordia University Graduate
Fellowships.}}
\normalsize
\author{V. S. Alagar \and D. Muthiayen \and K. Periyasamy\thanks{Department
of Computer Science, University of Manitoba, Winnipeg,
Manitoba, Canada R3T 2N2.}}
\date{Department of Computer Science\\ Concordia University\\
Montreal, Quebec H3G 1M8, Canada\\
Phone: +1 (514) 848-3022\\
\{alagar,d\_muthi,kasi\}@cs.concordia.ca\\~\\
February 1996}

\begin{document}
\pagenumbering{arabic}
\maketitle
\thispagestyle{empty}

\include{generated/latex/specification/graph-ed.vdmsl}

\newpage
\begin{thebibliography}{99}
\small
\baselineskip=12pt
\bibitem{1}
The VDM-SL Tool Group, The Institute of Applied Computer Science.
\newblock {\it The IFAD VDM-SL Language}.
\newblock Technical Report IFAD-VDM-1, IFAD, June 1995.
\bibitem{2}
The VDM-SL Tool Group, The Institute of Applied Computer Science.
\newblock {\it User Manual for the IFAD VDM-SL Toolbox}.
\newblock Technical Report IFAD-VDM-4, IFAD, October 1995.
\bibitem{3}
The VDM-SL Tool Group, The Institute of Applied Computer Science.
\newblock {\it User Manual for the $VDM-SL_{to}C$++ Code Generator}.
\newblock Technical Report IFAD-VDM-6, IFAD, October 1995.
\bibitem{4}
The VDM-SL Tool Group, The Institute of Applied Computer Science.
\newblock {\it The VDM C++ Library}.
\newblock Technical Report IFAD-VDM-7, IFAD, October 1995.
\end{thebibliography}

\end{document}

¤ Dauer der Verarbeitung: 0.33 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.