programming, specification (VDM) A program development

method based on formal specification using the ViennaDevelopment Method Specification Language (VDM-SL).