products/Sources/formale Sprachen/JAVA/openjdk-20-36_src/test/jdk/com/sun/security/sasl/digest/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: tanl.c   Sprache: Latech

Untersuchung VDM©
\documentclass[a4paper,dvips]{article}
\input{overture}

\begin{document}

\title{Specifying the operations performed in a Pub}
\author{Kevin Blackburn\\ ICL Enterprise Engineering}
\date{March 1995}
\maketitle

\begin{abstract}
This note was produced a VDM-SL course presented by Peter Gorm Larsen
to ICL Enterprise Engineering. The modelling of bags was one of the
exercises the attendees (including myself) was confronted with during
the course. Because I have a background in the Z specification
language I finished this exercise before the other attendees. Thus I
was asked to use the definitions of the bags to model the operations
performed in a pub with a cellar and a bar. This specification is
mainly intended for the purpose of illustrating how bags can be used.
\end{abstract}

\input{bag.vdmsl}
 
\input{bar.vdmsl}

\input{bagtest.vdmsl}

\end{document}

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.19Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff