Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993712856> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W1993712856 endingPage "479" @default.
- W1993712856 startingPage "457" @default.
- W1993712856 abstract "Abstract This paper discusses the use and integration of formal techniques into the Open Distributed Processing (ODP) standardization initiative. The ODP reference model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP. We provide an overview of the ODP reference model, before discussing the ODP requirements on FDTs, and the role such techniques play. Finally, we discuss the use of formalisms in the central problem of maintaining cross viewpoint consistency." @default.
- W1993712856 created "2016-06-24" @default.
- W1993712856 creator A5011062278 @default.
- W1993712856 creator A5053719599 @default.
- W1993712856 creator A5060549428 @default.
- W1993712856 creator A5062955105 @default.
- W1993712856 date "1995-09-01" @default.
- W1993712856 modified "2023-09-27" @default.
- W1993712856 title "FDTs for ODP" @default.
- W1993712856 cites W1971170838 @default.
- W1993712856 cites W1979290877 @default.
- W1993712856 cites W1989356335 @default.
- W1993712856 cites W2004134667 @default.
- W1993712856 cites W2013449462 @default.
- W1993712856 cites W2121372686 @default.
- W1993712856 doi "https://doi.org/10.1016/0920-5489(95)00021-l" @default.
- W1993712856 hasPublicationYear "1995" @default.
- W1993712856 type Work @default.
- W1993712856 sameAs 1993712856 @default.
- W1993712856 citedByCount "47" @default.
- W1993712856 countsByYear W19937128562012 @default.
- W1993712856 countsByYear W19937128562013 @default.
- W1993712856 countsByYear W19937128562016 @default.
- W1993712856 countsByYear W19937128562020 @default.
- W1993712856 crossrefType "journal-article" @default.
- W1993712856 hasAuthorship W1993712856A5011062278 @default.
- W1993712856 hasAuthorship W1993712856A5053719599 @default.
- W1993712856 hasAuthorship W1993712856A5060549428 @default.
- W1993712856 hasAuthorship W1993712856A5062955105 @default.
- W1993712856 hasBestOaLocation W19937128562 @default.
- W1993712856 hasConcept C41008148 @default.
- W1993712856 hasConceptScore W1993712856C41008148 @default.
- W1993712856 hasIssue "5-6" @default.
- W1993712856 hasLocation W19937128561 @default.
- W1993712856 hasLocation W19937128562 @default.
- W1993712856 hasOpenAccess W1993712856 @default.
- W1993712856 hasPrimaryLocation W19937128561 @default.
- W1993712856 hasRelatedWork W2093578348 @default.
- W1993712856 hasRelatedWork W2096946506 @default.
- W1993712856 hasRelatedWork W2350741829 @default.
- W1993712856 hasRelatedWork W2358668433 @default.
- W1993712856 hasRelatedWork W2376932109 @default.
- W1993712856 hasRelatedWork W2382290278 @default.
- W1993712856 hasRelatedWork W2390279801 @default.
- W1993712856 hasRelatedWork W2748952813 @default.
- W1993712856 hasRelatedWork W2766271392 @default.
- W1993712856 hasRelatedWork W2899084033 @default.
- W1993712856 hasVolume "17" @default.
- W1993712856 isParatext "false" @default.
- W1993712856 isRetracted "false" @default.
- W1993712856 magId "1993712856" @default.
- W1993712856 workType "article" @default.