LePUS3 and Class-Z Home Page

Visual representations of evidence should be governed by principles of reasoning: Clear and precise seeing becomes as one with clear and precise thinking.
-- Edward R. Tufte

Codecharts: Roadmaps and Blueprints for Object-Oriented Programs (A. H. Eden with contributions from J. Nicholson) Codecharts: Roadmaps and Blueprints for Object-Oriented Programs (Wiley/Blackwell, 2011)
LePUS3 is a visual object-oriented design description language: a notation for for modelling and visualizing object-oriented programs at any level of abstraction. LePUS3 is tailored to allow tool support in software modelling, fully automated design verification, and software visualization. A diagram in LePUS3 is called a 'Codechart'. Class-Z is the symbolic counterpart to LePUS3: each LePUS3 Codechart has an equivalent Class-Z schema.

Modelling design patterns:

Modelling  programs and class libraries:

Modelling application frameworks

Verification: Sample models and Abstract Semantics for Java 1.4 [.pdf]

Links: