Christian J. Wild

• Analysis and synthesis of abstract data types through generalization from examples
• Development of a case tool to support decision based software development