EiffelCase is a graphical object-oriented analysis and design workbench
covering the full life cyclefor software modeling, architectural design
and user-developer communication. EiffelCase assists inpreparing, documenting
and tracking identified object- oriented system elements and theirrelationships
from preliminary specifications to the programming phase. EiffelCase also
helps tobuild and display multiple views: type charts, graphics, formal
Interactive Software Engineering Inc.