UmbraExplanation

WikiInclude(UmbraDescription)

In addition to the modification of bytecode programs, Umbra supports viewing, adding, deleting and modifying specifications written in the Bytecode Modeling Language (BML), a counterpart of JML at the bytecode level.

Version: 2 Time: Tue Apr 1 13:17:30 2008 Author: dcochran (dcochran) IP: 193.1.132.32