Matches in SemOpenAlex for { <https://semopenalex.org/work/W197878493> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W197878493 abstract "The objective of this paper is to explain how Focus can be used for the formal development and verification of SDL specifications. We first give a brief introduction to Focus. Then it is explained how Focus and SDL can be combined into one method by connecting them via an intermediate language called F-SDL. F-SDL characterizes a subset of Focus specifications whose elements structurally and semantically match SDL specifications to such a degree that an automatic translation is almost straightforward. Finally we sketch how the proposed approach can be used to develop an SDL specification of a sliding window protocol." @default.
- W197878493 created "2016-06-24" @default.
- W197878493 creator A5008407215 @default.
- W197878493 date "1995-01-01" @default.
- W197878493 modified "2023-09-27" @default.
- W197878493 title "Development of SDL Specifications in Focus" @default.
- W197878493 cites W1568472061 @default.
- W197878493 cites W1754800484 @default.
- W197878493 cites W2074236561 @default.
- W197878493 cites W2111706174 @default.
- W197878493 cites W3146075203 @default.
- W197878493 doi "https://doi.org/10.1016/b978-0-444-82269-7.50027-7" @default.
- W197878493 hasPublicationYear "1995" @default.
- W197878493 type Work @default.
- W197878493 sameAs 197878493 @default.
- W197878493 citedByCount "2" @default.
- W197878493 crossrefType "book-chapter" @default.
- W197878493 hasAuthorship W197878493A5008407215 @default.
- W197878493 hasConcept C104317684 @default.
- W197878493 hasConcept C105580179 @default.
- W197878493 hasConcept C111919701 @default.
- W197878493 hasConcept C11413529 @default.
- W197878493 hasConcept C115903868 @default.
- W197878493 hasConcept C120665830 @default.
- W197878493 hasConcept C121332964 @default.
- W197878493 hasConcept C149364088 @default.
- W197878493 hasConcept C185592680 @default.
- W197878493 hasConcept C192209626 @default.
- W197878493 hasConcept C199360897 @default.
- W197878493 hasConcept C2778751112 @default.
- W197878493 hasConcept C2779231336 @default.
- W197878493 hasConcept C41008148 @default.
- W197878493 hasConcept C55493867 @default.
- W197878493 hasConceptScore W197878493C104317684 @default.
- W197878493 hasConceptScore W197878493C105580179 @default.
- W197878493 hasConceptScore W197878493C111919701 @default.
- W197878493 hasConceptScore W197878493C11413529 @default.
- W197878493 hasConceptScore W197878493C115903868 @default.
- W197878493 hasConceptScore W197878493C120665830 @default.
- W197878493 hasConceptScore W197878493C121332964 @default.
- W197878493 hasConceptScore W197878493C149364088 @default.
- W197878493 hasConceptScore W197878493C185592680 @default.
- W197878493 hasConceptScore W197878493C192209626 @default.
- W197878493 hasConceptScore W197878493C199360897 @default.
- W197878493 hasConceptScore W197878493C2778751112 @default.
- W197878493 hasConceptScore W197878493C2779231336 @default.
- W197878493 hasConceptScore W197878493C41008148 @default.
- W197878493 hasConceptScore W197878493C55493867 @default.
- W197878493 hasLocation W1978784931 @default.
- W197878493 hasOpenAccess W197878493 @default.
- W197878493 hasPrimaryLocation W1978784931 @default.
- W197878493 hasRelatedWork W1490134816 @default.
- W197878493 hasRelatedWork W1491253257 @default.
- W197878493 hasRelatedWork W1494410906 @default.
- W197878493 hasRelatedWork W1522145323 @default.
- W197878493 hasRelatedWork W1578763195 @default.
- W197878493 hasRelatedWork W1579111626 @default.
- W197878493 hasRelatedWork W1716277556 @default.
- W197878493 hasRelatedWork W1813771393 @default.
- W197878493 hasRelatedWork W1973097078 @default.
- W197878493 hasRelatedWork W1981344251 @default.
- W197878493 hasRelatedWork W2010536294 @default.
- W197878493 hasRelatedWork W2018853037 @default.
- W197878493 hasRelatedWork W2094113943 @default.
- W197878493 hasRelatedWork W2101904308 @default.
- W197878493 hasRelatedWork W2106428810 @default.
- W197878493 hasRelatedWork W2141476082 @default.
- W197878493 hasRelatedWork W2267348963 @default.
- W197878493 hasRelatedWork W2609625400 @default.
- W197878493 hasRelatedWork W2904765952 @default.
- W197878493 hasRelatedWork W9389450 @default.
- W197878493 isParatext "false" @default.
- W197878493 isRetracted "false" @default.
- W197878493 magId "197878493" @default.
- W197878493 workType "book-chapter" @default.