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.
The MBS plugin adds 1500 classes and 29,000 documented functions to REALbasic.
The OpenGL Development Kit provides all the tools needed to start creating OpenGL applications on Mac.
We don't have a description for the Ivory Library Installer app yet.
We don't have a description for the English Khmer Dictionary app yet.
Developed by com.zte
We don't have a description for the 欧路词典 app yet.
We don't have a description for the move app yet.
We don't have a description for the The SIMS 3 Install app yet.
Comments