AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
51	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design
52	Quentin Ochem Ada for the C++ or Java Developer Release 1.0 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 12:59:35 Cross-platform software Procedural programming languages Ada Generic programming Type theory C++ Java Conditional Programming language Computing Software engineering Computer programming
53	Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-06-10 05:40:58 Logic in computer science SPARK Postcondition Subroutine Ada Formal methods Precondition Verification and validation Library Computing Software engineering Computer programming
54	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-05-03 05:26:01 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
55	The use of value numbers in static analysis. By Tucker Taft, Director of Language Research, AdaCore. CodePeer uses value numbers as part of its static analysis. This is one of the keys to its power and its flexibility. T Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-02-17 10:21:35 Compiler construction Static single assignment form FO Lookup table Floating point Expected value Tango tree XPath 2.0 Computing Computer programming Theoretical computer science
56	1 Rationale for Ada 2005: Introduction John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:52 Method Object-oriented programming Ada Data types Cross-platform software Procedural programming languages Pointer Function overloading Java Software engineering Computing Computer programming
57	Ada for the C++ or Java Developer Version 1.0 Quentin Ochem, AdaCore January 29, 2014 Add to Reading List Source URL: extranet.eu.adacore.com Language: English - Date: 2014-01-29 04:40:38 Cross-platform software Ada programming language Java programming language Ada Generic programming Procedural programming languages Java C++ Control flow Computing Software engineering Computer programming
58	1 Rationale for Ada 2005: 3 Structure and visibility John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:00 Procedural programming languages Ada ALGOL 68 Subroutine Ada programming language Computing Software engineering Computer programming
59	Microsoft Word - General.doc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:05 Data types Type theory Procedural programming languages Primitive types Ada XL Type conversion Boolean data type Function Software engineering Computing Computer programming
60	1 Rationale for Ada 2005: 4 Tasking and Real-Time John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:04 Procedural programming languages Ada Subroutine C Computing Software engineering Computer programming