RESOLVE is an integrated specification and programminglanguage designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
Blocks is a block-oriented graphical programminglanguage. Programming is simply a matter of dragging and dropping blocks. Blocks can be used as an education language, as an extension language for Java applications or as an autonomous script language.