Utilizing WhYDevelop Web Site Technologies