AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
31	17 8 Towards Certification of Object-Oriented Code with the GNAT Compiler Javier Miranda Instituto Universitario de Microelectrónica Aplicada. Universidad de Las Palmas de Gran Canaria, Canary Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:36:08 Object-oriented programming Virtual method table Ada Dynamic dispatch C++ Objective-C Pointer Java Thunk Software engineering Computing Computer programming
32	Frédéric Pothon ACG Solutions DO-330/ED-215 Benefits of the New Tool Qualification Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-01-25 10:45:09 Embedded systems Systems engineering Safety Technology Electronics DO-178C DO-178B Validation Verification and validation Software development Software requirements Avionics
33	A SPARK/Ada CubeSat Control Program Carl Brandon1 and Peter Chapin2 1 Vermont Technical College, Randolph Center VT 05061, USA 2 Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-05-09 09:08:56 Satellites CubeSat Radio Aurora Explorer AdaCore SPARK Global Positioning System Ada Embedded system Chasqui I Spacecraft Space technology Ada programming language
34	Complementing Ada with Other Programming Languages Samuel Tardieu Alexis Polti Institut Télécom/Télécom ParisTech Add to Reading List Source URL: www.rfc1149.net Language: English - Date: 2009-10-30 05:22:01 Field-programmable gate array Hardware description language AdaCore Embedded system Robot Ada Verilog CompactRIO Computing Electronic engineering Software engineering
35	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-09-21 04:00:23 Ada programming language Procedural programming languages Cross-platform software Ada SPARK C++ Control flow LIS Programming paradigm Computing Software engineering Computer programming
36	Software Product Description PRODUCT NAME: HP C++ for OpenVMS Add to Reading List Source URL: www.openvms.compaq.com Language: English - Date: 2010-05-17 12:54:54 Computer architecture Cluster computing OpenVMS Parallel computing HP BASIC for OpenVMS AdaCore Computing Hewlett-Packard Concurrent computing
37	Microsoft Word - Eurofighter_final_050905.doc Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-12-02 13:11:15 Software engineering AdaCore Eurofighter Typhoon GNAT Ada BAE Systems A Sharp Panavia Tornado BAE Hawk Ada programming language Computing Aircraft
38	Software Product Description PRODUCT NAME: HP C++ for OpenVMS Add to Reading List Source URL: www.openvms.compaq.com Language: English - Date: 2010-05-17 13:10:55 Computer architecture Cluster computing OpenVMS Parallel computing HP BASIC for OpenVMS AdaCore Computing Hewlett-Packard Concurrent computing
39	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:52:17 Stack Subroutine Ada Java Constructor SPARK Dc Generic programming Stack machine Computing Software engineering Computer programming
40	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:50:30 Object-oriented programming Ada Objective-C Object Record Constructor Class C Protocol Software engineering Computing Computer programming