Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ECLAIR> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- ECLAIR abstract "ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs.".
- ECLAIR genre Static_program_analysis.
- ECLAIR latestReleaseDate "2012-11-12".
- ECLAIR latestReleaseVersion "1.2".
- ECLAIR license Proprietary_software.
- ECLAIR status "Active".
- ECLAIR wikiPageExternalLink bugseng.com.
- ECLAIR wikiPageExternalLink eclair.
- ECLAIR wikiPageExternalLink ECLAIR.
- ECLAIR wikiPageExternalLink ECLAIR.
- ECLAIR wikiPageID "37619482".
- ECLAIR wikiPageLength "5196".
- ECLAIR wikiPageOutDegree "24".
- ECLAIR wikiPageRevisionID "679453996".
- ECLAIR wikiPageWikiLink Abstract_interpretation.
- ECLAIR wikiPageWikiLink C++.
- ECLAIR wikiPageWikiLink C_(programming_language).
- ECLAIR wikiPageWikiLink C_programming_language.
- ECLAIR wikiPageWikiLink Category:Software_testing_tools.
- ECLAIR wikiPageWikiLink Category:Static_program_analysis_tools.
- ECLAIR wikiPageWikiLink Constraint_satisfaction.
- ECLAIR wikiPageWikiLink Cross-platform.
- ECLAIR wikiPageWikiLink ESA.
- ECLAIR wikiPageWikiLink European_Space_Agency.
- ECLAIR wikiPageWikiLink Formal_methods.
- ECLAIR wikiPageWikiLink JPL.
- ECLAIR wikiPageWikiLink Jet_Propulsion_Laboratory.
- ECLAIR wikiPageWikiLink Joint_Strike_Fighter_program.
- ECLAIR wikiPageWikiLink List_of_tools_for_static_code_analysis.
- ECLAIR wikiPageWikiLink MISRA_C.
- ECLAIR wikiPageWikiLink Model_checking.
- ECLAIR wikiPageWikiLink NASA.
- ECLAIR wikiPageWikiLink Proprietary_software.
- ECLAIR wikiPageWikiLink Run_time_(program_lifecycle_phase).
- ECLAIR wikiPageWikiLink Source_code.
- ECLAIR wikiPageWikiLink Static_code_analysis.
- ECLAIR wikiPageWikiLink Static_program_analysis.
- ECLAIR wikiPageWikiLink University_of_Parma.
- ECLAIR wikiPageWikiLinkText "ECLAIR".
- ECLAIR developer "BUGSENG, LLC".
- ECLAIR genre Static_code_analysis.
- ECLAIR genre Static_program_analysis.
- ECLAIR hasPhotoCollection ECLAIR.
- ECLAIR latestReleaseDate "2012-11-12".
- ECLAIR latestReleaseVersion "1.2".
- ECLAIR license Proprietary_software.
- ECLAIR name "ECLAIR".
- ECLAIR operatingSystem Cross-platform.
- ECLAIR status "Active".
- ECLAIR website eclair.
- ECLAIR wikiPageUsesTemplate Template:About.
- ECLAIR wikiPageUsesTemplate Template:Infobox_Software.
- ECLAIR wikiPageUsesTemplate Template:Refimprove.
- ECLAIR wikiPageUsesTemplate Template:Reflist.
- ECLAIR subject Category:Software_testing_tools.
- ECLAIR subject Category:Static_program_analysis_tools.
- ECLAIR hypernym Tool.
- ECLAIR type Article.
- ECLAIR type Software.
- ECLAIR type Work.
- ECLAIR type Article.
- ECLAIR type Tool.
- ECLAIR type CreativeWork.
- ECLAIR type Thing.
- ECLAIR type Q386724.
- ECLAIR type Q7397.
- ECLAIR comment "ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs.".
- ECLAIR label "ECLAIR".
- ECLAIR sameAs m.0pcm784.
- ECLAIR sameAs Q5322687.
- ECLAIR sameAs Q5322687.
- ECLAIR wasDerivedFrom ECLAIR?oldid=679453996.
- ECLAIR homepage eclair.
- ECLAIR isPrimaryTopicOf ECLAIR.
- ECLAIR name "ECLAIR".