Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3493345> ?p ?o }
- Q3493345 subject Q6270842.
- Q3493345 subject Q7134794.
- Q3493345 subject Q7142681.
- Q3493345 subject Q7142682.
- Q3493345 subject Q7467472.
- Q3493345 subject Q8221145.
- Q3493345 subject Q8466135.
- Q3493345 subject Q8795413.
- Q3493345 abstract "SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity.Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively.A fourth version of the SPARK language, SPARK 2014, based on Ada 2012, was released on April 30, 2014. SPARK 2014 is a complete re-design of the language and supporting verification tools.The SPARK language consists of a well-defined subset of the Ada language that uses contracts to describe the specification of components in a form that is suitable for both static and dynamic verification.In SPARK83/95/2005, the contracts are encoded in Ada comments (and so are ignored by any standard Ada compiler), but are processed by the SPARK "Examiner" and its associated tools.SPARK 2014, in contrast, uses Ada 2012's built-in "aspect" syntax to express contracts, bringing them into the core of the language. The main tool for SPARK 2014 (GNATprove) is based on the GNAT/GCC infrastructure, and re-uses almost the entirety of the GNAT Ada 2012 front-end.".
- Q3493345 developer Q294532.
- Q3493345 developer Q4678216.
- Q3493345 influencedBy Q154755.
- Q3493345 influencedBy Q732089.
- Q3493345 latestReleaseDate "2015-02-17".
- Q3493345 latestReleaseVersion "15.0.1".
- Q3493345 license Q7603.
- Q3493345 wikiPageExternalLink libre.adacore.com.
- Q3493345 wikiPageExternalLink lifeflow.mae.virginia.edu.
- Q3493345 wikiPageExternalLink 001532.html.
- Q3493345 wikiPageExternalLink muen.codelabs.ch.
- Q3493345 wikiPageExternalLink sparkpro.
- Q3493345 wikiPageExternalLink tokeneer.
- Q3493345 wikiPageExternalLink spark.aspx.
- Q3493345 wikiPageExternalLink www.altran.com.
- Q3493345 wikiPageExternalLink 0,1144,0201175177,00.html.
- Q3493345 wikiPageExternalLink SPARK__The_Proven_Approach_to_High_Integrity_Software.
- Q3493345 wikiPageExternalLink 200512-Croxford.pdf.
- Q3493345 wikiPageExternalLink www.cubesatlab.org.
- Q3493345 wikiPageExternalLink www.safety-club.org.uk.
- Q3493345 wikiPageExternalLink www.spark-2014.org.
- Q3493345 wikiPageExternalLink www.spark-2014.org.
- Q3493345 wikiPageExternalLink 1454.
- Q3493345 wikiPageWikiLink Q1142190.
- Q3493345 wikiPageWikiLink Q1143261.
- Q3493345 wikiPageWikiLink Q1190947.
- Q3493345 wikiPageWikiLink Q1329550.
- Q3493345 wikiPageWikiLink Q1406.
- Q3493345 wikiPageWikiLink Q14116.
- Q3493345 wikiPageWikiLink Q1413450.
- Q3493345 wikiPageWikiLink Q1430781.
- Q3493345 wikiPageWikiLink Q1437428.
- Q3493345 wikiPageWikiLink Q154755.
- Q3493345 wikiPageWikiLink Q16061026.
- Q3493345 wikiPageWikiLink Q16242796.
- Q3493345 wikiPageWikiLink Q173326.
- Q3493345 wikiPageWikiLink Q174666.
- Q3493345 wikiPageWikiLink Q188267.
- Q3493345 wikiPageWikiLink Q206637.
- Q3493345 wikiPageWikiLink Q2509689.
- Q3493345 wikiPageWikiLink Q251.
- Q3493345 wikiPageWikiLink Q2517517.
- Q3493345 wikiPageWikiLink Q28865.
- Q3493345 wikiPageWikiLink Q294532.
- Q3493345 wikiPageWikiLink Q3509459.
- Q3493345 wikiPageWikiLink Q353060.
- Q3493345 wikiPageWikiLink Q360690.
- Q3493345 wikiPageWikiLink Q388.
- Q3493345 wikiPageWikiLink Q460584.
- Q3493345 wikiPageWikiLink Q4678216.
- Q3493345 wikiPageWikiLink Q4736977.
- Q3493345 wikiPageWikiLink Q47506.
- Q3493345 wikiPageWikiLink Q5421724.
- Q3493345 wikiPageWikiLink Q5421903.
- Q3493345 wikiPageWikiLink Q6220764.
- Q3493345 wikiPageWikiLink Q6270842.
- Q3493345 wikiPageWikiLink Q6643419.
- Q3493345 wikiPageWikiLink Q68.
- Q3493345 wikiPageWikiLink Q691169.
- Q3493345 wikiPageWikiLink Q693083.
- Q3493345 wikiPageWikiLink Q7134794.
- Q3493345 wikiPageWikiLink Q7142681.
- Q3493345 wikiPageWikiLink Q7142682.
- Q3493345 wikiPageWikiLink Q732089.
- Q3493345 wikiPageWikiLink Q736866.
- Q3493345 wikiPageWikiLink Q7397.
- Q3493345 wikiPageWikiLink Q7467472.
- Q3493345 wikiPageWikiLink Q7603.
- Q3493345 wikiPageWikiLink Q76473.
- Q3493345 wikiPageWikiLink Q8221145.
- Q3493345 wikiPageWikiLink Q8466135.
- Q3493345 wikiPageWikiLink Q865760.
- Q3493345 wikiPageWikiLink Q8795413.
- Q3493345 wikiPageWikiLink Q9143.
- Q3493345 wikiPageWikiLink Q991202.
- Q3493345 developer "Altran and AdaCore".
- Q3493345 influencedBy Q154755.
- Q3493345 influencedBy Q732089.
- Q3493345 latestReleaseDate "2015-02-17".
- Q3493345 latestReleaseVersion "15".
- Q3493345 license Q7603.
- Q3493345 name "SPARK".
- Q3493345 website libre.adacore.com.
- Q3493345 website sparkpro.
- Q3493345 type Language.
- Q3493345 type Language.
- Q3493345 type ProgrammingLanguage.
- Q3493345 type Thing.
- Q3493345 type Q315.
- Q3493345 type Q34770.
- Q3493345 type Q9143.