Search Results for "macos linux os"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

"Next Generation Programming - Programming Without Coding Software" is a drag-drop wizard for creating simple or complex applications without writing any programming language code The Software is coded/designed with "Java Programming Language" for novice/expert programmers; Programmers can write softwares with visual tools : drag-drop components;visual editors... Programmers can use the software to compose of simple/complex applications : Database programs, circuit design, generate...

SQL-Admin is a tool entirely written in Java. It uses JDBC and swing . Admin offers a SQL-Monitor, Data-Export, Data-Import, dynamic forms, guided Query, DML functions and data selection. It 's code-generator generates OO-Wrapper and SWING-GUI.

APKRepatcher helps you to modify an existing apk using a simple user friendly GUI. It lets you edit java/smali code from an APK and rewrite the changes back to the modified signed APK. Additionally, it provides you option to convert Dex, Jar, Class, Smali, Class from one format to another. APKRepatcher makes use of dex2jar, jadx, rsyantaxtextarea, zip4j, apktool

Filler Studio for any kind of automation based on Java for Windows,Linux,Mac. Automation for Web Applications and Desktop Applications and OS itself also. Automation for IRCTC. Key Replacement Utility,Print Screen Utility are also included. Video tutorials are available on youtube. List Of Utilities in Filler Studio? Filler contain List of Utility use to Deduct Repetitive task in computer.

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

A Moderne é uma ferramenta que a apoia a especificação e execução de processos de desenvolvimento de software que usam as abordagens MDA (Model Driven Achitecture) e TDM para a construção e teste de software. A especificação dos processos na Moderne é baseada em metamodelos que estendem os conceitos do SPEM para dar suporte a aspectos específicos de processos MDA e TDM (para mais informações sobre os metamodelos estendidos e o SPEM, ver seção SPEM). A ferramenta possui dois módulos: o...

SILENT is a Scratch modification that interfaces with LEGO MINDSTORM NXT 2.0 robot. It's based on Scratch 1.4.2, developed in JAVA, Squeak and Bash scripting. It's supported by Linux and Windows XP/7, in which it was tested. It required JAVA>=6. Easy to setup and easy to learn! Please leave your review to help me to improve it!

Allows editing of any size file in hexadecimal, decimal and ASCII. A great tool that allows you to edit and analyze the contents for either the data or resource fork of any type of file. 68K, PPC and Carbon run on MacOS 7-9 and X.

Survey coffeeBeans are Swing based JavaBeans for easy component based MVC application development

Build around JDBC and XML, this tool allows you to maintain visual repesentations of a database's layout, edit table's data, generate code to bind objects to tables, and export data in XML format to easely export data from one database to another.

UIDiagram is visual modeling tool designed for fast creating GUIs targeted to mobile applications based on Web Services. UIDiagram is a part of Istar project. For more information visit project web site.

UBIQLIPSE is a plug-in for Eclipse that provides a WYSIWYG editor for the creation of UIQ 2.1 GUIs. UBIQLIPSE maintains an XML model of the GUI and converts this model into Symbian C++ code on demand, using an existing tool developed by Symbian.

The only -complete- XUL/embedded scripting solution for Java. JFCML supports not only AWT and Swing; but any class accessible to Java's ClassLoader. Also, most major scripting languages, including JavaScript, BeanShell, Jython, Jacl (Tcl), JRuby, more.

Commonclipse is an eclipse plugin for jakarta commons-lang users. It features automatic generation of the following methods using commons-lang builders: toString(), hashCode(), equals(Object), compareTo(Object).

EasyStruts provide advanced support for developing Struts web applications with Eclipse . keywords: MVC, Struts, Eclipse, Java

Set of Java packages to apply Genetic Algorithms to any kind of problem. Various genetic operators are implemented and an example shows of how the system could be applied to digital circuit evolution.

Visual DB Script is an editor PHP,ASP,HTML(can support other languages) that integrate the functionally of a Database Manager (like Access or MySQL). It supports Scripting Developers with specifical SQL commands and an SQL Query Designer

Universal UI is an open development environment that allows the creation of user interfaces in multiple programming languages. The application classes define a framework that is subclassed by a developer and tailored for language specific output.

A very simple utility to design Java Swing based gui.

Open QUB is a tool where developers easily can create user interfaces and generate source code for the UIQ 2.1 platform (running Symbian OS). The tool is developed in Java. Version 1.00 of Open QUB is, however, only system tested for the Windows platform

This is java State Machine Framework for all OS platforms. The framework is for modeling any event processing system as a state machine. This aims to separate the state transition and event handling logic from the business logic and let developers conce

The purpose of the EPAL Scenario Testing System is to provide a Graphical User Interface (GUI) that gives the EPAL user an easy-to-use tool for sending valid or invalid test scenarios to the EPAL Conformance Engine.

A model view controller implementation for http using java. Allows developers to create multiple views to data reusing the same controllers. Currently views supported are any character based format. Future versions will include swing, and web services.

The purpose of this project is to modify SmartEiffel to allow it to be used to create applications for mobile device platforms such as Symbian, BREW, and J2ME. Currently the codebase is based on SmartEiffel 1.0, but we are looking into moving over to Sma