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.

Project Activity

See All Activity >

License

BSD License

Follow The RESOLVE Project

The RESOLVE Project Web Site

Other Useful Business Software

Mac CRM & Project Management app for small business Mac CRM & Project Management app for small business Icon
Mac CRM & Project Management app for small business Icon

Manage your leads, clients and projects – all in one place. Daylite keeps everyone on the same page.

Stop using frustrating spreadsheets and expensive, clunky CRMs that waste more time than they save. Try Daylite, a better way to keep track of relationships and projects so your team can win more business & get more done.
1/2
Do you and everyone who will be using your CRM use Macs, iPhones & iPads?
2/2
One last question before you visit our site:

How many people in your company will need to use your CRM?

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of The RESOLVE Project!

Additional Project Details

Intended Audience

Science/Research, Education, Developers

User Interface

Command-line

Programming Language

Java

Registered

2007-06-29