Introduction to Components and Specifications Using RESOLVE Murali Sitaraman Clemson University School of Computing Clemson University Overview Specifications provide…