Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus

Neuigkeiten


Aktuelles
... mehr »

Motto des Tages
... mehr »

Web Services
... mehr »

Elbe 0.99 aktuell
... mehr »

Agenda 1.73
... mehr »

Forschung weltweit
... mehr »



Jenseits des Üblichen ....
elbe

 

The Elbe Tool  0.99.1 

Elbe is a tool for formal languages.









Properties

Elbe is a simple editor, navigator, symbol expander, print previewer and batch runner for (possibly) a wide variety of formal languages.

Download

deutsch   english   more info 

Keywords

editor, batch runner, pretty printer, previewer

Current Languages

Isabelle theories (*.thy), Windows batch (*.bat,* .cmd), GAP algebraic files (*.in), COBOL (*.cob,*.cbl), Swift MT940 formalism (*.mt), Fortran (*.ftn), VHDL (*.vhdl)

™Elbe ist ein Warenzeichen der Context IT GmbH

Fußnote
 Impressum  | Ethik und Gesetz  | Haftungsausschluß  | Kontakt  | Seitenstruktur | Drucken  | © 2010 Context IT GmbH