Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Anders Kaels Malmos

The system is an automated stock broker, where you can specify a list
of stocks which automaticly, can either be bought or sold. This is
done by defining a prioritised list of stocks to observe, which each
has defined a trigger that tells in which situation the system should
react with either a buy or a sell action. The trigger is a rule
defined upon the history and the current value of the stock. This
model is made by Anders Kaels Malmos as a small mini-project in a
course on "Modelling of Mission Critical Systems" (see
https://services.brics.dk/java/courseadmin/TOMoMi/pages/Modelling+of+Mission+Critical+Systems).

More information about the model and the purpose of it can be found in
the ProjectReport.pdf file included in the zip file with the source files.

Language Version: vdm10
Entry point : new World().Run()

¤ Dauer der Verarbeitung: 0.1 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.