Using an analytical formalism to diagnostic and evaluate Massive Open Online Courses | IEEE Conference Publication | IEEE Xplore