 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
SPARK, SPADE high-integrity software development products; annotated Ada subset supports developing software for uses where correct operation is vital for safety or business integrity; versions based on Ada 83/95. [Praxis Critical Systems Ltd.]
Sponsored Links:
|
| URL: |
http://www.sparkada.com/
|
| Title: |
SPARKAda - Homepage |
| Description: |
Computers, Programming, Languages, Ada - Spark. SPARK, SPADE high-integrity software development products |
| Specialized in: |
|
|
|
|
|
SIGAda (Popularity:  ): ACM Special Interest Group on Ada: information on SIGAda organization and pointers to current information and resources for the Ada ...
Ada Home (Popularity: ): Home of the brave Ada programmers - an Ada resource site.
Ada in Action (Popularity: ): Do-While Jones' "Ada in Action" book in several formats.
AdaIC (Popularity: ): The Ada Information Clearinghouse provides information and resources on Ada.
High Integrity Ada (Popularity: ): Describes the approach being taken for the use of Ada when developing high integrity applications.
AdaPower.com (Popularity: ): Extensive resource: developer resources, tools; FAQs, links, source code, people, references, books; COM/DCOM, CORBA; Linux, and Windows.
LGL - Ada Resources (Popularity: ): Components, libraries, manuals. Organization and book links.
OC Systems (Popularity: ): Powerful Testing, Debugging and Development Tools.
GNAT Libre Software Developers (Popularity: ): The Libre software site for Ada developers. Links on Ada web server, compiler and visual debugger.
Ada Programming Language Resources for Educators and Students (Popularity: ): Ada programming resources.
|
|
Popular Sites |
|
OC Systems (Popularity: ): Powerful Testing, Debugging and Development Tools.
Ada Home (Popularity: ): Home of the brave Ada programmers - an Ada resource site.
SIGAda (Popularity: ): ACM Special Interest Group on Ada: information on SIGAda organization and pointers to current information and resources for the Ada ...
Ada in Action (Popularity: ): Do-While Jones' "Ada in Action" book in several formats.
AdaIC (Popularity: ): The Ada Information Clearinghouse provides information and resources on Ada.
|
|
Related Press |
|
As U.S. Federal Debt Breaks $12 Trillion, Group Launches Drive for Balanced Budget Amendment; (Popularity: ): With the United States Federal debt rising above $12 trillion this week, and the U.S. Treasury auctioning off a record-setting ...
Consumer Reports Index: Interest in Buying Personal Electronics Is Up at Start of Ho-Hum Holiday Shopping Outlook (Popularity: ): With just a little more than two weeks to go until the traditional Black Friday shopping blitz, consumers are showing ...
'Fresh' Ideas for a Family Tradition (Popularity: ): More than 40 million Green Bean Casseroles are served every year in the U.S. The Green Bean Casserole is an ...
Maclaren USA Recalls to Repair Strollers Following Fingertip Amputations (Popularity: ): The U.S. Consumer Product Safety Commission, in cooperation with the firm named below, today announced a voluntary recall of the ...
Atari to Ship Star Trek Online on February 2, 2010 (Popularity: ): Atari, Inc., one of the world's most recognized videogame publishers, and Cryptic Studios(TM), creators of the acclaimed Champions Online, City ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
