Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019011243> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2019011243 endingPage "315" @default.
- W2019011243 startingPage "312" @default.
- W2019011243 abstract "Deductive synthesis is a method of software development where an algorithm is derived from a formal problem specification which guarantees the reliability of final product. The paper introduces a program synthesis method PAR most of whose synthesis steps are mechanical and some of them can be done interactively by human-computer interaction, and formally synthesizes a dependable algorithm for a selection problem supported by PAR method and PAR platform. Program synthesis based on PAR covers a number of classical algorithm design tactics, develops algorithmic programs together with their proof of correctness, and makes the algorithm more reliable and solving idea more understandable." @default.
- W2019011243 created "2016-06-24" @default.
- W2019011243 creator A5029327042 @default.
- W2019011243 creator A5043340858 @default.
- W2019011243 date "2014-08-01" @default.
- W2019011243 modified "2023-09-27" @default.
- W2019011243 title "Deductive Synthesis of Algorithms in Human-Computer Interaction" @default.
- W2019011243 cites W1506772752 @default.
- W2019011243 cites W1558180172 @default.
- W2019011243 cites W1565981606 @default.
- W2019011243 cites W1709396178 @default.
- W2019011243 cites W2057118835 @default.
- W2019011243 cites W2094639688 @default.
- W2019011243 cites W2177760151 @default.
- W2019011243 cites W2316194651 @default.
- W2019011243 cites W4231984671 @default.
- W2019011243 cites W4247530313 @default.
- W2019011243 cites W4254354208 @default.
- W2019011243 doi "https://doi.org/10.4028/www.scientific.net/amm.610.312" @default.
- W2019011243 hasPublicationYear "2014" @default.
- W2019011243 type Work @default.
- W2019011243 sameAs 2019011243 @default.
- W2019011243 citedByCount "0" @default.
- W2019011243 crossrefType "journal-article" @default.
- W2019011243 hasAuthorship W2019011243A5029327042 @default.
- W2019011243 hasAuthorship W2019011243A5043340858 @default.
- W2019011243 hasConcept C11413529 @default.
- W2019011243 hasConcept C121332964 @default.
- W2019011243 hasConcept C154945302 @default.
- W2019011243 hasConcept C163258240 @default.
- W2019011243 hasConcept C2524010 @default.
- W2019011243 hasConcept C2776937632 @default.
- W2019011243 hasConcept C33923547 @default.
- W2019011243 hasConcept C41008148 @default.
- W2019011243 hasConcept C43214815 @default.
- W2019011243 hasConcept C55439883 @default.
- W2019011243 hasConcept C62520636 @default.
- W2019011243 hasConcept C80444323 @default.
- W2019011243 hasConcept C81917197 @default.
- W2019011243 hasConcept C90673727 @default.
- W2019011243 hasConceptScore W2019011243C11413529 @default.
- W2019011243 hasConceptScore W2019011243C121332964 @default.
- W2019011243 hasConceptScore W2019011243C154945302 @default.
- W2019011243 hasConceptScore W2019011243C163258240 @default.
- W2019011243 hasConceptScore W2019011243C2524010 @default.
- W2019011243 hasConceptScore W2019011243C2776937632 @default.
- W2019011243 hasConceptScore W2019011243C33923547 @default.
- W2019011243 hasConceptScore W2019011243C41008148 @default.
- W2019011243 hasConceptScore W2019011243C43214815 @default.
- W2019011243 hasConceptScore W2019011243C55439883 @default.
- W2019011243 hasConceptScore W2019011243C62520636 @default.
- W2019011243 hasConceptScore W2019011243C80444323 @default.
- W2019011243 hasConceptScore W2019011243C81917197 @default.
- W2019011243 hasConceptScore W2019011243C90673727 @default.
- W2019011243 hasLocation W20190112431 @default.
- W2019011243 hasOpenAccess W2019011243 @default.
- W2019011243 hasPrimaryLocation W20190112431 @default.
- W2019011243 hasRelatedWork W1516169988 @default.
- W2019011243 hasRelatedWork W1517743118 @default.
- W2019011243 hasRelatedWork W1985198438 @default.
- W2019011243 hasRelatedWork W2024218563 @default.
- W2019011243 hasRelatedWork W2070369873 @default.
- W2019011243 hasRelatedWork W2072806201 @default.
- W2019011243 hasRelatedWork W2281090687 @default.
- W2019011243 hasRelatedWork W2898267029 @default.
- W2019011243 hasRelatedWork W2965845133 @default.
- W2019011243 hasRelatedWork W58529227 @default.
- W2019011243 hasVolume "610" @default.
- W2019011243 isParatext "false" @default.
- W2019011243 isRetracted "false" @default.
- W2019011243 magId "2019011243" @default.
- W2019011243 workType "article" @default.