(VDM) A program development method based on formal specification using the vienna development method specification language (VDM-SL).