UPPAAL

UPPAAL 4.0.6

Uppaal is een geïntegreerde tool-omgeving voor het modelleren, validatie en verificatie van real-time systemen gemodelleerd als netwerken van getimede automaten, uitgebreid met types data (begrensd gehele getallen, arrays, enz.).Uppaal CORA is een tak van...

iogen

iogen 3.1p0

Iogen is een I / O-generator. Iogen vorken kind processen die elk draaien een mix van leest en schrijft. Het idee is om sterk gefragmenteerde bestanden om de hardware lijden zoveel mogelijk geworden.Deze tool is gebruikt om bestandssystemen, drivers,...

LAMPcheck

LAMPcheck 0.1.1

LAMPcheck software is een eenvoudige open source PHP pre-installatie script dat LAMP ontwikkelaars kunnen configureren en verpakking met hun eigen projecten als een pre-installatie testen. Eindgebruikers kunnen dan gebruik maken van LAMPcheck hun LAMP...

AceUnit

AceUnit 0.7.0

AceUnit (Advanced C en Embedded Unit): een comfortabele C code unit test framework. AceUnit is JUnit 4.x stijl, eenvoudig, modulair en flexibel.Dit project kan worden gebruikt in resource beperking omgevingen, bv embedded software ontwikkeling Wat is...

Jensor

Jensor 1.8

Jensor is een licht-gewicht, low-overhead Java profiler volledig geschreven in Java. Het is gebouwd op ByteCode Instrumentation (BCI) technologie. Jensor biedt innovatieve analyse technieken die helpen bij het opsporen en knelpunten in Java-toepassingen...