| Property |
Value |
| dbo:abstract
|
- PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense. PolySpace Technologies est le nom de l'entreprise française créée en 1999 pour développer ce logiciel et rachetée en 2007 par The MathWorks. Elle est issue de l'INRIA Grenoble et de son incubateur, à la suite de travaux de recherche menés dans cet organisme de recherche public. (fr)
- PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense. PolySpace Technologies est le nom de l'entreprise française créée en 1999 pour développer ce logiciel et rachetée en 2007 par The MathWorks. Elle est issue de l'INRIA Grenoble et de son incubateur, à la suite de travaux de recherche menés dans cet organisme de recherche public. (fr)
|
| dbo:developer
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3160 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense. (fr)
- PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense. (fr)
|
| rdfs:label
|
- PolySpace (fr)
- Polyspace (en)
- Polyspace (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:product
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:produits
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
