Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017126523> ?p ?o ?g. }
- W2017126523 endingPage "537" @default.
- W2017126523 startingPage "503" @default.
- W2017126523 abstract "Open Distributed Processing (ODP) is a joint ITU/ISO standardisation framework for constructing distributed systems in a multi-vendor environment. Central to the ODP approach is the use of viewpoints for specification and design. Inherent in any viewpoint approach is the need to check and manage the consistency of viewpoints. In previous work we have described techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for LOTOS and Z/Object-Z. Here we present an overview of our work, motivated by a case study combining these techniques in order to show consistency between viewpoints specified in LOTOS and Object-Z." @default.
- W2017126523 created "2016-06-24" @default.
- W2017126523 creator A5011062278 @default.
- W2017126523 creator A5053719599 @default.
- W2017126523 creator A5059470549 @default.
- W2017126523 creator A5060549428 @default.
- W2017126523 creator A5062955105 @default.
- W2017126523 date "2000-09-01" @default.
- W2017126523 modified "2023-10-17" @default.
- W2017126523 title "Viewpoint consistency in ODP" @default.
- W2017126523 cites W123523327 @default.
- W2017126523 cites W141730928 @default.
- W2017126523 cites W1493315919 @default.
- W2017126523 cites W1493541274 @default.
- W2017126523 cites W1515035016 @default.
- W2017126523 cites W1516731693 @default.
- W2017126523 cites W1525047356 @default.
- W2017126523 cites W1529134606 @default.
- W2017126523 cites W1529917812 @default.
- W2017126523 cites W1552815238 @default.
- W2017126523 cites W1558756398 @default.
- W2017126523 cites W1581884822 @default.
- W2017126523 cites W1590898805 @default.
- W2017126523 cites W1593065203 @default.
- W2017126523 cites W1603736412 @default.
- W2017126523 cites W167614956 @default.
- W2017126523 cites W1762942482 @default.
- W2017126523 cites W1793594655 @default.
- W2017126523 cites W1825250667 @default.
- W2017126523 cites W1849813101 @default.
- W2017126523 cites W1979290877 @default.
- W2017126523 cites W1990090837 @default.
- W2017126523 cites W1993712856 @default.
- W2017126523 cites W1996655350 @default.
- W2017126523 cites W1997659875 @default.
- W2017126523 cites W2004442217 @default.
- W2017126523 cites W2005510782 @default.
- W2017126523 cites W2006218759 @default.
- W2017126523 cites W2007167977 @default.
- W2017126523 cites W2029126920 @default.
- W2017126523 cites W2029975502 @default.
- W2017126523 cites W203696264 @default.
- W2017126523 cites W2044301784 @default.
- W2017126523 cites W2045884688 @default.
- W2017126523 cites W2054097655 @default.
- W2017126523 cites W2059178770 @default.
- W2017126523 cites W2073806869 @default.
- W2017126523 cites W2074592031 @default.
- W2017126523 cites W2076898857 @default.
- W2017126523 cites W2083131134 @default.
- W2017126523 cites W2084161330 @default.
- W2017126523 cites W2087435528 @default.
- W2017126523 cites W2092026102 @default.
- W2017126523 cites W2107851821 @default.
- W2017126523 cites W2109363208 @default.
- W2017126523 cites W2112115594 @default.
- W2017126523 cites W2117870171 @default.
- W2017126523 cites W2121372686 @default.
- W2017126523 cites W2135012291 @default.
- W2017126523 cites W2147408129 @default.
- W2017126523 cites W2151945568 @default.
- W2017126523 cites W2158738246 @default.
- W2017126523 cites W2169856608 @default.
- W2017126523 cites W2296732554 @default.
- W2017126523 cites W2472795244 @default.
- W2017126523 cites W2501364339 @default.
- W2017126523 cites W2502585260 @default.
- W2017126523 doi "https://doi.org/10.1016/s1389-1286(00)00114-6" @default.
- W2017126523 hasPublicationYear "2000" @default.
- W2017126523 type Work @default.
- W2017126523 sameAs 2017126523 @default.
- W2017126523 citedByCount "59" @default.
- W2017126523 countsByYear W20171265232012 @default.
- W2017126523 countsByYear W20171265232013 @default.
- W2017126523 countsByYear W20171265232014 @default.
- W2017126523 countsByYear W20171265232015 @default.
- W2017126523 countsByYear W20171265232017 @default.
- W2017126523 countsByYear W20171265232018 @default.
- W2017126523 crossrefType "journal-article" @default.
- W2017126523 hasAuthorship W2017126523A5011062278 @default.
- W2017126523 hasAuthorship W2017126523A5053719599 @default.
- W2017126523 hasAuthorship W2017126523A5059470549 @default.
- W2017126523 hasAuthorship W2017126523A5060549428 @default.
- W2017126523 hasAuthorship W2017126523A5062955105 @default.
- W2017126523 hasBestOaLocation W20171265232 @default.
- W2017126523 hasConcept C104317684 @default.
- W2017126523 hasConcept C105580179 @default.
- W2017126523 hasConcept C120314980 @default.
- W2017126523 hasConcept C142362112 @default.
- W2017126523 hasConcept C144133560 @default.
- W2017126523 hasConcept C149364088 @default.
- W2017126523 hasConcept C153349607 @default.
- W2017126523 hasConcept C154945302 @default.
- W2017126523 hasConcept C15569618 @default.
- W2017126523 hasConcept C162853370 @default.
- W2017126523 hasConcept C185592680 @default.
- W2017126523 hasConcept C199360897 @default.
- W2017126523 hasConcept C2776035091 @default.