Ravenscar profile - PDFSEARCH.IO - Document Search Engine

Ravenscar profile
Results: 16

#	Item
1	Association for Computing Machinery 2 Penn Plaza, Suite 701 New York, NYVolume XXXIII Add to Reading List Source URL: www.sigada.org Language: English - Date: 2013-11-05 11:34:02 Ada programming language Association for Computing Machinery Ada Semantic Interface Specification Ada GNAT Communications of the ACM Computer science Ravenscar profile Andy Wellings Computing Software engineering Computer programming
2	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
3	SIGAda Awards 2011 Outstanding Ada Community Contribution Award 42 Previous Recipients Peter Amey Add to Reading List Source URL: www.sigada.org Language: English - Date: 2011-11-14 12:33:12 Programming language theory Ada Ravenscar profile Robert Dewar Jean Ichbiah LIS GNAT Andy Wellings SPARK Computing Software engineering Ada programming language
4	i i “program” — — 10:23 — page 1 — #1 i Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2005-05-10 08:56:12 Ada programming language Software architecture Systems architecture Formal methods Ada SPARK Architecture Analysis & Design Language Ravenscar profile Real-time computing Computing Software engineering Computer programming
5	Microsoft Word - 2000_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Programming language theory Ada Robert Dewar DDC-I Ravenscar profile A Sharp Jean Ichbiah Computing Ada programming language Software engineering
6	Rationale for Ada 2005 John Barnes © 2007 John Barnes Informatics 11 Albert Road Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-11-18 05:03:46 Ada programming language Ada Ravenscar profile SQL A Sharp Directive Pascal Computing Software engineering Programming language theory
7	Rationale for Ada 2005 John Barnes © 2007 John Barnes Informatics 11 Albert Road Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-12-02 13:11:15 Ada programming language Ada Ravenscar profile SQL A Sharp Directive Pascal Computing Software engineering Programming language theory
8	GNAT Reference Manual GNAT, The GNU Ada Development Environment For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2014-07-16 09:38:08 Ada programming language Ada Directive GNAT ConTeXt D SPARK Ravenscar profile Computing Software engineering Computer programming
9	GNAT Reference Manual GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2013-04-12 11:04:14 Ada programming language Ada Directive GNAT ConTeXt D TeX Ravenscar profile Computing Software engineering Computer programming
10	GNAT Reference Manual GNAT, The GNU Ada Compiler For gcc version[removed]GCC) AdaCore Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2014-05-22 05:41:59 Ada programming language Ada Directive GNAT ConTeXt D A Sharp TeX Ravenscar profile Computing Software engineering Computer programming