Abstract
The use of VDM and Z for teaching formal methods and specification techniques is quite common and has proven to be effective. However students exposed to one of these languages may miss the benefits offered by the other. On the other hand students exposed to both sometimes treat them as very distinct approaches. Since both VDM and Z are based on predicate calculus and the concept of pre and post predicates on states as means of defining the effects of operations we think their introduction can be usefully brought together. In this paper, we explore integrating the use of VDM and Z in the teaching of formal specification methods. The similarities and differences of both methods are discussed. A notation and method allowing the integrated use of VDM and Z is proposed. The unified method is illustrated by an example in the specification of a database system.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
