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
- A página inicial do Object-Z
- Projeto Community Z Tools (CZT) Arquivado em 1º de julho de 2004 na Wayback Machine
Este artigo relacionado à linguagem de programação é um esboço . Você pode ajudar a Wikipedia expandindo-a . |