Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification

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.