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

OCL development environment for Eclipse 2

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.8/5 - ‎4 ‎Votos

acerca de OCL development environment for Eclipse

El propósito principal de este proyecto es crear un editor Eclipse para especificar contratos OCL. El lenguaje OCL se utiliza para especificar pre- , post-condiciones e invariables. El proyecto también contiene un analizador para comprobar la corrección sintáctica y semántica.

Programas relacionados

  • Faile Gratis

    Faile es un programa de ajedrez gratuito que juega un juego bastante fuerte de ajedrez (fuerza de experto o mejor). Uno de los principales objetivos de Faile es proporcionar un programa de ajedrez con todas las funciones con

  • Sonyer Gratis

    Esta herramienta permite respaldar datos como la agenda, calendario, notas y otros de un teléfono móvil SonyEricsson (probado en w810i). Se trata de una herramienta de línea de comandos.

  • SubdiverSVN Gratis

    SubdiverSVN es un cliente de Subversion para Linux con biblioteca GTKmm.

  • Note Me Up Free Gratis

    Haga notas simples y notifique notas. Hay widget disponible también. Apóyanos con la compra de la versión COMPLETA que contiene todos los extras:- Capturar notas (Capturar desde la cámara, utilizar multi toque para ver notas)

  • CMWS Model Gratis

    El modelo CMWS, actualmente escrito en Python, compila las ejecuciones de modelos de las salidas de modelos de computadoras gfS y NAM operativas de la NOAA para proporcionar una previsión meteorológica numérica mediante la pr

  • UO Sphere Scripter Gratis

    SphereScripter es una sencilla herramienta que te permite hacer Que Sphereserver Scripts y Gumps sea fácil. Características: color de código, ver sintaxis, creador de la encía, mostrar imágenes de arte / mul, buscar artículo

  • CarbonKernel Gratis

    Este proyecto sourceforge está cerrado hasta nuevo aviso --CarbonKernel es un simulador RTOS basado en técnicas de simulación basadas en eventos. Imita el comportamiento de los sistemas operativos en tiempo real, lo que per

  • BTCpp Gratis

    BTCpp es una biblioteca Bluetooth de código abierto escrita en C/C++.Puede utilizar BTCpp en sus proyectos de C/C++ si necesita soporte para datos básicos de lectura/escritura en dispositivos remotos, escaneo de dispositivo

  • OOF: the very open Flash components Gratis

    OOF es un conjunto de componentes que permiten a los diseñadores crear un back office, una oficina de recepción, sitios dinámicos, formularios, aplicaciones enriquecidas, aplicaciones basadas en bases de datos... Esto se hace

  • Nobles Riggers App Gratis

    Desarrollada por Nobles, esta herramienta sencilla y fácil de usar que le permite buscar límites de carga de trabajo para varios tipos de aparejos (eslingas de cable, eslingas de cadena, eslingas sintéticas), todo a las norma