Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169243758> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2169243758 endingPage "2047" @default.
- W2169243758 startingPage "2035" @default.
- W2169243758 abstract "Many formal specification languages and associated tools have been developed for network protocols. Ultimately, formal language specifications have to be compiled into a conventional programming language and this involves manual intervention (even with automated tools). This manual work is often error prone because the programmer is not familiar with the formal language. So our goal is to verify and test the ultimate implementation of a network protocol, rather than an abstract representation of it. We present a framework, called services and systems framework (SeSF), in which implementations and services are defined by programs in conventional languages, and mechanically tested against each other. SeSF is a markup language that can be integrated with any conventional language. We integrate SeSF into Java, resulting in what we call SeSFJava. We present a service-and-assertion checking harness for SeSFJava, called SeSFJava harness, in which distributed SeSFJava programs can be executed, and the execution checked against services and any other correctness assertions. The harness can test the final implementation of a concurrent system. We present an application to a data transfer service and sliding window protocol implementation. SeSFJava and the harness has been used in networking courses to specify and test transmission control protocol-like transport protocols and service." @default.
- W2169243758 created "2016-06-24" @default.
- W2169243758 creator A5000764562 @default.
- W2169243758 creator A5014890154 @default.
- W2169243758 date "2004-12-01" @default.
- W2169243758 modified "2023-10-18" @default.
- W2169243758 title "SeSFJava Harness: Service and Assertion Checking for Protocol Implementations" @default.
- W2169243758 cites W1506588809 @default.
- W2169243758 cites W1534377530 @default.
- W2169243758 cites W1552618645 @default.
- W2169243758 cites W1965624076 @default.
- W2169243758 cites W1971107784 @default.
- W2169243758 cites W1980469422 @default.
- W2169243758 cites W2000302396 @default.
- W2169243758 cites W2003536397 @default.
- W2169243758 cites W2005952505 @default.
- W2169243758 cites W2024851598 @default.
- W2169243758 cites W2033818578 @default.
- W2169243758 cites W2039025680 @default.
- W2169243758 cites W2040060046 @default.
- W2169243758 cites W2054409309 @default.
- W2169243758 cites W2102549447 @default.
- W2169243758 cites W2102839400 @default.
- W2169243758 cites W2104767177 @default.
- W2169243758 cites W2115309705 @default.
- W2169243758 cites W2121372686 @default.
- W2169243758 cites W2124981297 @default.
- W2169243758 cites W2128111779 @default.
- W2169243758 cites W2132739580 @default.
- W2169243758 cites W2151688527 @default.
- W2169243758 cites W2157888382 @default.
- W2169243758 cites W2160614176 @default.
- W2169243758 cites W2166858727 @default.
- W2169243758 cites W2167630967 @default.
- W2169243758 cites W4213369217 @default.
- W2169243758 cites W4234487213 @default.
- W2169243758 cites W4247966332 @default.
- W2169243758 cites W4256144738 @default.
- W2169243758 doi "https://doi.org/10.1109/jsac.2004.836012" @default.
- W2169243758 hasPublicationYear "2004" @default.
- W2169243758 type Work @default.
- W2169243758 sameAs 2169243758 @default.
- W2169243758 citedByCount "5" @default.
- W2169243758 countsByYear W21692437582012 @default.
- W2169243758 countsByYear W21692437582014 @default.
- W2169243758 crossrefType "journal-article" @default.
- W2169243758 hasAuthorship W2169243758A5000764562 @default.
- W2169243758 hasAuthorship W2169243758A5014890154 @default.
- W2169243758 hasConcept C111919701 @default.
- W2169243758 hasConcept C115903868 @default.
- W2169243758 hasConcept C12269588 @default.
- W2169243758 hasConcept C136264566 @default.
- W2169243758 hasConcept C142724271 @default.
- W2169243758 hasConcept C162324750 @default.
- W2169243758 hasConcept C199360897 @default.
- W2169243758 hasConcept C204787440 @default.
- W2169243758 hasConcept C26713055 @default.
- W2169243758 hasConcept C2778514511 @default.
- W2169243758 hasConcept C2780378061 @default.
- W2169243758 hasConcept C2780385302 @default.
- W2169243758 hasConcept C41008148 @default.
- W2169243758 hasConcept C55439883 @default.
- W2169243758 hasConcept C71924100 @default.
- W2169243758 hasConceptScore W2169243758C111919701 @default.
- W2169243758 hasConceptScore W2169243758C115903868 @default.
- W2169243758 hasConceptScore W2169243758C12269588 @default.
- W2169243758 hasConceptScore W2169243758C136264566 @default.
- W2169243758 hasConceptScore W2169243758C142724271 @default.
- W2169243758 hasConceptScore W2169243758C162324750 @default.
- W2169243758 hasConceptScore W2169243758C199360897 @default.
- W2169243758 hasConceptScore W2169243758C204787440 @default.
- W2169243758 hasConceptScore W2169243758C26713055 @default.
- W2169243758 hasConceptScore W2169243758C2778514511 @default.
- W2169243758 hasConceptScore W2169243758C2780378061 @default.
- W2169243758 hasConceptScore W2169243758C2780385302 @default.
- W2169243758 hasConceptScore W2169243758C41008148 @default.
- W2169243758 hasConceptScore W2169243758C55439883 @default.
- W2169243758 hasConceptScore W2169243758C71924100 @default.
- W2169243758 hasIssue "10" @default.
- W2169243758 hasLocation W21692437581 @default.
- W2169243758 hasOpenAccess W2169243758 @default.
- W2169243758 hasPrimaryLocation W21692437581 @default.
- W2169243758 hasRelatedWork W1516169988 @default.
- W2169243758 hasRelatedWork W1552502992 @default.
- W2169243758 hasRelatedWork W1596157658 @default.
- W2169243758 hasRelatedWork W1984757784 @default.
- W2169243758 hasRelatedWork W1998586093 @default.
- W2169243758 hasRelatedWork W2024218563 @default.
- W2169243758 hasRelatedWork W2920989234 @default.
- W2169243758 hasRelatedWork W3137189469 @default.
- W2169243758 hasRelatedWork W3160136729 @default.
- W2169243758 hasRelatedWork W4246531319 @default.
- W2169243758 hasVolume "22" @default.
- W2169243758 isParatext "false" @default.
- W2169243758 isRetracted "false" @default.
- W2169243758 magId "2169243758" @default.
- W2169243758 workType "article" @default.