AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
71	Frédéric Pothon ACG Solutions DO-178C/ED-12C versus DO-178B/ED-12B Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-10-25 12:08:54 Safety Electronics Computing Software DO-248B DO-178C DO-178B Integrity Software testing Software requirements Avionics Embedded systems
72	< technology corner > ParaSail: Less Is More when Parallel Programming for Multicore As part of the merger between SofCheck and AdaCore, the programming language ParaSail will now be under AdaCore auspices. ParaSail (Pa Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-06-12 08:29:17 Ada programming language AdaCore Ada GNAT SPARK A Sharp Design by contract Free software Parasailing Computing Software engineering Computer programming
73	an AdaCore Publication Autumn 2010 www.adacore.com newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:47 Computer programming AdaCore GNAT Programming Studio GNAT Ada SPARK VxWorks A Sharp Robert Dewar Computing Ada programming language Software engineering
74	adacore_spr08_11x17_5h.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-01-25 11:57:53 Ada programming language AdaCore SPARK GNAT Programming Studio Ada GNAT A Sharp Subroutine Static program analysis Computing Software engineering Computer programming
75	EAL5 Demonstrator: Summary Report Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-01-20 12:19:49 Evaluation Systems engineering Evaluation Assurance Level Common Criteria Biometrics SPARK Reliability engineering Altran Praxis Operating system Computing Security Computer security
76	gnatpro_news_us_0405_p1.pdf Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:01 AdaCore GNAT Ada A Sharp Robert Dewar Integrated development environment Free software Pro Tools GNU Compiler Collection Computing Ada programming language Software
77	< product spotlight > GNAT Pro Safety-Critical for Railway Applications newsflash Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-07-02 09:33:58 Computer programming AdaCore SPARK Ada GNAT Programming Studio GNAT A Sharp Static program analysis Design by contract Computing Software engineering Ada programming language
78	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
79	Microsoft Word - EADS.doc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-10-27 17:50:06 EADS Aviation AdaCore GNAT Future Strategic Tanker Aircraft Airbus A Sharp EADS CASA ARINC Computing Ada programming language Software
80	an AdaCore Publication Spring 2011 www.adacore.com newsflash Airbus Military Using GNATcheck Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:37 Computer programming AdaCore GNAT Ada A Sharp DO-178B Code coverage DO-178C GNU Compiler Collection Computing Software Ada programming language

UPDATE