AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
21	Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ Javier Miranda1 and Edmond Schonberg2 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:52:58 Object-oriented programming Virtual method table Pointer Q Thunk Objective-C Interface Ada Virtual function Software engineering Computing Computer programming
22	Télécom Robotics French Cup of Robotics 2012 The event The 2012 edition of the French Cup of robotics took place at La Ferté Bernard (Sarthe). From May 16th to May 19th, the whole Telecom Robotics team - the Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-07-04 10:34:01 Robot AdaCore Computing
23	Microsoft Word - dynamic_plugin_loading_with_ada.doc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:26 Dynamic-link library Library MinGW Windows API Objective-C Windows Registry Software Computing Plug-in
24	Microsoft Word - Coverage_and_Free_Software_Gasperonidoc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:49:09 Software testing Gcov Code coverage DO-178B QEMU GNU Compiler Collection Compiler optimization C Hardware virtualization Software Computing Programming language implementation
25	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:19 Functional languages Cross-platform software Procedural programming languages Array programming languages Object-oriented programming Ada Common Object Request Broker Architecture Q C++ Software engineering Computing Computer programming
26	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:46:37 Cross-platform software Source code Holism Subroutine University of Cambridge Computer Laboratory Stack Ada C Java Computing Software engineering Computer programming
27	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:48 Software development Ada programming language Extreme programming Regression testing Software quality Acceptance testing Ada Conformity Assessment Test Suite Software bug GNAT Software testing Software engineering Computing
28	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:53:25 C++ C programming language Data types Source code Pointer C Struct Reference Ada Software engineering Computing Computer programming
29	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
30	Use of SPARK in a Resource Constrained Embedded System Chad Loseby Peter Chapin Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-05-09 09:08:56 Ada programming language AdaCore SPARK Ada TI MSP430 Buoy Microcontroller GNAT Embedded system Computing Software engineering Computer programming

UPDATE