Object-Z - Object-Z

Object-Z é uma extensão orientada a objeto da notação Z desenvolvida na University of Queensland , Austrália .

Object-Z estende Z pela adição de construções de linguagem semelhantes ao paradigma orientado a objetos, mais notavelmente, classes . Outras noções orientadas a objetos, como polimorfismo e herança, também são suportadas.

Embora não seja tão popular quanto sua linguagem base Z, Object-Z ainda recebeu atenção significativa na comunidade de métodos formais , e pesquisas sobre aspectos da linguagem estão em andamento, incluindo linguagens híbridas usando Object-Z, suporte de ferramenta (por exemplo, através da Comunidade Projeto Z Tools ) e cálculos de refinamento .

Veja também

Referências

links externos