Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098014782> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2098014782 endingPage "831" @default.
- W2098014782 startingPage "825" @default.
- W2098014782 abstract "A novel methodological approach to the design of large-scale-integrated systems proposed correctness by construction. By using a restricted repertoire of admissible combination rules, it is possible to guarantee that only designs suitable for implementation are generated. This paper addresses the complementary issue of logical correctness by construction - prohibiting meaningless constructs from occurring. The presented approach is based on defining meaning in terms of a catalog of standard operators. Admissible compositions are restricted so that only constructs belonging to this catalog may be generated. This approach is mainly intended for the data-path of digital systems. There, repetitive and regular compositions provide a suitable environment for using catalogs of operators. The paper focuses on the description of operators relevant to the design at Register Transfer Level. Manipulation rules are used for describing their properties. Rules basic to logical correctness by construction are shown to be: contractions, expansions and transformations into canonical forms." @default.
- W2098014782 created "2016-06-24" @default.
- W2098014782 creator A5003121036 @default.
- W2098014782 date "1982-01-01" @default.
- W2098014782 modified "2023-09-26" @default.
- W2098014782 title "Logical Correctness by Construction" @default.
- W2098014782 cites W1499706288 @default.
- W2098014782 cites W151011738 @default.
- W2098014782 cites W1560573910 @default.
- W2098014782 cites W1579433101 @default.
- W2098014782 cites W1666015432 @default.
- W2098014782 cites W1982070750 @default.
- W2098014782 cites W2021492392 @default.
- W2098014782 cites W2054631220 @default.
- W2098014782 cites W2109207559 @default.
- W2098014782 cites W2128866814 @default.
- W2098014782 cites W2130135927 @default.
- W2098014782 cites W2135461915 @default.
- W2098014782 cites W2136291591 @default.
- W2098014782 cites W2138943229 @default.
- W2098014782 cites W2142581496 @default.
- W2098014782 cites W2626517695 @default.
- W2098014782 doi "https://doi.org/10.5555/800263.809296" @default.
- W2098014782 hasPublicationYear "1982" @default.
- W2098014782 type Work @default.
- W2098014782 sameAs 2098014782 @default.
- W2098014782 citedByCount "4" @default.
- W2098014782 countsByYear W20980147822017 @default.
- W2098014782 countsByYear W20980147822019 @default.
- W2098014782 countsByYear W20980147822021 @default.
- W2098014782 crossrefType "proceedings-article" @default.
- W2098014782 hasAuthorship W2098014782A5003121036 @default.
- W2098014782 hasConcept C199360897 @default.
- W2098014782 hasConcept C21847791 @default.
- W2098014782 hasConcept C2777735758 @default.
- W2098014782 hasConcept C41008148 @default.
- W2098014782 hasConcept C55439883 @default.
- W2098014782 hasConcept C80444323 @default.
- W2098014782 hasConceptScore W2098014782C199360897 @default.
- W2098014782 hasConceptScore W2098014782C21847791 @default.
- W2098014782 hasConceptScore W2098014782C2777735758 @default.
- W2098014782 hasConceptScore W2098014782C41008148 @default.
- W2098014782 hasConceptScore W2098014782C55439883 @default.
- W2098014782 hasConceptScore W2098014782C80444323 @default.
- W2098014782 hasLocation W20980147821 @default.
- W2098014782 hasOpenAccess W2098014782 @default.
- W2098014782 hasPrimaryLocation W20980147821 @default.
- W2098014782 hasRelatedWork W114577526 @default.
- W2098014782 hasRelatedWork W1505590927 @default.
- W2098014782 hasRelatedWork W1535160719 @default.
- W2098014782 hasRelatedWork W1611626060 @default.
- W2098014782 hasRelatedWork W1763671901 @default.
- W2098014782 hasRelatedWork W1889554705 @default.
- W2098014782 hasRelatedWork W1998054782 @default.
- W2098014782 hasRelatedWork W2021998076 @default.
- W2098014782 hasRelatedWork W2022905090 @default.
- W2098014782 hasRelatedWork W2042187020 @default.
- W2098014782 hasRelatedWork W2051939099 @default.
- W2098014782 hasRelatedWork W2071459704 @default.
- W2098014782 hasRelatedWork W2075629863 @default.
- W2098014782 hasRelatedWork W2121217882 @default.
- W2098014782 hasRelatedWork W2121682657 @default.
- W2098014782 hasRelatedWork W2124081341 @default.
- W2098014782 hasRelatedWork W2169773325 @default.
- W2098014782 hasRelatedWork W2181841040 @default.
- W2098014782 hasRelatedWork W2183216357 @default.
- W2098014782 hasRelatedWork W2262088629 @default.
- W2098014782 isParatext "false" @default.
- W2098014782 isRetracted "false" @default.
- W2098014782 magId "2098014782" @default.
- W2098014782 workType "article" @default.