A Webmail system based on IMAP.
Creates UML class and sequence diagrams from declarative specifications.
