Anfonwch hwn fel neges destun: Specification of software systems /