Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.
ZeroKode is a Web-based visual development tool for authoring ZK Ajax pages with drag-and-drop. ZeroKode was originally developed by Chris Spiliotopoulos, Greece.
JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.
ClassReach is a utility to identify unused Java classes and methods. Once identified, such things can be removed from the code, hopefully simplifying the system.
Phido (Pronounced Fido) is an Integrated Desktop Environment for PHP, made with Java for Cross-platform compatiability. It features a debugging mode to view your web pages in action, and tab capabilities for editing multiple files.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
A very flexible and extendable Java layout engine that uses XML to render Java user interface components and separate the data model from visualization.
As a player, you may want to play a game which can be customizable and enjoyable. As a game developer, you may want to develop a game more efficiently and enjoy the process of development. Please join in us and make the fertile game soil.
Hibernate Injector is an extension which enables dependency injection for managed entities. The motivation has come from the need to enable rich domain models, using Hibernate. HInjector works with Pico, Spring, Guice and even with your own DI provider.
Excellent addition to any application, the ProjessUpdater Application Extension (PAE) can be applied to assist in end-user updates and downloads from a centralized location. The suite consists of an open-source client and a server.
Web 2.0 environment for collaborative and extensible design of object interconnection diagrams like UML, networks, circuits and other graph based diagrams. Client: Web-based (AJAX / Dojo Toolkit) Server: JEE Application (Struts Framework)