Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078603500> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2078603500 abstract "One of today's challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications describing how a component should be used and checks these specifications in real Java systems. Unlike previous systems, CHET is able to check a wide range of complex conditions in large software systems without programmer intervention. This paper explores the specification techniques that are used in CHET and how they are able handle the types of specifications needed to accurately model and automatically identify component checks." @default.
- W2078603500 created "2016-06-24" @default.
- W2078603500 creator A5076895332 @default.
- W2078603500 date "2005-09-19" @default.
- W2078603500 modified "2023-10-16" @default.
- W2078603500 title "Specifying and checking component usage" @default.
- W2078603500 cites W1610570299 @default.
- W2078603500 cites W1968331212 @default.
- W2078603500 cites W1968898611 @default.
- W2078603500 cites W1974940962 @default.
- W2078603500 cites W1996832037 @default.
- W2078603500 cites W2040060046 @default.
- W2078603500 cites W2075681217 @default.
- W2078603500 cites W2082000355 @default.
- W2078603500 cites W2098495346 @default.
- W2078603500 cites W2103714221 @default.
- W2078603500 cites W2117779697 @default.
- W2078603500 cites W2135274583 @default.
- W2078603500 cites W2151556182 @default.
- W2078603500 cites W2171480813 @default.
- W2078603500 cites W2295903414 @default.
- W2078603500 cites W4212792638 @default.
- W2078603500 cites W4235569987 @default.
- W2078603500 cites W4242057943 @default.
- W2078603500 doi "https://doi.org/10.1145/1085130.1085133" @default.
- W2078603500 hasPublicationYear "2005" @default.
- W2078603500 type Work @default.
- W2078603500 sameAs 2078603500 @default.
- W2078603500 citedByCount "8" @default.
- W2078603500 crossrefType "proceedings-article" @default.
- W2078603500 hasAuthorship W2078603500A5076895332 @default.
- W2078603500 hasConcept C121332964 @default.
- W2078603500 hasConcept C168167062 @default.
- W2078603500 hasConcept C199360897 @default.
- W2078603500 hasConcept C41008148 @default.
- W2078603500 hasConcept C97355855 @default.
- W2078603500 hasConceptScore W2078603500C121332964 @default.
- W2078603500 hasConceptScore W2078603500C168167062 @default.
- W2078603500 hasConceptScore W2078603500C199360897 @default.
- W2078603500 hasConceptScore W2078603500C41008148 @default.
- W2078603500 hasConceptScore W2078603500C97355855 @default.
- W2078603500 hasLocation W20786035001 @default.
- W2078603500 hasOpenAccess W2078603500 @default.
- W2078603500 hasPrimaryLocation W20786035001 @default.
- W2078603500 hasRelatedWork W1527862632 @default.
- W2078603500 hasRelatedWork W2109507516 @default.
- W2078603500 hasRelatedWork W2112962394 @default.
- W2078603500 hasRelatedWork W2118300983 @default.
- W2078603500 hasRelatedWork W2135396778 @default.
- W2078603500 hasRelatedWork W2379533788 @default.
- W2078603500 hasRelatedWork W2740990710 @default.
- W2078603500 hasRelatedWork W3137189469 @default.
- W2078603500 hasRelatedWork W4235530921 @default.
- W2078603500 hasRelatedWork W4243252198 @default.
- W2078603500 isParatext "false" @default.
- W2078603500 isRetracted "false" @default.
- W2078603500 magId "2078603500" @default.
- W2078603500 workType "article" @default.