Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095681072> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2095681072 abstract "For the purpose of high reliability communication systems development, its service specification needs to be precisely described without any ambiguity. So, for specification, it is desirable to use LOTOS among the standard formal description techniques. LOTOS has been extensively used for formal description of protocols and telephone systems. In this paper we describe our approach and experience using OOA (Object-Oriented Analysis) as a means of easing the process of communication service specification development based on LOTOS. A communication service is first analyzed using an OOA technique. Then the results of the analysis are used to formally specify the service using LOTOS. >" @default.
- W2095681072 created "2016-06-24" @default.
- W2095681072 creator A5026829348 @default.
- W2095681072 creator A5081840723 @default.
- W2095681072 creator A5057372874 @default.
- W2095681072 date "2002-11-19" @default.
- W2095681072 modified "2023-09-25" @default.
- W2095681072 title "Communication service specification using OOA and LOTOS" @default.
- W2095681072 cites W1972908970 @default.
- W2095681072 cites W2048055472 @default.
- W2095681072 cites W3143351655 @default.
- W2095681072 cites W3189142755 @default.
- W2095681072 doi "https://doi.org/10.1109/pccc.1995.472418" @default.
- W2095681072 hasPublicationYear "2002" @default.
- W2095681072 type Work @default.
- W2095681072 sameAs 2095681072 @default.
- W2095681072 citedByCount "0" @default.
- W2095681072 crossrefType "proceedings-article" @default.
- W2095681072 hasAuthorship W2095681072A5026829348 @default.
- W2095681072 hasAuthorship W2095681072A5057372874 @default.
- W2095681072 hasAuthorship W2095681072A5081840723 @default.
- W2095681072 hasConcept C115903868 @default.
- W2095681072 hasConcept C116253237 @default.
- W2095681072 hasConcept C121332964 @default.
- W2095681072 hasConcept C136264566 @default.
- W2095681072 hasConcept C162324750 @default.
- W2095681072 hasConcept C163258240 @default.
- W2095681072 hasConcept C199360897 @default.
- W2095681072 hasConcept C201677973 @default.
- W2095681072 hasConcept C2780378061 @default.
- W2095681072 hasConcept C2780522230 @default.
- W2095681072 hasConcept C41008148 @default.
- W2095681072 hasConcept C43214815 @default.
- W2095681072 hasConcept C62520636 @default.
- W2095681072 hasConcept C75606506 @default.
- W2095681072 hasConcept C84651959 @default.
- W2095681072 hasConcept C90069079 @default.
- W2095681072 hasConcept C98045186 @default.
- W2095681072 hasConceptScore W2095681072C115903868 @default.
- W2095681072 hasConceptScore W2095681072C116253237 @default.
- W2095681072 hasConceptScore W2095681072C121332964 @default.
- W2095681072 hasConceptScore W2095681072C136264566 @default.
- W2095681072 hasConceptScore W2095681072C162324750 @default.
- W2095681072 hasConceptScore W2095681072C163258240 @default.
- W2095681072 hasConceptScore W2095681072C199360897 @default.
- W2095681072 hasConceptScore W2095681072C201677973 @default.
- W2095681072 hasConceptScore W2095681072C2780378061 @default.
- W2095681072 hasConceptScore W2095681072C2780522230 @default.
- W2095681072 hasConceptScore W2095681072C41008148 @default.
- W2095681072 hasConceptScore W2095681072C43214815 @default.
- W2095681072 hasConceptScore W2095681072C62520636 @default.
- W2095681072 hasConceptScore W2095681072C75606506 @default.
- W2095681072 hasConceptScore W2095681072C84651959 @default.
- W2095681072 hasConceptScore W2095681072C90069079 @default.
- W2095681072 hasConceptScore W2095681072C98045186 @default.
- W2095681072 hasLocation W20956810721 @default.
- W2095681072 hasOpenAccess W2095681072 @default.
- W2095681072 hasPrimaryLocation W20956810721 @default.
- W2095681072 hasRelatedWork W1514630934 @default.
- W2095681072 hasRelatedWork W1515035016 @default.
- W2095681072 hasRelatedWork W1536734760 @default.
- W2095681072 hasRelatedWork W1572334287 @default.
- W2095681072 hasRelatedWork W1593246891 @default.
- W2095681072 hasRelatedWork W1962374495 @default.
- W2095681072 hasRelatedWork W1964116692 @default.
- W2095681072 hasRelatedWork W1991686240 @default.
- W2095681072 hasRelatedWork W1991711249 @default.
- W2095681072 hasRelatedWork W2036502861 @default.
- W2095681072 hasRelatedWork W2072020785 @default.
- W2095681072 hasRelatedWork W2128447142 @default.
- W2095681072 hasRelatedWork W2139761195 @default.
- W2095681072 hasRelatedWork W2163180528 @default.
- W2095681072 hasRelatedWork W2167591408 @default.
- W2095681072 hasRelatedWork W2252712587 @default.
- W2095681072 hasRelatedWork W2367465648 @default.
- W2095681072 hasRelatedWork W2379358130 @default.
- W2095681072 hasRelatedWork W2388085714 @default.
- W2095681072 hasRelatedWork W2392881219 @default.
- W2095681072 isParatext "false" @default.
- W2095681072 isRetracted "false" @default.
- W2095681072 magId "2095681072" @default.
- W2095681072 workType "article" @default.