资料来源 : Free On-Line Dictionary of Computing

VDM-SL
     
        {Vienna Development Method Specification Language}