Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561701483> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1561701483 endingPage "87" @default.
- W1561701483 startingPage "72" @default.
- W1561701483 abstract "Observability and reachability are important concepts in formal software development. While observability concepts allow to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of data type constructors. In this paper we show that there is a duality between observability and reachability, both from a methodological and from a formal point of view. In particular, we establish a correspondence between observer operations and data type constructors, observational algebras and constructor-based algebras, and observational and inductive properties of specifications. Our study is based on the observational logic institution [7] and on a novel treatment of reachability which introduces the institution of constructor-based logic. The duality between both concepts is formalised in a category-theoretic setting." @default.
- W1561701483 created "2016-06-24" @default.
- W1561701483 creator A5055128003 @default.
- W1561701483 creator A5057868877 @default.
- W1561701483 creator A5062496192 @default.
- W1561701483 date "2001-01-01" @default.
- W1561701483 modified "2023-10-13" @default.
- W1561701483 title "On the Duality between Observability and Reachability" @default.
- W1561701483 cites W1515642336 @default.
- W1561701483 cites W1586382855 @default.
- W1561701483 cites W1694382542 @default.
- W1561701483 cites W1851450867 @default.
- W1561701483 cites W1980425977 @default.
- W1561701483 cites W2010883554 @default.
- W1561701483 cites W2028110117 @default.
- W1561701483 cites W2132371811 @default.
- W1561701483 cites W2162643525 @default.
- W1561701483 cites W3023216518 @default.
- W1561701483 cites W87506586 @default.
- W1561701483 cites W2012007202 @default.
- W1561701483 doi "https://doi.org/10.1007/3-540-45315-6_5" @default.
- W1561701483 hasPublicationYear "2001" @default.
- W1561701483 type Work @default.
- W1561701483 sameAs 1561701483 @default.
- W1561701483 citedByCount "7" @default.
- W1561701483 countsByYear W15617014832012 @default.
- W1561701483 countsByYear W15617014832013 @default.
- W1561701483 countsByYear W15617014832021 @default.
- W1561701483 countsByYear W15617014832023 @default.
- W1561701483 crossrefType "book-chapter" @default.
- W1561701483 hasAuthorship W1561701483A5055128003 @default.
- W1561701483 hasAuthorship W1561701483A5057868877 @default.
- W1561701483 hasAuthorship W1561701483A5062496192 @default.
- W1561701483 hasBestOaLocation W15617014831 @default.
- W1561701483 hasConcept C118615104 @default.
- W1561701483 hasConcept C121332964 @default.
- W1561701483 hasConcept C136119220 @default.
- W1561701483 hasConcept C136643341 @default.
- W1561701483 hasConcept C17744445 @default.
- W1561701483 hasConcept C199539241 @default.
- W1561701483 hasConcept C202444582 @default.
- W1561701483 hasConcept C2778023678 @default.
- W1561701483 hasConcept C2780510313 @default.
- W1561701483 hasConcept C2780704645 @default.
- W1561701483 hasConcept C28826006 @default.
- W1561701483 hasConcept C32848918 @default.
- W1561701483 hasConcept C33923547 @default.
- W1561701483 hasConcept C36299963 @default.
- W1561701483 hasConcept C41008148 @default.
- W1561701483 hasConcept C62520636 @default.
- W1561701483 hasConcept C80444323 @default.
- W1561701483 hasConceptScore W1561701483C118615104 @default.
- W1561701483 hasConceptScore W1561701483C121332964 @default.
- W1561701483 hasConceptScore W1561701483C136119220 @default.
- W1561701483 hasConceptScore W1561701483C136643341 @default.
- W1561701483 hasConceptScore W1561701483C17744445 @default.
- W1561701483 hasConceptScore W1561701483C199539241 @default.
- W1561701483 hasConceptScore W1561701483C202444582 @default.
- W1561701483 hasConceptScore W1561701483C2778023678 @default.
- W1561701483 hasConceptScore W1561701483C2780510313 @default.
- W1561701483 hasConceptScore W1561701483C2780704645 @default.
- W1561701483 hasConceptScore W1561701483C28826006 @default.
- W1561701483 hasConceptScore W1561701483C32848918 @default.
- W1561701483 hasConceptScore W1561701483C33923547 @default.
- W1561701483 hasConceptScore W1561701483C36299963 @default.
- W1561701483 hasConceptScore W1561701483C41008148 @default.
- W1561701483 hasConceptScore W1561701483C62520636 @default.
- W1561701483 hasConceptScore W1561701483C80444323 @default.
- W1561701483 hasLocation W15617014831 @default.
- W1561701483 hasOpenAccess W1561701483 @default.
- W1561701483 hasPrimaryLocation W15617014831 @default.
- W1561701483 hasRelatedWork W1576885156 @default.
- W1561701483 hasRelatedWork W1776596384 @default.
- W1561701483 hasRelatedWork W1966472516 @default.
- W1561701483 hasRelatedWork W2003418697 @default.
- W1561701483 hasRelatedWork W2466168273 @default.
- W1561701483 hasRelatedWork W2481408997 @default.
- W1561701483 hasRelatedWork W2568951527 @default.
- W1561701483 hasRelatedWork W2967681346 @default.
- W1561701483 hasRelatedWork W4225712659 @default.
- W1561701483 hasRelatedWork W2709871450 @default.
- W1561701483 isParatext "false" @default.
- W1561701483 isRetracted "false" @default.
- W1561701483 magId "1561701483" @default.
- W1561701483 workType "book-chapter" @default.