Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125724871> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2125724871 endingPage "161" @default.
- W2125724871 startingPage "152" @default.
- W2125724871 abstract "Building a program from an existing one - called design with program reuse - has a number of interesting payoffs but differs from classical program designs. This paper addresses the issue of program reuse in the context in which design is achieved by a transformational development. A design method for making easy the reuse is introduced. The idea is to highlight and exploit the link between two related specifications - the specification for which a program has to be developed and the specification of the program selected to be reused - in order to guide the program reuse. In practice, a set of Reuse Schemes is proposed and the program design is done by applying one or several of them to an initial specification. The use of such schemes allows to partially or completely systematize the program reuse by using first-order theorem proving. A reuse example illustrates the proposed design method." @default.
- W2125724871 created "2016-06-24" @default.
- W2125724871 creator A5021187911 @default.
- W2125724871 date "1993-12-06" @default.
- W2125724871 modified "2023-09-26" @default.
- W2125724871 title "Related specifications reuse" @default.
- W2125724871 cites W108438642 @default.
- W2125724871 cites W1510119905 @default.
- W2125724871 cites W1515362601 @default.
- W2125724871 cites W1529279321 @default.
- W2125724871 cites W1544035560 @default.
- W2125724871 cites W1552647623 @default.
- W2125724871 cites W166900629 @default.
- W2125724871 cites W1975322993 @default.
- W2125724871 cites W2010165008 @default.
- W2125724871 cites W2017597203 @default.
- W2125724871 cites W2023299380 @default.
- W2125724871 cites W2045323411 @default.
- W2125724871 cites W2046489718 @default.
- W2125724871 cites W2056589837 @default.
- W2125724871 cites W2071523700 @default.
- W2125724871 cites W2093648364 @default.
- W2125724871 cites W2101379987 @default.
- W2125724871 cites W2129466151 @default.
- W2125724871 cites W2133622833 @default.
- W2125724871 cites W2159805284 @default.
- W2125724871 cites W2273630420 @default.
- W2125724871 doi "https://doi.org/10.5555/951807.951832" @default.
- W2125724871 hasPublicationYear "1993" @default.
- W2125724871 type Work @default.
- W2125724871 sameAs 2125724871 @default.
- W2125724871 citedByCount "1" @default.
- W2125724871 crossrefType "proceedings-article" @default.
- W2125724871 hasAuthorship W2125724871A5021187911 @default.
- W2125724871 hasConcept C115903868 @default.
- W2125724871 hasConcept C127413603 @default.
- W2125724871 hasConcept C151730666 @default.
- W2125724871 hasConcept C165696696 @default.
- W2125724871 hasConcept C177264268 @default.
- W2125724871 hasConcept C199360897 @default.
- W2125724871 hasConcept C206588197 @default.
- W2125724871 hasConcept C2779343474 @default.
- W2125724871 hasConcept C38652104 @default.
- W2125724871 hasConcept C41008148 @default.
- W2125724871 hasConcept C548081761 @default.
- W2125724871 hasConcept C86803240 @default.
- W2125724871 hasConceptScore W2125724871C115903868 @default.
- W2125724871 hasConceptScore W2125724871C127413603 @default.
- W2125724871 hasConceptScore W2125724871C151730666 @default.
- W2125724871 hasConceptScore W2125724871C165696696 @default.
- W2125724871 hasConceptScore W2125724871C177264268 @default.
- W2125724871 hasConceptScore W2125724871C199360897 @default.
- W2125724871 hasConceptScore W2125724871C206588197 @default.
- W2125724871 hasConceptScore W2125724871C2779343474 @default.
- W2125724871 hasConceptScore W2125724871C38652104 @default.
- W2125724871 hasConceptScore W2125724871C41008148 @default.
- W2125724871 hasConceptScore W2125724871C548081761 @default.
- W2125724871 hasConceptScore W2125724871C86803240 @default.
- W2125724871 hasLocation W21257248711 @default.
- W2125724871 hasOpenAccess W2125724871 @default.
- W2125724871 hasPrimaryLocation W21257248711 @default.
- W2125724871 hasRelatedWork W1498593964 @default.
- W2125724871 hasRelatedWork W1502427242 @default.
- W2125724871 hasRelatedWork W1550079775 @default.
- W2125724871 hasRelatedWork W1551278535 @default.
- W2125724871 hasRelatedWork W1620129481 @default.
- W2125724871 hasRelatedWork W1736163009 @default.
- W2125724871 hasRelatedWork W1850515309 @default.
- W2125724871 hasRelatedWork W2061269998 @default.
- W2125724871 hasRelatedWork W2093148929 @default.
- W2125724871 hasRelatedWork W2106551902 @default.
- W2125724871 hasRelatedWork W2139805637 @default.
- W2125724871 hasRelatedWork W2144741351 @default.
- W2125724871 hasRelatedWork W2147749406 @default.
- W2125724871 hasRelatedWork W2155773669 @default.
- W2125724871 hasRelatedWork W2158603705 @default.
- W2125724871 hasRelatedWork W2171889816 @default.
- W2125724871 hasRelatedWork W2467006232 @default.
- W2125724871 hasRelatedWork W2514521914 @default.
- W2125724871 hasRelatedWork W2563558604 @default.
- W2125724871 hasRelatedWork W76438331 @default.
- W2125724871 isParatext "false" @default.
- W2125724871 isRetracted "false" @default.
- W2125724871 magId "2125724871" @default.
- W2125724871 workType "article" @default.