5 projects tagged "Software Development"
Jikes RVM (Research Virtual Machine) provides a flexible open testbed to prototype virtual machine technologies and experiment with a large variety of design alternatives. Jikes RVM runs on many platforms and advances the state-of-the-art of virtual machine technologies for dynamic compilation, adaptive optimization, garbage collection, thread scheduling, and synchronization. It is self-hosted, i.e. its Java code runs on itself without requiring a second virtual machine. Most other virtual machines for the Java platform are written in native code (typically C or C++). A Java implementation provides ease of portability and a seamless integration of virtual machine and application resources such as objects, threads, and operating-system interfaces.
OVal is a pragmatic and extensible validation framework for any kind of Java objects (not only JavaBeans). Constraints can be configured with annotations, POJOs, or XML. Custom constraints can be expressed in pure Java or by using scripting languages such as JavaScript, Groovy, or BeanShell. Besides simple object validation, OVal provides certain Programming by Contract features. They can easily be enabled by using the provided AspectJ aspects.
TOPCASED stands for Toolkit in OPen source for Critical Applications and SystEm Development. It is a system and software engineering workshop based on Eclipse. It aims to provide the tools required to go from requirements to the implementation stages. Focused on modeling development engineering, it includes several graphical editors (for ECORE, UML, SysML, SAM, AADL, and more), an OCL rules editor and checker, several code generators (SMUC, UML2C, UML2Java, UML2Python), a document generator, gPM (a ticket tracker), xHDL tools, Tramway (a requirements traceability framework), and more. External tools can be easily connected to the workshop through its API or models.