Tool Support
The Two-Tier Programming Toolkit can be used to
- create LePUS3 specifications (Codecharts)
- verify automatically the consistency of LePUS3 Codecharts with Java 1.4 programs; and
- reverse-engineer Codecharts from Java source code.
Read more about this topic: Le PUS3
Famous quotes containing the words tool and/or support:
“And if thou wilt make me an altar of stone, thou shalt not build it of hewn stone: for if thou lift up thy tool upon it, thou hast polluted it.”
—Bible: Hebrew Exodus 20:25.
“The sceptics assert, though absurdly, that the origin of all religious worship was derived from the utility of inanimate objects, as the sun and moon, to the support and well-being of mankind.”
—David Hume (1711–1776)