أرسل هذا في رسالة قصيرة: An approach to support incremental software construction and verification in component-based system development