Tools (Ada)

Tools Sites:

Ada Source Library Browser Ada Source Library Browser: Ada source browser at SourceForge. (Tools) http://sourceforge.net/projects/alibrowse AdaGIDE AdaGIDE: Free IDE for the GNU Ada Translator on Windows. (Tools) http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html Ada-Tools Ada-Tools: Commercial source code analysis and reverse engineering tools. (Tools) http://www.scitools.com/ Pascal to Ada95 Translator Pascal to Ada95 Translator: Ada95 and its predecessor Ada83, uses a syntax very similar to the Pascal language. (Tools) http://archive.adaic.com/ed-train/baa/datastruct/notes/pascal/ ICC Ada95 Pretty Printer (ICCFMT) ICC Ada95 Pretty Printer (ICCFMT): Reads an Ada source file and writes out a formatted version (Tools) http://www.irvine.com/freebies.html Understand for Ada Understand for Ada: An interactive development environment (IDE) tool offering reverse engineering, automatic documentation, code navigation and understanding, metrics, maintenance and cross reference tool for Ada 83 and Ada 95 source code. (Tools) http://www.scitools.com/uada.html Visual Ada Developer (VAD) Visual Ada Developer (VAD): A user interface builder using the Tk bindings. (Tools) http://ada95.freeservers.com/ SNiFF+ SNiFF+: A source code analysis environment for large applications that may have Ada support. (Tools) http://www.windriver.com/products/development_tools/ide/sniff_plus/ GRASP GRASP: An IDE that supports Ada 95 and is able to generate a Control Structure Diagram from the sources. (Tools) http://www.eng.auburn.edu/department/cse/research/grasp/grasp_main.shtml IBM Rational Ada Developer Interface for AXI IBM Rational Ada Developer Interface for AXI: An Ada to X/Motif Interface. (Tools) http://www-306.ibm.com/software/awdtools/developer/ada/interface/ AdaDoc AdaDoc: A tool to create a documentation listing in different format from a specification package. (Tools) http://adadoc.sourceforge.net/ Gch Gch: A tool that checks Ada sources against a given set of rules. It is an ASIS-based tool built on top of the ASIS implementation for GNAT (ASIS-for-GNAT). (Tools) http://www.kolumbus.fi/vitali.kaufman/gch/ Product Datasheets PolySpace Technologies Product Datasheets PolySpace Technologies: Automatic run-time error detection. (Tools) http://www.polyspace.com/product_datasheet/datasheets.htm Ada utilities Ada utilities: Several useful Ada utilities and bindings. (Tools) http://www.usafa.af.mil/dfcs/bios/mcc_html/ada_stuff.html Alibrowse Alibrowse: Allows browsing libraries generated by GNAT, including its predefined library. (Tools) http://alibrowse.sourceforge.net/ Ada Tools Ada Tools: Home of AdaXml and other Ada tools. (Tools) http://yeo.chat.ru/ada/ada_en.html Alma Alma: Object-oriented modelling and code migration between languages. [Open Source, GPL] (Tools) http://www.memoire.com/guillaume-desnoix/alma/ Green Hills AdaMULTI Green Hills AdaMULTI: A complete integrated development environment (IDE) for embedded applications using Ada 95, C, C++, Embedded C++ and FORTRAN. AdaMULTI runs on Windows or UNIX hosts and supports remote debugging to a variety of target environments. (Tools) http://www.ghs.com/products/AdaMULTI_IDE.html RHIDE RHIDE: Integrated Develepment Environment that supports Ada on MS-DOS and Linux. (Tools) http://www.rhide.com/ Ada-Assured Ada-Assured: A language-sensitive editor, browser, standards enforcement tool, pretty printer, and code analyzer/transformer for Ada 83 and Ada 95. (Tools) http://www.grammatech.com/products/aa/overview.html UML Tools for Ada UML Tools for Ada: WinA&D is a UML modeling tool with Ada code generation. WinTranslator generates UML models from existing Ada code. Together WinA&D and WinTranslator provide complete round-trip engineering of Ada code from UML based design. (Tools) http://www.excelsoftware.com/umlforada.html C2Ada C2Ada: A translator from C to Ada, useful for automatic generation of draft Ada bindings. (Tools) http://www.funet.fi/pub/languages/c2ada/ ICONIX ICONIX: Commercial tools for Ada Development. (Tools) http://www.iconixsw.com/AdaDev_Tools.html AdaTEST 95 AdaTEST 95: A tool provides automated facilities for Dynamic Testing, Coverage and Static analysis in a totally integrated environment. (Tools) http://www.iplbath.com/products/tools/pt600.shtml Ada-Utilities Ada-Utilities: A language-sensitive toolset for project-wide quality and standards auditing of Ada code. (Tools) http://www.grammatech.com/products/au/overview.html AdaBrowse AdaBrowse: Tool to generate extensively hyperlinked HTML or XML documentation from Ada sources (library unit specifications). Uses ASIS. Generated XML can be used to produce documentation in other formats. [Open source, GPL] (Tools) http://home.tiscalinet.ch/t_wolf/tw/ada95/adabrowse/ AdaSTAT AdaSTAT: Static analysis tool for Ada source code. (Tools) http://www.adastat.com/