Z notation

A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais.

Use IA

Índice

1. 2 relações: Biblioteca Nacional da Alemanha, Métodos formais.

2. Linguagens de especificação

Biblioteca Nacional da Alemanha

A Biblioteca Nacional da Alemanha (em alemão: Deutsche Nationalbibliothek (DNB), antigamente Die Deutsche Bibliothek (DDB)) é a depositária do patrimônio bibliográfico e documental da Alemanha, fundado em 1990, com a união das bibliotecas nacionais da Alemanha Oriental e da Alemanha Ocidental.

Ver Z notation e Biblioteca Nacional da Alemanha

Métodos formais

Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.

Ver Z notation e Métodos formais

Ver também

Linguagens de especificação

• Business Process Model and Notation
• Linguagem de descrição de interface
• Linguagem de especificação
• Linguagem de modelagem
• Métodos formais
• UML
• WebML
• Z notation

Também conhecido/a como Notação Z.

Unionpédia é um mapa conceitual ou rede semântica organizado sob a forma de enciclopédia - dicionário. Dá uma breve definição de cada conceito e toda a sua relacionados.

É um mapa mental on-line gigante que serve de base para os diagramas de conceito. É livre para usar e cada artigo ou documento pode ser baixado. É uma ferramenta, de recursos ou de referência para estudo, pesquisa, educação, ou formação, eles podem usar professores, educadores, alunos e estudantes; ou para o mundo acadêmico: para a escola, primário, secundário, médio, faculdade, grau técnico, universidade, graduação, mestrado ou doutorado; para papéis, relatórios, documentos, projetos, idéias, documentação, resumos, pesquisas ou teses. Aqui aparece a definição, explicação, descrição, ou o significado de cada significativa no qual você precisa de informações e uma lista de seus conceitos associados como um glossário. Disponível em português, inglês, espanhol, japonês, chinês, francês, alemão, italiano, polonês, holandês, russo, árabe, hindi, sueco, ucraniano, húngaro, catalão, checo, hebraico, dinamarquês, finlandês, indonésio, norueguês, romeno, turco, vietnamita, coreano, tailandês, grego, búlgaro, croata, eslovaco, lituano, filipino, letão, estoniano e esloveno. Mais idiomas em breve.

As informações são baseadas em artigos da Wikipedia e outros projetos Wikimedia, e estão disponíveis sob a Licença Creative Commons Atribuição-CompartilhaIgual.

A Unionpédia não é endossada ou afiliada à Wikimedia Foundation.

Google Play, Android e o logotipo do Google Play são marcas registradas da Google Inc.

Política de Privacidade