Back to Results
First PageMeta Content
Procedural programming languages / Ada programming language / SPARK / Ada / Exception handling / Design by contract / C / Stack / Subroutine / Software engineering / Computing / Computer programming


Safe and Secure Software An Invitation to Ada
Add to Reading List

Document Date: 2012-03-22 11:40:57

Open Document

File Size: 690,41 KB

Share Result on Facebook

Country

United States / /

Event

Man-Made Disaster / /

IndustryTerm

banking / software components / severe security-critical applications / correct software / safety-critical and security-critical applications / front-end processor / software developer / Good programming tools / software contract / integrity systems / software process / avionics applications / severe safety-critical applications / distinct tool / safety-critical applications / /

Organization

Federal Aviation Administration / /

Position

software developer / writer / /

ProgrammingLanguage

Ada / Algol 60 / /

PublishedMedium

the Computer Journal / the Communications of the ACM / /

Technology

front-end processor / /

SocialTag