Matches in DBpedia 2014 for { <http://dbpedia.org/resource/SPARK_(programming_language)> ?p ?o. }
Showing items 1 to 80 of
80
with 100 items per page.
- SPARK_(programming_language) abstract "SPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety (e.g., avionics in aircraft/spacecraft, or medical systems and process control software in nuclear powerplants) or for business integrity (for example financial software for banking and insurance companies).There are 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, is currently in development and expected to be released Q1 2014. The SPARK language consists of a highly restricted, well-defined subset of the Ada language that uses annotated meta information (in the form of Ada comments) that describe desired component behavior and individual runtime requirements, thereby optionally facilitating mandatory use of Design by Contract principles to accurately formalize and validate expected runtime behavior.Because SPARK83/95/2005 annotations are encoded in Ada comments, SPARK programs are generally also valid Ada programs and can be compiled by an appropriate Ada compiler. SPARK 2014 uses the Ada 2012 language feature called aspects instead of comment based annotations.The most recent revision of the implementation, RavenSPARK, includes the Ravenscar tasking profile which aims to support concurrency in high integrity applications. The formal, unambiguous definition of SPARK allows and encourages a variety of static analysis techniques to be applied to SPARK programs.".
- SPARK_(programming_language) developer Altran_UK.
- SPARK_(programming_language) influencedBy Ada_(programming_language).
- SPARK_(programming_language) influencedBy Eiffel_(programming_language).
- SPARK_(programming_language) latestReleaseDate "2013-12-01".
- SPARK_(programming_language) latestReleaseVersion "11.1.0".
- SPARK_(programming_language) license GNU_General_Public_License.
- SPARK_(programming_language) wikiPageExternalLink SPARK95_RavenSPARK.pdf.
- SPARK_(programming_language) wikiPageExternalLink libre.adacore.com.
- SPARK_(programming_language) wikiPageExternalLink 001532.html.
- SPARK_(programming_language) wikiPageExternalLink sparkpro.
- SPARK_(programming_language) wikiPageExternalLink spark.aspx.
- SPARK_(programming_language) wikiPageExternalLink www.altran.com.
- SPARK_(programming_language) wikiPageExternalLink 0,1144,0201175177,00.html.
- SPARK_(programming_language) wikiPageExternalLink 200512-Croxford.pdf.
- SPARK_(programming_language) wikiPageExternalLink www.safety-club.org.uk.
- SPARK_(programming_language) wikiPageExternalLink www.spark-2014.org.
- SPARK_(programming_language) wikiPageExternalLink www.spark-2014.org.
- SPARK_(programming_language) wikiPageExternalLink 1454.
- SPARK_(programming_language) wikiPageID "291874".
- SPARK_(programming_language) wikiPageRevisionID "606279955".
- SPARK_(programming_language) designer "Bernard Carré and Trevor Jennings".
- SPARK_(programming_language) developer Altran_UK.
- SPARK_(programming_language) hasPhotoCollection SPARK_(programming_language).
- SPARK_(programming_language) implementations "SPARK Pro, SPARK GPL Edition".
- SPARK_(programming_language) influencedBy Ada_(programming_language).
- SPARK_(programming_language) influencedBy Eiffel_(programming_language).
- SPARK_(programming_language) latestReleaseDate "2013-12-01".
- SPARK_(programming_language) latestReleaseVersion "11.1".
- SPARK_(programming_language) license GNU_General_Public_License.
- SPARK_(programming_language) logo "250".
- SPARK_(programming_language) name "SPARK".
- SPARK_(programming_language) operatingSystem Cross-platform.
- SPARK_(programming_language) operatingSystem Linux.
- SPARK_(programming_language) operatingSystem Microsoft_Windows.
- SPARK_(programming_language) operatingSystem OS_X.
- SPARK_(programming_language) operatingSystem Solaris_(operating_system).
- SPARK_(programming_language) paradigm Programming_paradigm.
- SPARK_(programming_language) typing Nominal_type_system.
- SPARK_(programming_language) typing Strong_and_weak_typing.
- SPARK_(programming_language) typing Type_safety.
- SPARK_(programming_language) typing Type_system.
- SPARK_(programming_language) website libre.adacore.com.
- SPARK_(programming_language) website sparkpro.
- SPARK_(programming_language) wordnet_type synset-programming_language-noun-1.
- SPARK_(programming_language) wordnet_type synset-software-noun-1.
- SPARK_(programming_language) subject Category:Ada_programming_language.
- SPARK_(programming_language) subject Category:Algol_programming_language_family.
- SPARK_(programming_language) subject Category:Concurrent_programming_languages.
- SPARK_(programming_language) subject Category:Formal_specification_languages.
- SPARK_(programming_language) subject Category:Procedural_programming_languages.
- SPARK_(programming_language) subject Category:Programming_languages_created_in_the_20th_century.
- SPARK_(programming_language) subject Category:Statically_typed_programming_languages.
- SPARK_(programming_language) type Abstraction100002137.
- SPARK_(programming_language) type ArtificialLanguage106894544.
- SPARK_(programming_language) type Communication100033020.
- SPARK_(programming_language) type FormalSpecificationLanguages.
- SPARK_(programming_language) type Language106282651.
- SPARK_(programming_language) type ProgrammingLanguage106898352.
- SPARK_(programming_language) type ProgrammingLanguagesCreatedInThe20thCentury.
- SPARK_(programming_language) type ProgrammingLanguage.
- SPARK_(programming_language) type Software.
- SPARK_(programming_language) type Work.
- SPARK_(programming_language) type CreativeWork.
- SPARK_(programming_language) type InformationEntity.
- SPARK_(programming_language) comment "SPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety (e.g., avionics in aircraft/spacecraft, or medical systems and process control software in nuclear powerplants) or for business integrity (for example financial software for banking and insurance companies).There are three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively. ".
- SPARK_(programming_language) label "SPARK (informatyka)".
- SPARK_(programming_language) label "SPARK (programming language)".
- SPARK_(programming_language) label "SPARK".
- SPARK_(programming_language) label "SPARK".
- SPARK_(programming_language) sameAs SPARK.
- SPARK_(programming_language) sameAs SPARK_(informatyka).
- SPARK_(programming_language) sameAs m.01qplz.
- SPARK_(programming_language) sameAs Q3493345.
- SPARK_(programming_language) sameAs Q3493345.
- SPARK_(programming_language) sameAs SPARK_(programming_language).
- SPARK_(programming_language) wasDerivedFrom SPARK_(programming_language)?oldid=606279955.
- SPARK_(programming_language) homepage sparkpro.
- SPARK_(programming_language) isPrimaryTopicOf SPARK_(programming_language).
- SPARK_(programming_language) name "SPARK".