AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
41	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:48:12 Software bugs Data types Primitive types Procedural programming languages Pointer Buffer overflow C Subroutine Stack Computing Software engineering Computer programming
42	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:40:57 Procedural programming languages Ada programming language SPARK Ada Exception handling Design by contract C Stack Subroutine Software engineering Computing Computer programming
43	Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:34:45 Computer programming Software metrics Code coverage Modified condition/decision coverage Conditional DO-248B Control flow Gcov C Software engineering Software testing Computing
44	WIND RIVER PROFESSIONAL SERVICES MEDICAL SOLUTIONS BROAD CAPABILITIES, DEEP EXPERTISE Wind River® Professional Services offers a wide range of consultative services, technical capabilities, and proven solutions to help Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:31 Embedded system Computing Technology Computer architecture TeamF1 AdaCore Wind River Systems Board support package VxWorks
45	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
46	Safe and Secure Software An Invitation to AdaConclusion Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:39:03 Procedural programming languages ALGOL 68 ALGOL Relational operator C Assignment Ada BCPL Pascal Software engineering Computing Programming language theory
47	WIND RIVER VXWORKS MILS PLATFORM 3.0, MULTI-CORE EDITION TABLE OF CONTENTS Run-Time Components. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Separation K Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:14 Computing VxWorks Multilevel security Multiple Independent Levels of Security Operating system AdaCore Virtual machine Hyper-V Board support package System software Software Real-time operating systems
48	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:04:48 Ada programming language Satisfiability Modulo Theories SPARK AdaCore Ada GNAT A Sharp Mathematical proof Solver Computing Software engineering Theoretical computer science
49	Programming Languages and Software Construction Franco Gasperoni [removed] http://libre.act-europe.fr/Software_Matters Add to Reading List Source URL: libre.adacore.com Language: English - Date: 2012-03-20 15:31:10 Free software Free Software Foundation Software licenses Copyleft GNU Software bug Computer programming GNU build system Software Computing GNU Project
50	High-Integrity Object-Oriented Programming in Ada Release 1.4 AdaCore Add to Reading List Source URL: extranet.eu.adacore.com Language: English - Date: 2013-06-11 04:41:01 Computer programming Object Subtype polymorphism Polymorphism in object-oriented programming Inheritance Class Method C++ Polymorphism Software engineering Object-oriented programming Computing