RESOLVE is an integrated specification and programming language 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.
Follow The RESOLVE Project
Rate This ProjectLogin To Rate This Project
Be the first to post a review of The RESOLVE Project!