Le PUS3
LePUS3 is a language for modelling and visualizing object-oriented (Java, C++, C#) programs and design patterns. It is defined as a formal specification language, formulated as an axiomatized subset of First-order predicate logic. A diagram in LePUS3 is also called a Codechart. LePUS, the name of the first version of the language, is an abbreviation for Language for Pattern Uniform Specification.
Read more about Le PUS3: Purpose, Context, Vocabulary, Tool Support, Design Patterns, Examples