Generating software from specifications. - Kastens Uwe; Sloane Anthony M; Waite William M (New Delhi Viva Books, 2008)
Keywords: Software-Computers