What Is RESOLVE?

RESOLVE facilitates component-based software engineering using properly conceptualized objects.  It includes
  • a component-based framework in which software = specifications + (composite) realizations
  • a prescriptive discipline for component design;
  • language for describing specifications and implementations of software with properties including maximum generalization, efficiency, and modular verification
RESOLVE is a joint research, education, and technology transfer effort of the Reusable Software Research Groups at The Ohio State University and West Virginia University.

Principles of the RESOLVE discipline have been applied successfully for construction of generic Ada packages and C++ class templates.

Publications

Historical Note:  The name RESOLVE was coined initially as an acronym for REusable SOftware Language with Verifiability and Efficiency.  This acronym is no longer used, though capitalization in RESOLVE remains.



 
This site maintained by Steven Atkinson, with assistance from Murali Sitaraman