Top : Computers : Programming : Languages :
Ada
Categories
Websites
Home of the brave Ada programmers - an Ada resource site.
site exerpt
Ada Home: the Home of the Brave Ada Programmers (HBAP) Guide and enjoy your visit! About Ada Home explains our mission and vision. Ada Home: the Home of the Brave Ada Programmers (HBAP) Magnus Kempe, Editor and Publisher We support the fight against spam. If you receive spam that appears...This web page contains links that allow easy subscribing to many mailing lists that are about the Ada 95 programming language.
site exerpt
Ada 95 Mailing Lists This web page has a list of mailing lists that are on the topic of the Ada 95 programming language. Quick note on how to obtain an Ada compilre for Windows and FreeBSD A Google search can find the latest...Do-While Jones' "Ada in Action" book in several formats.
site exerpt
Ada in Action Do-While Jones book in several formats Jones book in several formats Ada in Action Do-While Jones book in several formats The original ASCII version of Do-While Jones Ada in Action book is available from his site, and is also mirrored on this server. Volunteers have converted...The Ada Information Clearinghouse provides information and resources on Ada.
site exerpt
Ada Resource Assoc s Ada Information Clearinghouse Home Page Click here for the current AdaIC sponsor spotlight. Adaat Work Why Ada? Adain the News HelpWanted Learn Ada Ada Links Compilers Conformity AdaStandards Downloads ARA Search Ada Sites SiteIndex The Ada programming language is designed for embedded systems, safety-critical software,...Describes the approach being taken for the use of Ada when developing high integrity applications.
http://anubis.dkuug.dk/JTC1/SC22/WG9/HRG-High-Integrity-Ada.html
Extensive resource: developer resources, tools; FAQs, links, source code, people, references, books; COM/DCOM, CORBA; Linux, and Windows.
http://www.adapower.com/
Components, libraries, manuals. Organization and book links.
site exerpt
LGL Ada Resources Manual are also available here. Note that these are made available primarily for our students profit; although we do update them from time to time we do not maintain a mirror of the most recent versions of these documents. If...Powerful Testing, Debugging and Development Tools.
site exerpt
OC Systems Improving quality, reliability and availabililty of critical applications. Get data about the performance of your application that isn’t available from your existing tools. Capture nanosecond timing for any code segment. Trace correlated transactions. You define the unique set of data you need for your system. more Speed integration...The Libre software site for Ada developers. Links on Ada web server, compiler and visual debugger.
http://libre.act-europe.fr/
Ada programming resources.
http://www1.acm.org/sigs/sigada/education/
Contains resources, a search, news and clips.
site exerpt
ada best of the web embedded ada L real time profile based on SDL Real Time Developer Studion allows real time software developers to Reduce development time by 50 Write self-documented code Increase quality Debug graphically on target Embedded made easy! eSOL Ports Macromedia Flash Player to...In case you are wondering why people are interested to use Ada as a teaching language, even as the language of choice for a first programming course at universities.
site exerpt
Dirk's Pointers to Ada related information Science are heavily involved in the Ada-Belgium organization; both as founding members (Karel De Vlaminck as board member, Dirk Craeynest as vice-president and official contact person as current board members (Yvan Barbaix and by assisting Ada-Belgium at recent events. Ada...The Ada 95 Trustworthiness Study created a roadmap for the use of Ada 95 in the development of critical applications.
site exerpt
Ada'95 for High Integrity Systems With the rapid deployment of computerized systems throughout society, many organizations are now substantially dependent upon the correct and robust performance of these systems. Failure of computerized systems can result in consequences ranging from inconvenience through to substantial financial or...Ada compilers, benchmarks, bindings, courses, documents, tools and software components at CDROMs (about 1.3G bytes of material).
site exerpt
Ada and Software Engineering Library Verison 2 (ASE2) Website Ada and Software Engineering Library Version 2 (ASE2) Card Catalog Editor: Richard Conn Last Updated: October 2000 This Website Contains the Contents of these ASE2 CDROMs (about 1.3G bytes of material) ASE02_01 November 2000 (Baseline, 1st Disc) ASE02_02 November 2000...Real-world projects powered by Ada.
site exerpt
Who's Using Ada? Here is a list of projects in which Ada is used at least to a significant degree. Please e-mail additions or corrections to me at the above address; I respect the confidentiality of my sources. For more information see the...Study guide for Integrating Object-Oriented Programming and Protect Objects in Ada. Links and resources are available.
site exerpt
Integrating OO and Protected Objects in Ada Integrating concurrent and object-oriented programming has been an active research topic since the late 1980s. There is now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and made it concurrent....Ada95 and Formal Specifications in cTLA+.
site exerpt
Translating Formal Specifications of Transfer-Protocols to Ada95 Translating Formal Specifications of Transfer-Protocols to Ada95 07.09.99 To start the tour, click here Table of Contents Translating Formal Specifications of Transfer-Protocols to Ada95 What is it good for Formal Specifications in cTLA+ Creating a SL-Specification Why Ada95 Transformation Rules...The following picture graphically shows an example of the MTV Builder generated Ada95 API.
site exerpt
Ada95 MTV API The following picture graphically shows an example of the MTV Builder generated Ada95 API. OCU, MTV, MTV Builder, and MBSE are trademarks of Accel Software Engineering. Last updated June 7, 2000...Listing of Reuseable Software Components.
site exerpt
Reusable Software Components This is an index to our column of yearly listing of reuse sources. As always, no recommendation or guarantee by this column is implied. Ada Basis WWW Server Ada-Belgium Archive Ada Compiler Evaluation System (ACES) Ada Information Clearinghouse (AIC) Ada...Ada Archive (AJPO).
site exerpt
Ada Archive Ada95 Projects Database No previous system existed Sector Used In:Army System Technologies:Target System Hardware:WorkstationsDefinition of SLOC:Non-commented, non-blank lines Project Life-Cycle Status:Requirement Development Approach:Classic Method Water Fall Model System Development Standard:DoD-STD-2167A Survey Date:1997-06-14 45th Air Weather Squadron Special Studies Workstation Description: Sophisticated weather modeling...Source for Ada 95 tools and training materials.
site exerpt
Ada 95 Press Home Page Explorer logo to download the best Web browser! You are visitor number to this page Click here to sign our Guest Register Leonid Dulman's Visual Ada Developer Click here to visit our on-line bookstore Watch this space for additional soon-forthcoming...This site includes Ada in the news, press releases...
site exerpt
ARA's Ada Info: Ada in the News Click here for the current AdaIC sponsor spotlight. Adaat Work Why Ada? Adain the News HelpWanted Ada Links Downloads Compilers Conformity AdaStandards Learn Ada ARA Search Ada Sites Site Map Home Ada Market Entails at Least a $5.6 Billion Investment,...Physics & Astronomy - Astrop...
site exerpt
SAL- Other Scientific Fields Physics Astronomy Astrophysical software components written in Ada95 Astrophysical software components written in Ada95 Includes: LTE line synthesis in rotating and pulsating stars Zeeman pattern determination from spectroscopic terms Calculate continuous opacities for Kurucz (and other) model atmospheres on a wavelength and depth grid and many other generic...Interfacing a robot to ADA routines.
site exerpt
Interfacing ATRV-Jr to Ada I which we are currently using for experiments in autonomous robot navigation has a laser range finder, a sonar system, a gyroscope and two motors. While the laser range finder and the gyroscope are connected to serial ports directly, the...This paper is a call to SIGAda members to make a determined thrust to broaden Ada usage in the commercial world.
site exerpt
Kernel Ada for an HDL L contains global declarations NAND device specification NAND device implementation NOR device specification Nor device implementation DFF Specification DFF Implementation Alternate DFF Implementation Testing Program for DFF Full Adder specification Full Adder implementation Alternate Full Adder implementation n-bit adder specification...Comprehensive listing of resources: Links, FAQs, Tutorials, Standards, ...
site exerpt
Cetus Links: 16604 Links on Objects and Components Ada Ada is a high level programming language designed to support the construction of long-lived, highly reliable software systems. Ada was the first internationally standardized OOP language. Ada offers a unique combination of efficiency, real-time control, built-in safety, object orientation, strong...The place to download the public version of the GNAT Ada compiler and related packages.
ftp://cs.nyu.edu/pub/gnat/
Ada reference in the movie Out There.
http://www.acm.org/sigada/news/out_there.html
It provides the Ada-version of the common flex and yacc for GNAT.
site exerpt
Ada The ultimative language for professionals The ultimative language for professionals This page contains links to important Ada-Sides, to some stuff I did years ago and finally a port of Aflex/Ayacc, which provides the Ada-version of the common flex and yacc for GNAT. My most used...A repository of (mostly) free Ada Software.
site exerpt
AdaBasis Basis an acronym for the german phrase Bibliothek anwendungsbezogener Ada Software-Komponenten in Stuttgart is a repository of (mostly) free Ada Software, presented in a way that is (hopefully) easy to use and allows flexible access and effective searching. The software...Tries to promote the Ada programming language, as well as being a good reference site to learn from and a place to see current Ada projects.
http://www.adaworld.com
It is equal to Ada95.
site exerpt
5.1.3 Standardised object-oriented parallelism Ada95 It is well suited for a large variety of applications ranging from embedded systems to scientific computing. Free Ada95 compilers are available for almost every single computing platform. Object-orientation in general and its implementation in Ada95 in particular are unknown...Research into persistent programming languages and systems.
site exerpt
Research into persistent programming languages and systems in recent years has shown that the technology is useful for developing complex software in many problem domains. This paper explores the issues and consequences of adding persistence to Ada95. The persistence extensions...About principles of concurrent and distributed programming.
site exerpt
Concurrent Programming Please write me if you are using these software packages so that I can keep you informed of new versions! jBACI is an integrated development environment for learning concurrent programming by simulating concurrency. DAJ is a tool for interactive execution...