Matches in SemOpenAlex for { <https://semopenalex.org/work/W1529917812> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1529917812 endingPage "281" @default.
- W1529917812 startingPage "257" @default.
- W1529917812 abstract "Given a specification that includes a number of user requirements, we wish to focus on the requirements in turn, and derive a partly defined program for each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduces a mathematical basis for solving this problem; and we illustrate it by means of a simple example." @default.
- W1529917812 created "2016-06-24" @default.
- W1529917812 creator A5000109637 @default.
- W1529917812 creator A5007443078 @default.
- W1529917812 creator A5020214722 @default.
- W1529917812 date "1995-01-01" @default.
- W1529917812 modified "2023-09-25" @default.
- W1529917812 title "Program construction by parts" @default.
- W1529917812 cites W2017597203 @default.
- W1529917812 cites W2034787314 @default.
- W1529917812 cites W2035306406 @default.
- W1529917812 cites W2039689198 @default.
- W1529917812 cites W2051877193 @default.
- W1529917812 cites W2074592031 @default.
- W1529917812 cites W2081945419 @default.
- W1529917812 cites W2110846749 @default.
- W1529917812 cites W2150014099 @default.
- W1529917812 cites W2161101035 @default.
- W1529917812 cites W4250930808 @default.
- W1529917812 doi "https://doi.org/10.1007/3-540-60117-1_15" @default.
- W1529917812 hasPublicationYear "1995" @default.
- W1529917812 type Work @default.
- W1529917812 sameAs 1529917812 @default.
- W1529917812 citedByCount "12" @default.
- W1529917812 countsByYear W15299178122014 @default.
- W1529917812 crossrefType "book-chapter" @default.
- W1529917812 hasAuthorship W1529917812A5000109637 @default.
- W1529917812 hasAuthorship W1529917812A5007443078 @default.
- W1529917812 hasAuthorship W1529917812A5020214722 @default.
- W1529917812 hasConcept C115903868 @default.
- W1529917812 hasConcept C127413603 @default.
- W1529917812 hasConcept C199360897 @default.
- W1529917812 hasConcept C199639397 @default.
- W1529917812 hasConcept C41008148 @default.
- W1529917812 hasConceptScore W1529917812C115903868 @default.
- W1529917812 hasConceptScore W1529917812C127413603 @default.
- W1529917812 hasConceptScore W1529917812C199360897 @default.
- W1529917812 hasConceptScore W1529917812C199639397 @default.
- W1529917812 hasConceptScore W1529917812C41008148 @default.
- W1529917812 hasLocation W15299178121 @default.
- W1529917812 hasOpenAccess W1529917812 @default.
- W1529917812 hasPrimaryLocation W15299178121 @default.
- W1529917812 hasRelatedWork W1527862632 @default.
- W1529917812 hasRelatedWork W2109507516 @default.
- W1529917812 hasRelatedWork W2112962394 @default.
- W1529917812 hasRelatedWork W2118300983 @default.
- W1529917812 hasRelatedWork W2135396778 @default.
- W1529917812 hasRelatedWork W2382501300 @default.
- W1529917812 hasRelatedWork W2740990710 @default.
- W1529917812 hasRelatedWork W3137189469 @default.
- W1529917812 hasRelatedWork W4235530921 @default.
- W1529917812 hasRelatedWork W4243252198 @default.
- W1529917812 isParatext "false" @default.
- W1529917812 isRetracted "false" @default.
- W1529917812 magId "1529917812" @default.
- W1529917812 workType "book-chapter" @default.