Klassenbibliothek
VDM WWW Help
Kommunikation im Internet
Die Aufgabe, eine VDM Klassenbibliothek um ein weitere Komponente zu ergänzen,
macht eine vorhergehende Analyse unvermeidlich, die daher keinesfalls nur
theoretischen Wert hat, sondern überhaupt erst diejenigen Fakten aufdeckt,
die eine erfolgreiche Implementierung erlauben.