Other projects and software
Some of the third-party tools and environments we're working with
include:
- For metamodelling and software language engineering
-
-
EMF for metmodelling and code generation
-
ATL for rule-based model
transformation
-
USE an environment for writing and checking
UML/OCL, also Octopus
a syntax and type checker for OCL
- For program verification
-
-
The Spec#
programming system - specification, reasoning and dynamic
checking for the .NET platform
-
JML, the Java Modeling Language
for Java program correctness
-
Jass
for simple, light-weight formal methods in Java
- For program analysis
-
-
BCEL for
low-level Java bytecode instrumentation
-
AspectJ and Aspect C++ for code
instrumentation
SDMetrics - an OO metrics tool
that works with UML diagrams.
- For specification
-
Credits
These web pages are based around the Sliqua design, from
the Open Source Web Design site.
|
