SVDM An Integrated Combination of SA and VDM

In this paper we present Structured VDM SVDM a combination of Struc tured Analysis SA and the Vienna Development Method VDM Using this method the designer is able to move back and forth between an SA graph ical speci cation and a VDM textual speci cation In this way the most appropriate notation for explaining the speci cation to people with a di er ent background can be selected An overview of the methodological aspects of the approach is given