This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n9http://en.wikipedia.org/wiki/The_Power_of_10:
n5https://opensourcesatellite.org/how-do-you-make-software-reliable-enough-space-travel/
n15https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://fr.dbpedia.org/resource/The_Power_of_10:
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n2http://dbpedia.org/resource/The_Power_of_10:
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Avionics_software
dbo:wikiPageWikiLink
n2:_Rules_for_Developing_Safety-Critical_Code
Subject Item
dbr:Power_of_10_(disambiguation)
dbo:wikiPageWikiLink
n2:_Rules_for_Developing_Safety-Critical_Code
dbo:wikiPageDisambiguates
n2:_Rules_for_Developing_Safety-Critical_Code
Subject Item
n2:_Rules_for_Developing_Safety-Critical_Code
rdfs:label
The Power of 10: Rules for Developing Safety-Critical Code The Power of 10: Rules for Developing Safety-Critical Code
rdfs:comment
Les règles de puissance de 10 ont été créées en 2006 par Gerard Holzmann du laboratoire NASA / JPL pour un logiciel fiable. Les règles visent à éliminer certaines pratiques de programmation en C qui rendent le code difficile à relire ou à analyser statiquement. Ces règles complètent la norme de programmation MISRA C et ont été intégrées au plus grand ensemble de normes de codage JPL. The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze. These rules are a complement to the MISRA C guidelines and have been incorporated into the greater set of JPL coding standards.
dct:subject
dbc:C_(programming_language)
dbo:wikiPageID
37005981
dbo:wikiPageRevisionID
1031131207
dbo:wikiPageWikiLink
dbr:Memory_management dbr:Toyota dbr:Gerard_J._Holzmann dbr:Assertion_(software_development) dbr:Software_assurance dbr:Goto dbr:MISRA_C dbr:Preprocessor dbr:Life-critical_system dbr:JPL dbr:Electronic_throttle_control dbr:Function_pointer dbr:Software_quality dbr:C_(programming_language) dbr:Dereference_operator dbr:Recursion_(computer_science) dbr:Coding_conventions dbr:IEEE_Computer dbr:Firmware dbc:C_(programming_language)
dbo:wikiPageExternalLink
n5:
owl:sameAs
n11:_Rules_for_Developing_Safety-Critical_Code wikidata:Q7757930 freebase:m.0n46cz_ n15:4wD6r
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Reflist
dbo:abstract
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze. These rules are a complement to the MISRA C guidelines and have been incorporated into the greater set of JPL coding standards. Les règles de puissance de 10 ont été créées en 2006 par Gerard Holzmann du laboratoire NASA / JPL pour un logiciel fiable. Les règles visent à éliminer certaines pratiques de programmation en C qui rendent le code difficile à relire ou à analyser statiquement. Ces règles complètent la norme de programmation MISRA C et ont été intégrées au plus grand ensemble de normes de codage JPL.
prov:wasDerivedFrom
n9:_Rules_for_Developing_Safety-Critical_Code?oldid=1031131207&ns=0
dbo:wikiPageLength
3014
foaf:isPrimaryTopicOf
n9:_Rules_for_Developing_Safety-Critical_Code
Subject Item
dbr:Coding_conventions
dbo:wikiPageWikiLink
n2:_Rules_for_Developing_Safety-Critical_Code
Subject Item
n9:_Rules_for_Developing_Safety-Critical_Code
foaf:primaryTopic
n2:_Rules_for_Developing_Safety-Critical_Code