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
Rip DVD discs to the desired file format.
This program enables you to convert video files to various output profiles.
CoverScout fills the gray gaps that iTunes leaves behind!
Rips media from DVD and creates disk copies.
Edits audio files with the option for CD mastering.
This program lets you convert videos to various media formats.
Comments