Stratego Implementation of the Stratego board game using design by contract methods and modeling using VDM++.