Teaching and learning modeling and specification based on mobile devices and cloud | IEEE Conference Publication | IEEE Xplore