Anfonwch hwn fel neges destun: Mathematical frameworks for component software