أرسل هذا في رسالة قصيرة: Mathematical frameworks for component software