Implementing Object-Z with Perfect Developer.
Brian Stevens · The Journal of Object Technology · 2006
Object oriented development is the methodology of choice for a wide range of applications but those developing critical systems have stayed with techniques with a mathematical basis.Object-Z is a formal specication language that has attempted to bring the benets of an object oriented approach to critical systems.However, it lacks an obvious route to implementation.This paper describes how Object-Z may be implemented using Perfect Developer, an OO language that supports verication and validation.