Synthesizing embedded control software from formal specifications
Simple API for JADE-based Simulations
Moved to GitHub: https://github.com/makumba
Sahi is a web automation testing tool focused on testers
Use Java bean as model of web page, reference beans in hyperlinks
Template for AspectJ, by which you can trace back the method call.
Platform for creating workflow based systems like DMS, CMS or CRM.
A java packet sniffer and forger that wraps pcap libs.
Commonly used utility classes (java.util.collection related)
Problemless Grammar and Parser in Java
Quickly Search THOUSANDS of Archives!
Simple Web-based environment for PHP scripting in programming class
State Machine Diagram Plug-In for Eclipse/CDT
zk authorization module
A Task Processing Framework for Java