rodin

por ETH Zurih and Others

Descargar ahora desde el sitio web del desarrollador

Tipo de licencia: Código abierto

Descargas totales:65

Latest version:3.1

Reportar información incorrecta

Descripción

Captura de pantalla

Rodin 3.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Este programa sin coste fue desarrollado originariamente por ETH Zurih and Others. A las aplicaciones del grupo Desarrollo, subgrupo IDE, es a las que pertenece esta herramienta. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.

Del desarrollador:

Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.

Quizás esté interesado en probar otros programas, como Art Galleries, One Click Translate for Safari o Platform Flash Tool Lite, que podrían ser parecidos a rodin.

Descarga rodin desde el sitio web del desarrollador

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos