Simple Web-based environment for PHP scripting in programming class
Synthesizing embedded control software from formal specifications
Annotation based API flavored with AOP to handle Android models
A Task Processing Framework for Java
Generating PLC programs from formal specifications
Java-based scientific graphics
A Java Class Library for Active Learning
JFig is a simple, powerful tool to manage application configuration
A modeling tool for software engineers (OO)
Test automate native or hybrid Android apps and the mobile web
The Tina4 Stack, selected tools for making PHP development much easier
Web and mobile application security awareness/training platform
Free software for generating understandable and accurate fuzzy systems
Bind Android views and callbacks to fields and methods
Securly execute untrusted code from within your application.
An object oriented language for concurrent software development