Support variant based Javaprogram execution, adapted to support MDE.
...The main goal of the program is to design transformation chains based on features diagram variants. The model transformers orchestration is obtained by using Features Diagrams and Transformation Diagrams (a feature that must be re-implemented to support of a Java drawing API). Any help is welcome.
Given that we have some good results in running dynamic transformation chains, we decided to extend the tool to support another goal: a Java API to support variant based program's execution.
...
Write, check, index and diagram Z specifications in Microsoft Word.
...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.
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Javaprogram, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
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 Javaprogram and requires JDK 1.4 or later.
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 .