Matches in DBpedia 2014 for { <http://dbpedia.org/resource/SofCheck_Inspector> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items 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 wikiPageRevisionID "578534623".
- SofCheck_Inspector hasPhotoCollection SofCheck_Inspector.
- 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 type Abstraction100002137.
- SofCheck_Inspector type Company108058098.
- SofCheck_Inspector type DevelopmentSoftwareCompanies.
- SofCheck_Inspector type Group100031264.
- SofCheck_Inspector type Institution108053576.
- SofCheck_Inspector type Organization108008335.
- SofCheck_Inspector type SocialGroup107950920.
- SofCheck_Inspector type SoftwareCompaniesBasedInMassachusetts.
- SofCheck_Inspector type SoftwareCompaniesOfTheUnitedStates.
- SofCheck_Inspector type YagoLegalActor.
- SofCheck_Inspector type YagoLegalActorGeo.
- SofCheck_Inspector type YagoPermanentlyLocatedEntity.
- 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 sameAs SofCheck_Inspector.
- SofCheck_Inspector wasDerivedFrom SofCheck_Inspector?oldid=578534623.
- SofCheck_Inspector isPrimaryTopicOf SofCheck_Inspector.