Two cases studies in software analysis and design door M.A. Tas