Acesso mais rápido do que o navegador!
28 relações: C++, Caso de uso, Classe (programação), Common Lisp, Common Lisp Object System, CPAN, Desenvolvimento de software, Digital Mars, Documentação de software, Especificação formal, Estados Unidos, Herança (programação orientada a objetos), Java Modeling Language, JavaScript, Ligação dinâmica, Linguagem de programação, Marca registrada, Métodos formais, Orientação a objetos, Perl, Programação defensiva, Spring Framework, Teste de integração, Teste de unidade, Tipo abstrato de dado, Tratamento de exceção, Verificação formal, .NET Framework.
C++
C++ (Pronuncia-se "cê mais mais") é uma linguagem de programação compilada multi-paradigma (seu suporte inclui linguagem imperativa, orientada a objetos e genérica) e de uso geral.
Novo!!: Programação por contrato e C++ · Veja mais »
Caso de uso
Na Engenharia de Software, um caso de uso (do inglês use case) é um tipo de classificador representando uma unidade funcional coerente provida pelo sistema, subsistema, ou classe manifestada por sequências de mensagens intercambiáveis entre os sistemas e um ou mais atores.
Novo!!: Programação por contrato e Caso de uso · Veja mais »
Classe (programação)
Em programação e na orientação a objetos, uma classe é um Tipo abstrato de Dados (TAD); ou seja, uma descrição que abstrai um conjunto de objetos com características similares (um projeto do objeto), é um código da linguagem de programação orientada a objetos que define e implementa um novo tipo de objeto, que terão características (atributos) que guardaram valores e, também funções específicas para manipular estes.
Novo!!: Programação por contrato e Classe (programação) · Veja mais »
Common Lisp
Common Lisp é uma implementação específica da linguagem de programação Lisp multi-paradigma que suporta programação funcional e procedural.
Novo!!: Programação por contrato e Common Lisp · Veja mais »
Common Lisp Object System
O Common Lisp Object System (CLOS) é uma funcionalidade de programação orientada a objeto que faz parte do ANSI Common Lisp, e consiste de um sistema de objetos dinâmicos que difere radicalmente das funcionalidades encontradas em linguagens mais estáticas como C++ or Java.
Novo!!: Programação por contrato e Common Lisp Object System · Veja mais »
CPAN
CPAN, é um acrônimo para Comprehensive Perl Archive Network (Rede de Repositórios Perl), é um repositório de mais de 130.200 módulos de software escritos em linguagem de programação Perl, assim como suas respectivas documentações.
Novo!!: Programação por contrato e CPAN · Veja mais »
Desenvolvimento de software
Na computação, o desenvolvimento de software é o ato de elaborar e implementar um sistema computacional, isto é, transformar a necessidade de um utilizador ou de um mercado em um produto de software.
Novo!!: Programação por contrato e Desenvolvimento de software · Veja mais »
Digital Mars
Digital Mars é uma empresa de desenvolvimento de software dos Estados Unidos que produz compiladores para C e C++, assim como utilitários para ambientes de desenvolvimento integrado.
Novo!!: Programação por contrato e Digital Mars · Veja mais »
Documentação de software
A documentação de software ou documentação do código fonte, é um texto escrito que acompanha o software e geralmente explica como utilizá-lo.
Novo!!: Programação por contrato e Documentação de software · Veja mais »
Especificação formal
Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.
Novo!!: Programação por contrato e Especificação formal · Veja mais »
Estados Unidos
Os Estados Unidos da América (EUA; United States of America — USA), ou simplesmente Estados Unidos ou América, são uma república constitucional federal composta por 50 estados e um distrito federal.
Novo!!: Programação por contrato e Estados Unidos · Veja mais »
Herança (programação orientada a objetos)
Herança é um princípio de orientação a objetos, que permite que classes compartilhem atributos e métodos, através de "heranças".
Novo!!: Programação por contrato e Herança (programação orientada a objetos) · Veja mais »
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.
Novo!!: Programação por contrato e Java Modeling Language · Veja mais »
JavaScript
JavaScript (frequentemente abreviado como JS) é uma linguagem de programação interpretada estruturada, de script em alto nível com tipagem dinâmica fraca e multiparadigma (protótipos, orientado a objeto, imperativo e funcional).
Novo!!: Programação por contrato e JavaScript · Veja mais »
Ligação dinâmica
Em computação, uma ligação dinâmica é a parte de um sistema operacional que carrega e vincula as bibliotecas compartilhadas necessárias por um executável quando ele é executado (em "tempo de execução"), por meio da cópia do conteúdo das bibliotecas de um armazenamento persistente para a RAM, e preenchimento de tabelas de salto e realocação de ponteiros.
Novo!!: Programação por contrato e Ligação dinâmica · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Programação por contrato e Linguagem de programação · Veja mais »
Marca registrada
Símbolos da ''Marca Registrada'' usadas no Brasil, que serve para indicar que uma obra está registrada aos direitos do autor e não pode ser copiada Uma ou marca registrada comercial (respectivamente, símbolos ® ou MR ou TR) é qualquer nome ou símbolo utilizado para identificar uma empresa, um produto (bem de consumo), serviço ou comércio.
Novo!!: Programação por contrato e Marca registrada · Veja mais »
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.
Novo!!: Programação por contrato e Métodos formais · Veja mais »
Orientação a objetos
Programação Orientada a Objeto (também conhecida pela sua sigla POO) ou Modelagem Orientada ao Objeto, é um modelo/paradigma de projeto e programação de software baseado na abstração digital do mundo real, através da composição e interação entre diversas unidades chamadas de 'objetos' e as classes (representando objetos reais contendo identidade, propriedades e, métodos); baseado em quatro principais componentes da programação: abstração digital, encapsulamento, herança e, polimorfismo.
Novo!!: Programação por contrato e Orientação a objetos · Veja mais »
Perl
Perl é uma família de duas linguagens de programação multiplataforma, Perl 5 e Perl 6.
Novo!!: Programação por contrato e Perl · Veja mais »
Programação defensiva
Programação defensiva é um conjunto de técnicas de projeto (do inglês design) e programação objetivando a estabilidade e a segurança de um software independentemente de seu imprevisível.
Novo!!: Programação por contrato e Programação defensiva · Veja mais »
Spring Framework
O Spring é um framework open source para a plataforma Java criado por Rod Johnson e descrito em seu livro "Expert One-on-One: JEE Design e Development".
Novo!!: Programação por contrato e Spring Framework · Veja mais »
Teste de integração
Teste de integração é a fase do teste de software em que módulos são combinados e testados em grupo.
Novo!!: Programação por contrato e Teste de integração · Veja mais »
Teste de unidade
Teste de unidade é toda a aplicação de teste nas assinaturas de entrada e saída de um sistema.
Novo!!: Programação por contrato e Teste de unidade · Veja mais »
Tipo abstrato de dado
Na ciência da computação, um Tipo Abstrato de Dados (abreviado TAD) é um modelo matemático para tipos de dados; ou seja, na programação de computadores é um código que define e implementa um novo tipo de informação ou um novo tipo de objeto utilizado na linguagem de programação orientada a objetos, que é definido pelo seu comportamento (semântico) do ponto de vista de um usuário, do dado, especificamente em termos de valores possíveis, operações possíveis no dado desse tipo, e o comportamento dessas operações.
Novo!!: Programação por contrato e Tipo abstrato de dado · Veja mais »
Tratamento de exceção
O tratamento de exceção, na ciência da computação, é o mecanismo responsável pelo tratamento da ocorrência de condições que alteram o fluxo normal da execução de programas de computadores.
Novo!!: Programação por contrato e Tratamento de exceção · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Programação por contrato e Verificação formal · Veja mais »
.NET Framework
O.NET Framework (pronuncia-se: dótnét) é uma iniciativa da empresa Microsoft, que visa uma plataforma única para desenvolvimento e execução de sistemas e aplicações.
Novo!!: Programação por contrato e .NET Framework · Veja mais »
