Codecharts: Roadmaps and Blueprints for Object-Oriented Programs (front cover) Codecharts: Roadmaps and Blueprints for Object-Oriented Programs (Wiley/Blackwell, 2011)

References

Book (available online)

Codecharts: Roadmaps and Blueprints for Object-Oriented Programs. Wiley/Blackwell, 2011.

Peer-reviewed publications

Tool support in LePUS3 and Class-Z

The Two-Tier Programming Toolkit: Tool support in software modelling, verification and visualization

PhD dissertations

Technical reports

Previous versions (LePUS, LePUS2)

Related bibliography

Related projects

Formal specifications

Other Bibliography