Apache Cayenne, Wicket, CXF, GWT, EJB examples as a framework
Data Access Layer 4 Java
C++ Tcl interface library
Functional programming in natural language
SPIN-based Eclipse Model Checking Plugin
Web application using Symfony2 Framework
Generate an executable state machine from a high level language.
Multi-User Database Interpreted BASIC Environment