Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification
Cornelis A. Middelburg · Medical Entomology and Zoology · 1993
Introduction to VVSL foundations of flat VVSL specialization for flat VVSL definition of flat VVSL foundations of the structuring language specialization and generalization of VVSL definition of the structuring language discussion introduction to case studies formalization of RDM concepts an external RDBMS interface an internal RDBMS interface.