AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
11	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:45:18 Type theory Data types Type safety Record Data structure alignment Ada Subroutine Parameter Variable Software engineering Computing Computer programming
12	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:49:11 Data types Type theory Stack Subroutine Constructor Constant Variable C Linked list Software engineering Computer programming Computing
13	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:54:57 Computer programming Type theory Type conversion Primitive data type Subtype polymorphism Ada Array data type Enumerated type C Software engineering Computing Data types
14	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:43:45 Holism Source code Subroutine University of Cambridge Computer Laboratory Ada Stack Lock Operating system Computing Computer programming Software engineering
15	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
16	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
17	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:56:41 Procedural programming languages Data types Assignment Ada C Fortran Relational operator ALGOL 68 Programming language Software engineering Computing Computer programming
18	Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:45 Ada programming language Real-time computing Embedded systems Scheduling algorithms Ada Ravenscar profile Real-time operating systems SPARK Worst-case execution time Computing Software engineering Computer programming
19	Compile-time stack requirements analysis with GCC Motivation, Development, and Experiments Results Eric Botcazou, Cyrille Comar, Olivier Hainque AdaCore {botcazou, comar, hainque}@adacore.com Add to Reading List Source URL: www.adacore.com Language: English Compiler construction Software bugs Programming language implementation Subroutines Stack Call stack C Pointer GNU Compiler Collection Computing Software engineering Computer programming
20	Microsoft PowerPoint - Project_Coverage.ppt [Compatibility Mode] Add to Reading List Source URL: libre.adacore.com Language: English - Date: 2012-03-20 14:43:19 Software testing Software requirements Avionics Ada programming language Embedded systems AdaCore DO-178B Code coverage Gcov Computing Software development Software engineering

UPDATE