Search Results for "software auth program"

Work Case Toolkit is a tool that provides variant based program's execution. Our main goal is to define an API that we can use embedded into any Java application to support dynamic execution based on variant flows. The variants are controlled by a graph decision using features diagrams relationships. The project was originally planned in 2005 to support Model Driven Architecture OMG approach, focusing specially on the management of architectural changes and models transformers. The main...

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.

Reverse Engineering Java Source to Program Structure Graph represent of relation of Class, Method , Field and Referred of Member

jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).

JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.

ActivityScript takes an activity diagram (created with a UML tool) and executes it's contents. The content of Activity boxes are executed, the Guards of a Decision box are evaluated to control program flow and Fork boxes initiate new threads.

Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.

Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .