AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
91	insider an AdaCore Publication Spring 2008 www.adacore.com Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:07 Ada programming language AdaCore GNAT Ada SPARK A Sharp Design by contract Robert Dewar Integrated development environment Computing Software engineering Computer programming
92	G904-030_adacore_news_fall_07.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:27 Software engineering AdaCore GNAT SPARK Ada A Sharp Robert Dewar GNU Debugger PolyORB Computing Computer programming Ada programming language
93	adacore_news_us_1105_p1.pdf Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:13 Computer programming AdaCore GNAT Robert Dewar Ada A Sharp Free software GNU Debugger GNU Compiler Collection Computing Software Ada programming language
94	Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-01-21 09:38:38 Software engineering Formal methods Evaluation Ada programming language SPARK Reliability engineering Evaluation Assurance Level Functional specification Common Criteria Software development Computing Systems engineering
95	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
96	John Barnes Contracts and Aspects This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:35 Procedural programming languages Ada Ada programming language Directive Subroutine SPARK Postcondition ALGOL 68 Eiffel Software engineering Computing Computer programming
97	John Barnes Expressions This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:30 Procedural programming languages Quantification Predicate logic Conditional ALGOL 68 Control flow Switch statement Universal quantification Regular expression Software engineering Computing Computer programming
98	John Barnes Predefined Library This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:46 Software engineering Character sets Encodings UTF-8 String UTF-16 Ada Is functions Unicode Character encoding Computing Notation
99	John Barnes Iterators, Pools, etc. This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:42 Control flow Ada For loop Iterator Goto Directive Statement Infinite loop Computing Software engineering Computer programming
100	John Barnes Structure and Visibility This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:38 Source code Ada Method Data types Subroutine Parameter ALGOL 68 Constant Pointer Software engineering Computing Computer programming

UPDATE