Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/SofCheck_Inspector> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- SofCheck_Inspector abstract "The SofCheck Inspector[1] is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws [2], race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. The SofCheck Inspector is produced by SofCheck, Inc., a software product company in Burlington, MA.The SofCheck Inspector static analysis engine is used within the CodePeer [3] static analysis product from AdaCore.".
- SofCheck_Inspector wikiPageExternalLink 20070305b.
- SofCheck_Inspector wikiPageExternalLink 0703Martin.html.
- SofCheck_Inspector wikiPageExternalLink codepeer-launch.
- SofCheck_Inspector wikiPageExternalLink video_06.
- SofCheck_Inspector wikiPageExternalLink codepeer.
- SofCheck_Inspector wikiPageExternalLink www.sofcheck.com.
- SofCheck_Inspector wikiPageExternalLink inspector.html.
- SofCheck_Inspector wikiPageID "10898736".
- SofCheck_Inspector wikiPageLength "1823".
- SofCheck_Inspector wikiPageOutDegree "22".
- SofCheck_Inspector wikiPageRevisionID "578534623".
- SofCheck_Inspector wikiPageWikiLink AdaCore.
- SofCheck_Inspector wikiPageWikiLink Ada_(programming_language).
- SofCheck_Inspector wikiPageWikiLink Burlington,_Massachusetts.
- SofCheck_Inspector wikiPageWikiLink Category:Development_software_companies.
- SofCheck_Inspector wikiPageWikiLink Category:Java_development_tools.
- SofCheck_Inspector wikiPageWikiLink Category:Java_platform_software.
- SofCheck_Inspector wikiPageWikiLink Category:Software_companies_based_in_Massachusetts.
- SofCheck_Inspector wikiPageWikiLink Category:Static_program_analysis_tools.
- SofCheck_Inspector wikiPageWikiLink Java_(programming_language).
- SofCheck_Inspector wikiPageWikiLink List_of_tools_for_static_code_analysis.
- SofCheck_Inspector wikiPageWikiLink Postcondition.
- SofCheck_Inspector wikiPageWikiLink Precondition.
- SofCheck_Inspector wikiPageWikiLink Race_condition.
- SofCheck_Inspector wikiPageWikiLink Redundant_code.
- SofCheck_Inspector wikiPageWikiLink Software_Security_Assurance.
- SofCheck_Inspector wikiPageWikiLink Software_security_assurance.
- SofCheck_Inspector wikiPageWikiLink Software_testing.
- SofCheck_Inspector wikiPageWikiLink Static_code_analysis.
- SofCheck_Inspector wikiPageWikiLink Static_program_analysis.
- SofCheck_Inspector wikiPageWikiLinkText "SofCheck Inspector".
- SofCheck_Inspector hasPhotoCollection SofCheck_Inspector.
- SofCheck_Inspector wikiPageUsesTemplate Template:No_footnotes.
- SofCheck_Inspector subject Category:Development_software_companies.
- SofCheck_Inspector subject Category:Java_development_tools.
- SofCheck_Inspector subject Category:Java_platform_software.
- SofCheck_Inspector subject Category:Software_companies_based_in_Massachusetts.
- SofCheck_Inspector subject Category:Static_program_analysis_tools.
- SofCheck_Inspector hypernym Tool.
- SofCheck_Inspector type Article.
- SofCheck_Inspector type Company.
- SofCheck_Inspector type Software.
- SofCheck_Inspector type Article.
- SofCheck_Inspector type Company.
- SofCheck_Inspector type Tool.
- SofCheck_Inspector comment "The SofCheck Inspector[1] is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws [2], race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program.".
- SofCheck_Inspector label "SofCheck Inspector".
- SofCheck_Inspector sameAs m.02qtgbn.
- SofCheck_Inspector sameAs Q7553550.
- SofCheck_Inspector sameAs Q7553550.
- SofCheck_Inspector wasDerivedFrom SofCheck_Inspector?oldid=578534623.
- SofCheck_Inspector isPrimaryTopicOf SofCheck_Inspector.