Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. OCL development environment for Eclipse
  5. Download

OCL development environment for Eclipse 2

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.8/5 - ‎4 ‎Votos

Sobre OCL development environment for Eclipse

O principal objetivo deste projeto é criar um editor do Eclipse para especificar contratos de OCL. A linguagem OCL é usada para especificar pré-, pós-condições e invariantes. O projeto também contém um analisador para verificar a correção sintática e semantical.

Programas Relacionados

  • Faile Livre

    Faile é um programa de xadrez gratuito que joga um jogo de xadrez bastante forte (Força especializada ou melhor). Um dos principais objetivos do Faile é fornecer um programa completo de xadrez em destaque com código fonte que

  • Sonyer Livre

    Esta ferramenta permite fazer backup de dados como lista telefônica, calendário, notas e outros de um telefone celular SonyEricsson (testado em w810i). Esta é uma ferramenta de linha de comando.

  • SubdiverSVN Livre

    SubdiverSVN é um cliente de Subversão para Linux com biblioteca GTKmm.

  • Note Me Up Free Livre

    Faça anotações simples e notifique notas. Há widget disponível também. Suporte-nos com a compra da versão FULL que contém todos os extras:- Capture Notes (Capture from camera, use multi touch to view notes)- Voice Notes (Repr

  • CMWS Model Livre

    O Modelo CMWS, atualmente escrito em python, compila modelos de saídas de modelos operacionais GFS e NAM pela NOAA para fornecer uma previsão meteorológica numérica usando previsão estatística. Modelo é executado em http://ww

  • UO Sphere Scripter Livre

    SphereScripter é uma ferramenta simples que permite que você faça Scripts Sphereserver e Gumps de forma fácil. Características: cor de código, sintaxe de verificação, criador de gump, exibição de imagens Art/Mul, pesquisa ite

  • CarbonKernel Livre

    Este projeto de perfuração de origem está fechado até segunda ordem -CarbonKernel é um simulador RTOS baseado em técnicas de simulação orientadas a eventos. Ele imita o comportamento dos sistemas operacionais em tempo real,

  • BTCpp Livre

    BTCpp é uma Biblioteca Bluetooth de código aberto escrita em C/C++.Você pode usar o BTCpp em seus projetos C/C++ se precisar de suporte para dados básicos de leitura/escrita para dispositivos remotos, varredura remota de di

  • OOF: the very open Flash components Livre

    O OOF é um conjunto de componentes que permitem aos designers criar um back office, um escritório de frente, sites dinâmicos, formulários, aplicativos ricos, aplicativos orientados por banco de dados... Isso feito com Flash o

  • Nobles Riggers App Livre

    Desenvolvido pela Nobles, esta ferramenta simples e fácil de usar que permite procurar limites de carga de trabalho para vários tipos de aparelhamento (estilingues de corda de arame, slings de corrente, slings sintéticos), tu