Object-Z es una extensión orientada a objetos de la notación Z y fue desarollado en la Universidad de Queensland en Australia. Notación Z es un idioma para la especificación formal de sistemas informáticos.
Object-Z es una extensión orientada a objetos de la notación Z y fue desarollado en la Universidad de Queensland en Australia. Notación Z es un idioma para la especificación formal de sistemas informáticos.
(es)