Stop to rack your brain, start using process-oriented decision tables!
An FMI-based co-simulation framework.
Computer calculations made easy
Petri net framework for security related modeling and reasoning.
Java graph library
proof verifier for mathematical proofs and documentation generator
Web-based editor for the Gateway Description Language (GDL).
Java weather API that provides uniform access to different sources.
openSCADA® is an open source SCADA system written in JAVA
Additional dictionary files for the NetBeans spellchecker.
BinBase is a software for the automatic analysis of Massspec data from