|
|
|
|
Elbe
|
|
CMMI Stufe 4
|
|
Elbe ist ein Werkzeug für formale Sprachen.
Es gehört zur Produktlinie Columbo.
|
|
Einzelheiten
Elbe ist ein Editor, Navigator, Symbolersetzer, Druckaufbereiter und
Komnmandoprozessor für eine (vielleicht) große Bandbreite von formalen Sprachen. Mit Elbe lassen sich Quelldateien untersuchen und editieren.
Der Navigator ermöglicht zielgenaues Finden von Textstellen.
Die integrierte Programmierhilfe zeigt Schlüsselwörter und (bei Fortran und Cobol) Variablennamen an.
Download
Formale Sprachen
Isabelle Theorien (*.thy),
Windows Kommandos (*.bat,* .cmd),
GAP algebraische Dateien (*.in),
COBOL (*.cob,*.cbl),
Swift MT940 Formalismus (*.mt),
Fortran (*.ftn),
VHDL (*.vhdl)
Abap (*.abap)
Lex/Yacc (*.lex;*.yacc)
Accent (*.acc)
Ada (*.adb;*.ads)
C (*.c;*.h)
JAVA (*.java)
Perl (*.pl)
REXX (*.rexx)
SPS (*.sps)
MASM (*.asm)
HLASM (*.asm)
PL1 (*.pli)
JSP (*.jsp)
XML (*.xml)
PVS Theorien (*.pvs)
VDM Theorien (*.vdm*)
|
|
|
|
|
|
