أرسل هذا في رسالة قصيرة: Modularity and Functional Correctness Evaluation of Design Patterns