Matches in SemOpenAlex for { <https://semopenalex.org/work/W1985466167> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1985466167 endingPage "59" @default.
- W1985466167 startingPage "50" @default.
- W1985466167 abstract "We are investigating software design processes using a three part approach. For a design method of interest, we first perform walkthroughs on a number of small problems. Second, we construct a simulation program which duplicates the designs produced by the walkthroughs, and third, we construct a process program that supports human application of the method. We have been pursuing this program for the formal design process developed by Dijkstra and Gries. In this paper, we describe our first step towards process programming this method: ISLET, a language-oriented program/proof editor. ISLET supports simple stepwise refinement with proof by automatically generating and mechanically certifying verification conditions. In addition, through ISLET the programmer has access to a library of pre-verified cliches that can be used to create programs more easily. We have constructed a prototype implementation in Prolog and used it to generate a number of example designs." @default.
- W1985466167 created "2016-06-24" @default.
- W1985466167 creator A5058841575 @default.
- W1985466167 date "1993-04-01" @default.
- W1985466167 modified "2023-09-25" @default.
- W1985466167 title "Toward tools to support the Gries/Dijkstra design process" @default.
- W1985466167 cites W1985804407 @default.
- W1985466167 cites W1991361738 @default.
- W1985466167 cites W1996486194 @default.
- W1985466167 cites W1996551820 @default.
- W1985466167 cites W1996967674 @default.
- W1985466167 cites W2007059425 @default.
- W1985466167 cites W2012637410 @default.
- W1985466167 cites W2025862760 @default.
- W1985466167 cites W2029143591 @default.
- W1985466167 cites W2038754076 @default.
- W1985466167 cites W2041423244 @default.
- W1985466167 cites W2045870649 @default.
- W1985466167 cites W2052564116 @default.
- W1985466167 cites W2057602126 @default.
- W1985466167 cites W2066210260 @default.
- W1985466167 cites W2076974317 @default.
- W1985466167 cites W2090463680 @default.
- W1985466167 cites W2093802069 @default.
- W1985466167 cites W2096536569 @default.
- W1985466167 cites W2118518941 @default.
- W1985466167 cites W2129466151 @default.
- W1985466167 cites W2133049287 @default.
- W1985466167 cites W2133247167 @default.
- W1985466167 cites W2147543351 @default.
- W1985466167 cites W2155490532 @default.
- W1985466167 cites W2158535304 @default.
- W1985466167 cites W2160204544 @default.
- W1985466167 cites W2166227371 @default.
- W1985466167 cites W2507006525 @default.
- W1985466167 cites W3149584389 @default.
- W1985466167 doi "https://doi.org/10.1145/159420.155838" @default.
- W1985466167 hasPublicationYear "1993" @default.
- W1985466167 type Work @default.
- W1985466167 sameAs 1985466167 @default.
- W1985466167 citedByCount "0" @default.
- W1985466167 crossrefType "journal-article" @default.
- W1985466167 hasAuthorship W1985466167A5058841575 @default.
- W1985466167 hasConcept C111472728 @default.
- W1985466167 hasConcept C115903868 @default.
- W1985466167 hasConcept C132525143 @default.
- W1985466167 hasConcept C138885662 @default.
- W1985466167 hasConcept C173870130 @default.
- W1985466167 hasConcept C199360897 @default.
- W1985466167 hasConcept C22590252 @default.
- W1985466167 hasConcept C2778514511 @default.
- W1985466167 hasConcept C2780586882 @default.
- W1985466167 hasConcept C2780801425 @default.
- W1985466167 hasConcept C41008148 @default.
- W1985466167 hasConcept C80444323 @default.
- W1985466167 hasConcept C98045186 @default.
- W1985466167 hasConceptScore W1985466167C111472728 @default.
- W1985466167 hasConceptScore W1985466167C115903868 @default.
- W1985466167 hasConceptScore W1985466167C132525143 @default.
- W1985466167 hasConceptScore W1985466167C138885662 @default.
- W1985466167 hasConceptScore W1985466167C173870130 @default.
- W1985466167 hasConceptScore W1985466167C199360897 @default.
- W1985466167 hasConceptScore W1985466167C22590252 @default.
- W1985466167 hasConceptScore W1985466167C2778514511 @default.
- W1985466167 hasConceptScore W1985466167C2780586882 @default.
- W1985466167 hasConceptScore W1985466167C2780801425 @default.
- W1985466167 hasConceptScore W1985466167C41008148 @default.
- W1985466167 hasConceptScore W1985466167C80444323 @default.
- W1985466167 hasConceptScore W1985466167C98045186 @default.
- W1985466167 hasIssue "2" @default.
- W1985466167 hasLocation W19854661671 @default.
- W1985466167 hasOpenAccess W1985466167 @default.
- W1985466167 hasPrimaryLocation W19854661671 @default.
- W1985466167 hasRelatedWork W1503760549 @default.
- W1985466167 hasRelatedWork W1536968357 @default.
- W1985466167 hasRelatedWork W1998586093 @default.
- W1985466167 hasRelatedWork W3128138886 @default.
- W1985466167 hasRelatedWork W3137189469 @default.
- W1985466167 hasRelatedWork W3160136729 @default.
- W1985466167 hasRelatedWork W4206956498 @default.
- W1985466167 hasRelatedWork W4237428255 @default.
- W1985466167 hasRelatedWork W4246531319 @default.
- W1985466167 hasRelatedWork W1482645738 @default.
- W1985466167 hasVolume "18" @default.
- W1985466167 isParatext "false" @default.
- W1985466167 isRetracted "false" @default.
- W1985466167 magId "1985466167" @default.
- W1985466167 workType "article" @default.