JCASE : Java based case tool skeleton - Chen, Ai-Min (1997)