Tools (Ada)

Tools Sites:

Ada-Utilities A language-sensitive toolset for project-wide quality and standards auditing of Ada code. http://www.grammatech.com/products/au/overview.html 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). http://www.kolumbus.fi/vitali.kaufman/gch/ RHIDE Integrated Develepment Environment that supports Ada on MS-DOS and Linux. http://www.rhide.com/ Ada Source Library Browser Ada source browser at SourceForge. http://sourceforge.net/projects/alibrowse AdaDoc A tool to create a documentation listing in different format from a specification package. http://adadoc.sourceforge.net/ Pascal to Ada95 Translator Ada95 and its predecessor Ada83, uses a syntax very similar to the Pascal language. http://archive.adaic.com/ed-train/baa/datastruct/notes/pascal/ 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. http://www.scitools.com/uada.html Ada-Tools Commercial source code analysis and reverse engineering tools. http://www.scitools.com/ SNiFF+ A source code analysis environment for large applications that may have Ada support. http://www.windriver.com/products/development_tools/ide/sniff_plus/ IBM Rational Ada Developer Interface for AXI An Ada to X/Motif Interface. http://www-306.ibm.com/software/awdtools/developer/ada/interface/ 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. http://www.ghs.com/products/AdaMULTI_IDE.html GRASP An IDE that supports Ada 95 and is able to generate a Control Structure Diagram from the sources. http://www.eng.auburn.edu/department/cse/research/grasp/grasp_main.shtml ICC Ada95 Pretty Printer (ICCFMT) Reads an Ada source file and writes out a formatted version http://www.irvine.com/freebies.html AdaSTAT Static analysis tool for Ada source code. http://www.adastat.com/ Ada-Assured A language-sensitive editor, browser, standards enforcement tool, pretty printer, and code analyzer/transformer for Ada 83 and Ada 95. http://www.grammatech.com/products/aa/overview.html Ada Tools Home of AdaXml and other Ada tools. http://yeo.chat.ru/ada/ada_en.html Visual Ada Developer (VAD) A user interface builder using the Tk bindings. http://ada95.freeservers.com/ 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. http://www.excelsoftware.com/umlforada.html Alibrowse Allows browsing libraries generated by GNAT, including its predefined library. http://alibrowse.sourceforge.net/ AdaTEST 95 A tool provides automated facilities for Dynamic Testing, Coverage and Static analysis in a totally integrated environment. http://www.iplbath.com/products/tools/pt600.shtml Ada utilities Several useful Ada utilities and bindings. http://www.usafa.af.mil/dfcs/bios/mcc_html/ada_stuff.html AdaGIDE Free IDE for the GNU Ada Translator on Windows. http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html 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] http://home.tiscalinet.ch/t_wolf/tw/ada95/adabrowse/ Product Datasheets PolySpace Technologies Automatic run-time error detection. http://www.polyspace.com/product_datasheet/datasheets.htm C2Ada A translator from C to Ada, useful for automatic generation of draft Ada bindings. http://www.funet.fi/pub/languages/c2ada/ ICONIX Commercial tools for Ada Development. http://www.iconixsw.com/AdaDev_Tools.html Alma Object-oriented modelling and code migration between languages. [Open Source, GPL] http://www.memoire.com/guillaume-desnoix/alma/

Tools Related Pages: