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.
Lunar Eclipse Maestro controls up to four USB or Firewire connected cameras (Nikon and Canon DSLRs...
This is the most recent distribution of the GlassFish Tools Bundle for Eclipse
basICColor dragLINK proof - DeviceLink creation for perfect proof printing
Comments