Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157455734> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2157455734 abstract "Assuring components compatibility plays a crucial part in developing a reliable component system. Especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. We propose a formalism of Threaded Behavior Protocols, which - unlike most other formalisms - allows for both analysis on the formal level (correctness and substitutability checking) and reasoning about conformance of a specification and the actual implementation. Moreover, the formalism is designed to be simple enough and to directly support constructs known from implementation languages (e.g., method calls, threads, synchronized blocks), so that it is easy to use by a nonprofessional." @default.
- W2157455734 created "2016-06-24" @default.
- W2157455734 creator A5004164084 @default.
- W2157455734 creator A5012753600 @default.
- W2157455734 creator A5033145955 @default.
- W2157455734 date "2008-10-01" @default.
- W2157455734 modified "2023-10-14" @default.
- W2157455734 title "TBP: Code-Oriented Component Behavior Specification" @default.
- W2157455734 cites W1489800325 @default.
- W2157455734 cites W1515898625 @default.
- W2157455734 cites W1521942127 @default.
- W2157455734 cites W1555656963 @default.
- W2157455734 cites W1989576632 @default.
- W2157455734 cites W1999400340 @default.
- W2157455734 cites W2013658284 @default.
- W2157455734 cites W2059519750 @default.
- W2157455734 cites W2082312109 @default.
- W2157455734 cites W2100698629 @default.
- W2157455734 cites W2107558091 @default.
- W2157455734 cites W2112965682 @default.
- W2157455734 cites W2171480813 @default.
- W2157455734 cites W4232077871 @default.
- W2157455734 cites W4244728546 @default.
- W2157455734 doi "https://doi.org/10.1109/sew.2008.14" @default.
- W2157455734 hasPublicationYear "2008" @default.
- W2157455734 type Work @default.
- W2157455734 sameAs 2157455734 @default.
- W2157455734 citedByCount "7" @default.
- W2157455734 countsByYear W21574557342012 @default.
- W2157455734 crossrefType "proceedings-article" @default.
- W2157455734 hasAuthorship W2157455734A5004164084 @default.
- W2157455734 hasAuthorship W2157455734A5012753600 @default.
- W2157455734 hasAuthorship W2157455734A5033145955 @default.
- W2157455734 hasConcept C111498074 @default.
- W2157455734 hasConcept C115903868 @default.
- W2157455734 hasConcept C116253237 @default.
- W2157455734 hasConcept C120314980 @default.
- W2157455734 hasConcept C121332964 @default.
- W2157455734 hasConcept C127413603 @default.
- W2157455734 hasConcept C142362112 @default.
- W2157455734 hasConcept C153349607 @default.
- W2157455734 hasConcept C168167062 @default.
- W2157455734 hasConcept C171018156 @default.
- W2157455734 hasConcept C199360897 @default.
- W2157455734 hasConcept C2524010 @default.
- W2157455734 hasConcept C2778648169 @default.
- W2157455734 hasConcept C33923547 @default.
- W2157455734 hasConcept C41008148 @default.
- W2157455734 hasConcept C42360764 @default.
- W2157455734 hasConcept C55439883 @default.
- W2157455734 hasConcept C558565934 @default.
- W2157455734 hasConcept C73301696 @default.
- W2157455734 hasConcept C80444323 @default.
- W2157455734 hasConcept C97355855 @default.
- W2157455734 hasConceptScore W2157455734C111498074 @default.
- W2157455734 hasConceptScore W2157455734C115903868 @default.
- W2157455734 hasConceptScore W2157455734C116253237 @default.
- W2157455734 hasConceptScore W2157455734C120314980 @default.
- W2157455734 hasConceptScore W2157455734C121332964 @default.
- W2157455734 hasConceptScore W2157455734C127413603 @default.
- W2157455734 hasConceptScore W2157455734C142362112 @default.
- W2157455734 hasConceptScore W2157455734C153349607 @default.
- W2157455734 hasConceptScore W2157455734C168167062 @default.
- W2157455734 hasConceptScore W2157455734C171018156 @default.
- W2157455734 hasConceptScore W2157455734C199360897 @default.
- W2157455734 hasConceptScore W2157455734C2524010 @default.
- W2157455734 hasConceptScore W2157455734C2778648169 @default.
- W2157455734 hasConceptScore W2157455734C33923547 @default.
- W2157455734 hasConceptScore W2157455734C41008148 @default.
- W2157455734 hasConceptScore W2157455734C42360764 @default.
- W2157455734 hasConceptScore W2157455734C55439883 @default.
- W2157455734 hasConceptScore W2157455734C558565934 @default.
- W2157455734 hasConceptScore W2157455734C73301696 @default.
- W2157455734 hasConceptScore W2157455734C80444323 @default.
- W2157455734 hasConceptScore W2157455734C97355855 @default.
- W2157455734 hasLocation W21574557341 @default.
- W2157455734 hasOpenAccess W2157455734 @default.
- W2157455734 hasPrimaryLocation W21574557341 @default.
- W2157455734 hasRelatedWork W1565612164 @default.
- W2157455734 hasRelatedWork W1601757209 @default.
- W2157455734 hasRelatedWork W1977144985 @default.
- W2157455734 hasRelatedWork W2006998729 @default.
- W2157455734 hasRelatedWork W2114282162 @default.
- W2157455734 hasRelatedWork W2166388665 @default.
- W2157455734 hasRelatedWork W2249885551 @default.
- W2157455734 hasRelatedWork W3061866020 @default.
- W2157455734 hasRelatedWork W3099800985 @default.
- W2157455734 hasRelatedWork W2610607535 @default.
- W2157455734 isParatext "false" @default.
- W2157455734 isRetracted "false" @default.
- W2157455734 magId "2157455734" @default.
- W2157455734 workType "article" @default.