Stéphane Sotèg SoméABDULAZIZ SALEH M ALGABLAN2022-05-192022-05-1930384https://drepo.sdl.edu.sa/handle/20.500.14154/12725A Visual Notation and an Improvement for the Syntax of Larman’s Operation ContractsThesis