Eclipse-based IDE for design verification tasks
DVKit provides an Eclipse-based integrated development environment (IDE) for common design-verification tasks, such as developing SystemVerilog, C++, TCL, Python, and shell code
Repository for dependencies between software design artefacts
EMFTrace extends the EMFStore repository by elicitating dependencies between related models of different modeling and programming languages. The explicit recording and modeling of different types of dependencies as traceability links shall support evolutionary changes by impact analysis, early evaluation of quality flaws, and better comprehension. It is an open source project to support the practical application of research results regarding development methods for evolution of software architectures and for software reengineering. EMFStore is used for integrating models and source code from different tools and vendors, while EMFTrace provides means for dependency detection, dependency visualization, and change impact analysis.
An enhanced Simulator based on Agent Grid Repast.It has some bugs cleared from Agent Grid Repast and has enhanced features on Group Selection Policy.
Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.
iGROM helps you with developing programs in languages such as DLV or smodels. Can be used either as stand-alone or as a plugin to Eclipse. You can also extend it to other similar languages by only writing a parser and several support classes.