| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/DFDexampleSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 633 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Peter Gorm Larsen
This specification describes how one can automatically transform Data Flow Diagrams (DFD) into VDM-SL definitions. It is written as a flat VDM-SL model in a purely executable style. However, in order to test it at the top level one needs to construct a large test structure which essentially is an AST for a DFD. This have been done in the past but unfortunately the sources for this have been lost. This model was basis for a paper published as: "A Formal Semantics of Data Flows Diagrams", P.G.Larsen, N.Plat, H.Toetenel, Formal Aspects of Computing'' 1994, Vol 6, December Language Version: vdm10 ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28