Framework, Application construction set and M(umps) - API
In the MINISYS environment it is possible to create in a few hours very complex business software like invoice programs, bookkeeping programs and many other. The main programming language is M (ISO-M).
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.