MUHAMMED SALEH MULHEM2022-06-012022-06-014335https://drepo.sdl.edu.sa/handle/20.500.14154/56654en-USDATALAB: A GRAPHICAL SYSTEM FOR SPECIFYING AND SYNTHESIZING ABSTRACT DATA TYPES.Thesis