Vdm
The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 3.16 MB | Download (60): Overture: Formal Modelling in VDM Download |
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 1.13 MB | Download (58): VDMJ Download |
SPARK Vintage Drum Machines brings 30 legendary drum machines to the musician. Intuitive and powerful, this software is much more than your typical sample player. By mixing high quality samples and virtual analog synthesis (based on TAE?*A*), Spark Vintage Drum Machines manages to capture the...
Platforms: Mac
License: Shareware | Cost: $99.00 USD | Size: 173.41 MB | Download (57): Spark VDM Download |
Modern computers' power is enough to let you run numerous applications at the same time. You can surf the Internet, listen to the music and chat with your friends at the same time, but the more tasks you launch, the harder it gets to manage them. That's when you might start thinking of getting...
Platforms: Windows
License: Shareware | Cost: $15.00 USD | Size: 1.37 MB | Download (483): AltDesk Download |
This package will help you install the latest Microsoft ForeFront Client Security definition updates.
mpam-fe.exe
Antimalware Full + Engine package (for x86, amd64, ia64)
Contains engine (mpengine.dll), mpasbase.vdm, mpasdlta.vdm, mpavbase.vdm, mpavdlt.vdm, mpsigstub.exe.
mpam-d.exe...
Platforms: Windows
License: Freeware | Download (522): Microsoft Security Essentials & ForeFront Client Security Definition Updates Download |