Search Results for "code eclipse"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

If you have Windows or a MAC , you can setup and run Statistics Tables with very little effort. You can use jdistabs in place of paper Probability Tables to get electronic probabilities. You can also download the Java code used to create this APP. There are 2 zips. One is for a working windows APP, and the other with complete code and file structure. I used Eclipse to develop the APP. Click the link you want to download to get the Statistics Tables Windows.exe or OS X zipped files. After saving Windows file, just click the jdistabs_win.exe file to install. ...

Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac...