if(trackingNum != null){ } Systematic Software Development Using VDM