Knowledge-based software engineering using refine