Ibragim Gk 1

1. The consideration of semantic gap between design and code
1