JDave ist ein verhaltensgesteuertes Entwicklungs-Framework, das eine einfache Möglichkeit bereitstellt, das Verhalten von Java-Klassen zu spezifizieren. (non)