Using the Yourdon structured method (YSM) and Vienna development method (VDM) together during the system lifecycle

A description is given of how it would be possible to use the Yourdon structured method (YSM) and the Vienna development method (VDM) together during the system lifecycle, and the advantages of this approach. The YSM is a graphical method while VDM is a mathematical method. Overviews of each method are presented, together with an explanation of how they can be used together.<
>