products/Sources/formale Sprachen/VDM/VDMSL/STVSL/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: README.txt   Sprache: Text

Original von: VDM©
Author: Paul Mukherjee


This model aims to model a single transferable voting system used for electronic 
voting. It is further described in the following papers:  
 
P. Mukherjee and B.A. Wichmann. Formal Specification of the STV Algorithm. In
M.G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods. Prentice
Hall, 1995.

Paul Mukherjee,  Automatic translation of VDM-SL specifications into gofer, 
Springer, Lecture Notes in Computer Science, Volume Volume 1313/1997 
Book FME '97: Industrial Applications and Strengthened Foundations of 
Formal Methods 


Language Version: vdm10

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff