Einzelheiten
Die Software Columbo wird ein interaktives Werkzeug zur Entwicklung und Untersuchung anderer Software sowie zur statischen Analyse prozeduraler Programme in den Sprachen C,  JAVA oder COBOL. . Weitere Sprachen sind ab Version 2 geplant. Eine Analyse mit Columbo geht weit über statistische Aussagen hinaus. Sehen Sie sich die verschiedenen Perspektiven und Views weiter unten an. [etwas mehr erfahren Sie auch hier oder aus der Literaturliste bzw. der Liste der besuchten Bibliotheken]. Der Stand des Projektes ist m.E. aus der Geschichte und den Tagungen ersichtlich. Hier steht die Standard-Edition namens Elbe zum Download   bereit.

Theorie an der UHH gelesen und am DPMA dokumentiert.

Stichworte statische Analyse, CAV, Code Mining, Reengineering, Nachdokumentation

*Columbo war ein registriertes Warenzeichen der JDD Software.

Ein Vorhaben unvorstellbar hoher Allgemeinheit.mit einer erdrückenden Komplexität.