Search Results for "releases"

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 binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

...This project also provides Eclipse plugins for electronic submission and feedback services directly from the Eclipse IDE. We now use github for source code control (https://github.com/web-cat), although all file releases are still provided here through SourceForge. The CVS repository here is for archival purposes only.

...HermeneutiX is now part of SciToS (the scientific tool set). Starting with version 2.0.0, HermeneutiX can be found on GitHub. Please check out the release summary: https://github.com/scientific-tool-set/scitos/releases For an introduction, check out this video: https://youtu.be/uQjewyG0Ad8 PS: To run a Java application such as HermeneutiX (i.e. SciToS) you need a Java Runtime Environment (JRE). HermeneutiX is currently built to be compatible down to JRE version 6. You may download the current JRE here: http://www.java.com/en/download

Open Source Digital Asset Management system that enables services for access, provision, stewardship and re-use of digital assets with a focus on educational and research materials For Support, please see: https://wiki.lyrasis.org/display/DSPACE/Support RELEASES: The most recent releases are now distributed via GitHub: https://github.com/DSpace/DSpace/releases MAILING LISTS: Mailing lists have all been moved to Google Groups: https://wiki.lyrasis.org/display/DSPACE/Mailing+Lists

The Repast Suite is a family of advanced, free, and open source agent-based modeling and simulation platforms that have been under continuous development for over 20 years. Current source code and releases are hosted on Github https://repast.github.io/

IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.

To download GrowIEP, please visit the website below! We no longer publish releases to sourceforge! An IEP management solution, based on the illinois state forms, created by DuPage High School District 88. Grow IEP is web-based and can connect directly to Powerschool's SIS system.

ATL: ASA Tutor Locator reduces tutor load by using transient ad-hoc peer communities that are seeded with document fragments from the learning network. This initial release has been implemented as a Moodle plugin, but is no longer been maintained. New releases are implemented as Liferay portlets

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

ArgoUML is hosted at http://www.argouml.org, please go there for all file releases and resources. Thanks!