Graphitti - Ein grapisch orientierter Schnittstelleneditor für Entwurf und Spezifikation.