Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of 2020, the standard, called Ada 2012 informally, is ISO/IEC 8652:2012.
In computing, a compiler is a computer program that translates computer code written in one programming language into another language. The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a lower level language to create an executable program.
The Apollo Guidance Computer (AGC) is a digital computer produced for the Apollo program that was installed on board each Apollo command module (CM) and Apollo Lunar Module (LM). The AGC provided computation and electronic interfaces for guidance, navigation, and control of the spacecraft.
dBase was one of the first database management systems for microcomputers and the most successful in its day. The dBase system includes the core database engine, a query system, a forms engine, and a programming language that ties all of these components together. dBase's underlying file format, the .dbf file, is widely used in applications needing a simple format to store structured data.
HAL/S is a real-time aerospace programming language compiler and cross-compiler for avionics applications used by NASA and associated agencies. It has been used in many U.S. space projects since 1973 and its most significant use was in the Space Shuttle program. It was designed by Intermetrics in 1972 for NASA and delivered in 1973. HAL/S is written in XPL, a dialect of PL/I. Although HAL/S is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification, and support of aerospace and other real-time applications. According to documentation from 2005, it was being maintained by the HAL/S project of United Space Alliance.
Looking Glass Studios, Inc. was an American video game developer based in Cambridge, Massachusetts. The company was founded by Paul Neurath with Ned Lerner as Blue Sky Productions in 1990, and merged with Lerner's Lerner Research in 1992 to become LookingGlass Technologies. Between 1997 and 1999, the company was part of AverStar, where it was renamed Looking Glass Studios. Following financial issues at Looking Glass, the studio shut down in May 2000. Notable productions by Looking Glass include the Ultima Underworld, System Shock and Thief series.
Synopsys is an American electronic design automation company that focuses on silicon design and verification, silicon intellectual property and software security and quality. Products include logic synthesis, behavioral synthesis, place and route, static timing analysis, formal verification, hardware description language simulators, and transistor-level circuit simulation. The simulators include development and debugging environments that assist in the design of the logic for chips and computer systems. In recent years, Synopsys has expanded its products and services to include application security testing. Their technology is present in self-driving cars, artificial intelligence, and internet of things consumer products.
Draper Laboratory is an American non-profit research and development organization, headquartered in Cambridge, Massachusetts; its official name is The Charles Stark Draper Laboratory, Inc. The laboratory specializes in the design, development, and deployment of advanced technology solutions to problems in national security, space exploration, health care and energy.
The Production Quality Compiler-Compiler Project was a long-term project led by William Wulf at Carnegie Mellon University to produce an industrial-strength compiler-compiler. PQCC would produce full, optimizing programming language compilers from descriptions of the programming language and the target machine. Though the goal of a fully automatic process was not realized, PQCC technology and ideas were the basis of production compilers from Intermetrics, Tartan Laboratories, and others.
Atego was a software development corporation headquartered in the United States and the United Kingdom with subsidiaries in France, Germany, and Italy. Formed from Interactive Development Environments, Inc. and Thomson Software Products, it was called Aonix from 1996 until 2010. It was acquired by PTC in 2014.
John Royer "Jack" Garman was a computer engineer, former senior NASA executive and noted key figure of the Apollo 11 lunar landing. As a young specialist on duty during the final descent stage on 20 July 1969 he dealt with a series of computer alarms which could have caused the mission to be aborted.
Stardent Computer, Inc. was a manufacturer of graphics supercomputer workstations in the late 1980s. The company was formed in 1989 when Ardent Computer Corporation and Stellar Computer Inc. merged.
Alsys, SA. was a software development company created to support initial work on the Ada programming language. In July 1995, Alsys merged to become Thomson Software Products (TSP), which merged into Aonix in 1996.
Margaret Heafield Hamilton is an American computer scientist, systems engineer, and business owner. She was director of the Software Engineering Division of the MIT Instrumentation Laboratory, which developed on-board flight software for NASA's Apollo program. She later founded two software companies—Higher Order Software in 1976 and Hamilton Technologies in 1986, both in Cambridge, Massachusetts.
DDC-I, Inc. is a privately held company providing software development of real-time operating systems, software development tools, and software services for safety-critical embedded applications, headquartered in Phoenix, Arizona. It was first created in 1985 as the Danish firm DDC International A/S, a commercial outgrowth of Dansk Datamatik Center, a Danish software research and development organization of the 1980s. The American subsidiary was created in 1986. For many years, the firm specialized in language compilers for the programming language Ada.
Robert Berriedale Keith Dewar was an American computer scientist and educator. He helped to develop programming languages and compilers and was an outspoken advocate of freely licensed open-source software. He was a cofounder, CEO, and president of the AdaCore software company. He was also an enthusiastic amateur performer and musician, especially with the Village Light Opera Group in New York City.
Software is a set of programmed instructions stored in the memory of stored-program digital computers for execution by the processor. Software is a recent development in human history, and it is fundamental to the Information Age.
TeleSoft, Inc. was an American software development company founded in 1981 and based in San Diego, California, that specialized in development tools for the Ada programming language.
The Women of Apollo is a book written by Robyn C. Friend, illustrated by David Katz, about 4 women who participated in the United States space program during the Apollo Program.
