Search Results for "insurance"

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.

Structs and Nodes Development for Java. An alternative approach to enterprise-class software development using a message oriented execution model and code generation. Deploys to servlet container + db environment.

xApps,an enterprise universal platform(BPM),facilitates non IT user to build IT solution flexibly by form desinger,workflow designer & report builder etc.(We moved this prject to a new place.

MultiJADS is a domain independent multiagent active design documents shell. It uses multiagent technology to support activities in concurrent and distributed design systems and is based on the Active Design Documents (ADD) approach.

Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.

AdaptiveCells J2EE generates test-beds for benchmarking J2EE performance. They consists of highly customizable EJB cells that can emulate CPU load, memory usage, memory leaks and exceptions. The behaviour of the cells is coordinated from a web front-end.