Specification and reasoning in SE projects using a Web IDE | IEEE Conference Publication | IEEE Xplore