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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n14http://cwe.mitre.org/news/
n19https://web.archive.org/web/20081012082405/http:/www.adacore.com/home/ada_answers/lectures/
n5http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n4https://web.archive.org/web/20101202070504/http:/www.adacore.com/2010/01/12/codepeer-launch/

Statements

Subject Item
dbr:SofCheck_Inspector
rdf:type
yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:Software yago:Institution108053576 yago:SocialGroup107950920 yago:Organization108008335 yago:Abstraction100002137 yago:Company108058098 yago:WikicatDevelopmentSoftwareCompanies yago:WikicatSoftwareCompaniesBasedInMassachusetts yago:Group100031264
rdfs:label
SofCheck Inspector
rdfs:comment
The SofCheck Inspector 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, 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, Massachusetts. The SofCheck Inspector static analysis engine is used within the CodePeer static analysis product from AdaCore.
dcterms:subject
dbc:Software_companies_of_the_United_States dbc:Java_platform_software dbc:Static_program_analysis_tools dbc:Software_companies_based_in_Massachusetts dbc:Development_software_companies dbc:Java_development_tools
dbo:wikiPageID
10898736
dbo:wikiPageRevisionID
1105590104
dbo:wikiPageWikiLink
dbr:Precondition dbr:Redundant_code dbr:AdaCore dbc:Software_companies_of_the_United_States dbr:Java_(programming_language) dbc:Static_program_analysis_tools dbc:Java_platform_software dbr:Race_condition dbc:Software_companies_based_in_Massachusetts dbc:Development_software_companies dbr:Software_Security_Assurance dbr:Software_testing dbr:Ada_(programming_language) dbr:List_of_tools_for_static_code_analysis dbr:Burlington,_Massachusetts dbc:Java_development_tools dbr:Static_code_analysis dbr:Postcondition
dbo:wikiPageExternalLink
n4: n5:www.sofcheck.com n14:index.html%2320070305b n19:ada_uk07%23video_06
owl:sameAs
yago-res:SofCheck_Inspector freebase:m.02qtgbn n20:4vynq wikidata:Q7553550
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:More_footnotes
dbo:abstract
The SofCheck Inspector 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, 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, Massachusetts. The SofCheck Inspector static analysis engine is used within the CodePeer static analysis product from AdaCore.
gold:hypernym
dbr:Tool
prov:wasDerivedFrom
wikipedia-en:SofCheck_Inspector?oldid=1105590104&ns=0
dbo:wikiPageLength
2736
foaf:isPrimaryTopicOf
wikipedia-en:SofCheck_Inspector