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.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
Handy utility for OS X that ejects CDs and DVDs stuck in your Mac.
Calculates fractals (Mandelbrot Sets and Julia Sets) in real time.
There are a lot of ways to approach burning discs.
DiscLabel helps you create and manage CD/DVD covers.
Calculating the sample size required for a randomised, controlled trial
Copy and burn data onto CD and DVD from virtual images.
Comments