Tool support for the Z formal notation
Version 1.6.1
a DSL for type systems, reduction rules, interpreters for Xtext langs
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context
DAOGenerator automatically generates dao classes for Jee web apps
Community Supported Eclipse Visual Editor
Eclipse Plugin to generated PHP classes from existing database schema