E-Chaser
Je het binnen 5 seconden downloaden.
U ook op de volgende externe downloadkoppeling klikken om te beginnen met downloaden:
http://sourceforge.net/projects/e-chaser/files/E-Chaser.rar/download
Over E-Chaser
E-Chaser is een runtime verificatie systeem voor gedistribueerde Java-RMI applicaties RMI. E-Chaser biedt distributietransparante specificaties en maakt gebruik van Compose* als backend-tool om verificatiemodules voor runtime te genereren.
Gerelateerde programma's
-
ZoolBit Gratis
ZoolBit is een lichtgewicht cross-platform bittorrent client ontwikkeld met XUL en C++. De filosofie is simplistisch en minimalistisch. Het doel is om voor eens en voor altijd de ultieme BT-ervaring te creëren door de beste f
-
mp3playground Gratis
een programma op te nemen / scrobble mp3 (clips) zoals lastfm, youtube met alle benodigde programma's in. Voeg bestaande programma's als lastfm, ubuntu een, youtube om een grote database Plus mobiele scrobble te maken. Weet w
-
SWIDE Ontology Editor Gratis
het stelt de expert van elk domein in staat om een ontologie voor dit domein te maken/wijzigen. Deze applicatie biedt een heleboel functies, zoals het maken of bewerken van ontologie, het uitvoeren van query op ontologie met
-
Kbuti Gratis
KButi is de ButiNET poort naar Linux. Butinet is een windows'client die verbinding maakt met een server en geeft u de mogelijkheid om de Butifarra (traditionele kaarten spel) te spelen met andere spelers aangesloten op de ser
-
bubblegum Gratis
Een kleine daemon die kijkt naar een bestanden toegang, modificatie en inode veranderen tijden en MD5 checksums. Het ondersteunt het loggen naar een bestand of syslogd, het uitvoeren van een opdracht met uitbreidingen van bes
-
Dacapo Scripts Gratis
Dit project is een verzameling python scripts die worden gebruikt voor het analyseren en visualiseren van gegevens uit Dacapo berekeningen, zoals DOS / Projected DOS, het berekenen van het centrum van de d-band, snelle samenv
-
LTC Linux Kernel Performance Project Gratis
Onze missie is om Linux beter te maken door de prestaties van Linux-kernels te verbeteren, met speciale nadruk op SMP schaalbaarheid. We meten, analyseren en verbeteren de prestaties van de kernel, met de nadruk op platformon
-
FaxMaster Gratis
FaxMaster is een PHP gebaseerde webapplicatie die een frontend biedt aan HylaFax. Functies omvatten het verzenden van een enkele fax, bulk fax via CSV importeren, preview voor verzending, ontvanger schatting voor verzending,
-
ZeroChat Gratis
ZeroConf/Rendezvous-aware peer-to-peer instant messenger en chat client voor lokale netwerken.
-
WX-PType Gratis
WX-PType is een eenvoudige Perzische (FARSI) teksteditor geschreven met VB die zal werken in Windows OS. Dit programma gebruik IE als een Perzische teksteditor en kan ook tekstbestanden omzetten in een aantal bruikbare Perzis