Java Modeling Language

O Java Modeling Language ou JML é uma linguagem de especificação para programas Java que usa a Lógica de Hoare, as pre, poscondições e invariantes e que segue o paradigma da Programação por contrato.

Use IA

Índice

1. 3 relações: Java (linguagem de programação), Lógica de Hoare, Programação por contrato.

2. Plataforma Java

Java (linguagem de programação)

Java é uma linguagem de programação orientada a objetos desenvolvida na década de 90 por uma equipe de programadores chefiada por James Gosling, na empresa Sun Microsystems, que em 2008 foi adquirido pela empresa Oracle Corporation.

Ver Java Modeling Language e Java (linguagem de programação)

Lógica de Hoare

Lógica de Hoare (também conhecida como lógica de Floyd–Hoare ou regras de Hoare) é um sistema formal com um conjunto de regras lógicas para um raciocínio rigoroso sobre a corretude na computação.

Ver Java Modeling Language e Lógica de Hoare

Programação por contrato

Programação por contrato do inglês Design by contract (DbC) é um abordagem de desenvolvimento de software que prescreve que os desenvolvedores devem definir métodos formais, especificações de interface precisas e verificáveis dos componentes de desenvolvimento de software, que acarreta na definição de Tipo Abstrato de Dados com pre-condições, pos-condições e constantes.

Ver Java Modeling Language e Programação por contrato

Ver também

Plataforma Java

• Apache Spark
• Applet Java
• BlueJ
• Bytecode Java
• Classpath (Java)
• DBpedia
• Disco Blu-ray
• Driver JDBC
• Eclipse (software)
• GNU Classpath
• Google Web Toolkit
• Grails
• IcedTea
• JAR (formato de arquivo)
• JNAerator
• JUnit
• JXTA
• Java (linguagem de programação)
• Java (plataforma de software)
• Java Advanced Imaging
• Java Modeling Language
• Java Native Interface
• Java Platform, Enterprise Edition
• Java Platform, Micro Edition
• Java Platform, Standard Edition
• Java Speech Markup Language
• JavaBeans
• JavaOS
• Jini
• LWUIT
• NetBeans
• NetLogo
• Processing (linguagem de programação)
• Projeto Jakarta
• Recipiente web
• Trino (motor de consulta SQL)
• XDoclet

Também conhecido/a como JML.

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