4 relações: IBM, Métodos formais, Orientação a objetos, UML.
IBM
A International Business Machines Corporation (em tradução livre: Corporação Internacional de Máquinas de Negócios, sigla: IBM) é uma empresa dos Estados Unidos voltada para a área de informática.
Novo!!: OCL e IBM · 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!!: OCL 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!!: OCL e Orientação a objetos · Veja mais »
UML
right A UML (do inglês Unified Modeling Language, em português Linguagem de Modelagem Unificada) é uma linguagem-padrão para a elaboração da estrutura de projetos de software.
Novo!!: OCL e UML · Veja mais »