Formalizing and Building Knowledge Management System for Computer-aided Engineering Analysis and Design Verification