Resolve Framework, Language, and Discipline for Component-Based Software

Under ARPA sponsorship, researchers at The Ohio State University have developed RESOLVE, a new paradigm for design and implementation of component-based software systems. RESOLVE includes a formal specification language for component-based software with advanced features for composition of components and has a provably sound and relatively complete modular proof system. The RESOLVE discipline is a set of very specific principles to guide design and development of reusable and verifiable software components. Demonstration libraries of RESOLVE/Ada and RESOLVE/C++ components have been developed. Studies showing statistically significant productivity and quality advantages of using RESOLVE have been conducted and published.