Using high-level tools to implement software engineering projects | IEEE Conference Publication | IEEE Xplore