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.
Categories
Object Oriented, Compilers, QA Automation, Computer-Aided Software Engineering (CASE), EducationLicense
BSD LicenseFollow The RESOLVE Project
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of The RESOLVE Project!