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