Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022240191> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2022240191 abstract "Abstract Formal techniques can be used to develop programs with provable properties. A main issue is to guarantee consistency between a formal functional specification representing a programming task and an algorithmic solution for it. The illustrated formal approach is based on the idea of using consistency - defining rules as construction rules, thereby supporting the systematic development of variants of solutions such that the required consistency property is guaranteed by construction." @default.
- W2022240191 created "2016-06-24" @default.
- W2022240191 creator A5022615682 @default.
- W2022240191 date "1986-08-01" @default.
- W2022240191 modified "2023-09-26" @default.
- W2022240191 title "Formal specification and construction techniques for the development of programs with guaranteed properties" @default.
- W2022240191 cites W1597440688 @default.
- W2022240191 cites W1977012270 @default.
- W2022240191 cites W2062251861 @default.
- W2022240191 cites W2103953153 @default.
- W2022240191 cites W2147543351 @default.
- W2022240191 doi "https://doi.org/10.1016/0010-4655(86)90068-8" @default.
- W2022240191 hasPublicationYear "1986" @default.
- W2022240191 type Work @default.
- W2022240191 sameAs 2022240191 @default.
- W2022240191 citedByCount "2" @default.
- W2022240191 crossrefType "journal-article" @default.
- W2022240191 hasAuthorship W2022240191A5022615682 @default.
- W2022240191 hasConcept C111472728 @default.
- W2022240191 hasConcept C111498074 @default.
- W2022240191 hasConcept C116253237 @default.
- W2022240191 hasConcept C127413603 @default.
- W2022240191 hasConcept C134306372 @default.
- W2022240191 hasConcept C138885662 @default.
- W2022240191 hasConcept C14331664 @default.
- W2022240191 hasConcept C154945302 @default.
- W2022240191 hasConcept C189950617 @default.
- W2022240191 hasConcept C199360897 @default.
- W2022240191 hasConcept C201995342 @default.
- W2022240191 hasConcept C2776436953 @default.
- W2022240191 hasConcept C2776542497 @default.
- W2022240191 hasConcept C2780451532 @default.
- W2022240191 hasConcept C33923547 @default.
- W2022240191 hasConcept C41008148 @default.
- W2022240191 hasConcept C75606506 @default.
- W2022240191 hasConcept C80444323 @default.
- W2022240191 hasConceptScore W2022240191C111472728 @default.
- W2022240191 hasConceptScore W2022240191C111498074 @default.
- W2022240191 hasConceptScore W2022240191C116253237 @default.
- W2022240191 hasConceptScore W2022240191C127413603 @default.
- W2022240191 hasConceptScore W2022240191C134306372 @default.
- W2022240191 hasConceptScore W2022240191C138885662 @default.
- W2022240191 hasConceptScore W2022240191C14331664 @default.
- W2022240191 hasConceptScore W2022240191C154945302 @default.
- W2022240191 hasConceptScore W2022240191C189950617 @default.
- W2022240191 hasConceptScore W2022240191C199360897 @default.
- W2022240191 hasConceptScore W2022240191C201995342 @default.
- W2022240191 hasConceptScore W2022240191C2776436953 @default.
- W2022240191 hasConceptScore W2022240191C2776542497 @default.
- W2022240191 hasConceptScore W2022240191C2780451532 @default.
- W2022240191 hasConceptScore W2022240191C33923547 @default.
- W2022240191 hasConceptScore W2022240191C41008148 @default.
- W2022240191 hasConceptScore W2022240191C75606506 @default.
- W2022240191 hasConceptScore W2022240191C80444323 @default.
- W2022240191 hasLocation W20222401911 @default.
- W2022240191 hasOpenAccess W2022240191 @default.
- W2022240191 hasPrimaryLocation W20222401911 @default.
- W2022240191 hasRelatedWork W1023031443 @default.
- W2022240191 hasRelatedWork W121890175 @default.
- W2022240191 hasRelatedWork W1548068317 @default.
- W2022240191 hasRelatedWork W159786747 @default.
- W2022240191 hasRelatedWork W1842674863 @default.
- W2022240191 hasRelatedWork W2122539144 @default.
- W2022240191 hasRelatedWork W2134102044 @default.
- W2022240191 hasRelatedWork W2225969887 @default.
- W2022240191 hasRelatedWork W2234147556 @default.
- W2022240191 hasRelatedWork W2338081809 @default.
- W2022240191 hasRelatedWork W2464872518 @default.
- W2022240191 hasRelatedWork W2550970678 @default.
- W2022240191 hasRelatedWork W2891318893 @default.
- W2022240191 hasRelatedWork W2923881937 @default.
- W2022240191 hasRelatedWork W2955537307 @default.
- W2022240191 hasRelatedWork W3094514829 @default.
- W2022240191 hasRelatedWork W3124334311 @default.
- W2022240191 hasRelatedWork W54422040 @default.
- W2022240191 hasRelatedWork W999191431 @default.
- W2022240191 hasRelatedWork W2154548683 @default.
- W2022240191 isParatext "false" @default.
- W2022240191 isRetracted "false" @default.
- W2022240191 magId "2022240191" @default.
- W2022240191 workType "article" @default.