أرسل هذا في رسالة قصيرة: Validating object oriented formal requirements specifications :