Search Results for "insurance java"

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.

CZero is an Open Source Platform for Adaptive Case Management, developed to ease the creation of advanced solutions to support relations between documents, records, people, and processes, ensuring compliance with government regulations, industry standards, and internal company procedures, according to the European Digital Agenda guidelines. Czero framework, based on Java environment, integrate the most modern solutions like OSGI, CMIS, WSS, LDAP, enabling designer and developers to build,...

The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.

pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.