ECLIPSE plugin

An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Ivano Rigo, Francesca Arcelli Fontana, Claudia Raibulet and Luigi Ubezio
DISCo – Dipartimento di Informatica Sistemistica e Comunicazione
Università degli Studi di Milano-Bicocca, I-20126, Milan, Italy
Download IEEE-NASA SEW 06 >


DB Schema Viewer
DB Schema Viewer is an Eclipse plugin that builds a graphical view of an existing database. Reverse Engineering is performed through JDBC. The most popular databases are currently supported:
MySQL, PostgreSQL, Firebird.
The UI is build around GEF. available on DB Schema Viewer >