Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079392207> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2079392207 endingPage "184" @default.
- W2079392207 startingPage "175" @default.
- W2079392207 abstract "For the rigorous development of larger-scale software, the use of data abstractions is essential. For formal development in methods such as the VDM, B and the refinement calculus such abstractions are encapsulated in a module with state and operations. The principle of information hiding suggests that the state of a module should be inaccessible to the rest of a program. As an approach to refinement where an existing module is to be reused, we recommend relaxing the principle of information hiding to allow the program being developed to access the abstract state of the module directly. Eventually all references to the module state must be replaced by calls to module operations, but in the initial stages of refinement allowing only module operations is too restrictive. By allowing access to the module state the development method supports the reuse of existing modules more easily." @default.
- W2079392207 created "2016-06-24" @default.
- W2079392207 creator A5054584529 @default.
- W2079392207 date "1996-09-01" @default.
- W2079392207 modified "2023-10-14" @default.
- W2079392207 title "Supporting module reuse in refinement" @default.
- W2079392207 cites W1551293951 @default.
- W2079392207 cites W1552647623 @default.
- W2079392207 cites W156257448 @default.
- W2079392207 cites W1970495662 @default.
- W2079392207 cites W2038814435 @default.
- W2079392207 cites W2086869884 @default.
- W2079392207 cites W2134119432 @default.
- W2079392207 doi "https://doi.org/10.1016/0167-6423(96)00006-8" @default.
- W2079392207 hasPublicationYear "1996" @default.
- W2079392207 type Work @default.
- W2079392207 sameAs 2079392207 @default.
- W2079392207 citedByCount "2" @default.
- W2079392207 countsByYear W20793922072019 @default.
- W2079392207 crossrefType "journal-article" @default.
- W2079392207 hasAuthorship W2079392207A5054584529 @default.
- W2079392207 hasBestOaLocation W20793922071 @default.
- W2079392207 hasConcept C115903868 @default.
- W2079392207 hasConcept C18903297 @default.
- W2079392207 hasConcept C199360897 @default.
- W2079392207 hasConcept C206588197 @default.
- W2079392207 hasConcept C41008148 @default.
- W2079392207 hasConcept C86803240 @default.
- W2079392207 hasConceptScore W2079392207C115903868 @default.
- W2079392207 hasConceptScore W2079392207C18903297 @default.
- W2079392207 hasConceptScore W2079392207C199360897 @default.
- W2079392207 hasConceptScore W2079392207C206588197 @default.
- W2079392207 hasConceptScore W2079392207C41008148 @default.
- W2079392207 hasConceptScore W2079392207C86803240 @default.
- W2079392207 hasIssue "2" @default.
- W2079392207 hasLocation W20793922071 @default.
- W2079392207 hasOpenAccess W2079392207 @default.
- W2079392207 hasPrimaryLocation W20793922071 @default.
- W2079392207 hasRelatedWork W1527862632 @default.
- W2079392207 hasRelatedWork W1853785581 @default.
- W2079392207 hasRelatedWork W2109507516 @default.
- W2079392207 hasRelatedWork W2112962394 @default.
- W2079392207 hasRelatedWork W2118300983 @default.
- W2079392207 hasRelatedWork W2135396778 @default.
- W2079392207 hasRelatedWork W2740990710 @default.
- W2079392207 hasRelatedWork W3137189469 @default.
- W2079392207 hasRelatedWork W4235530921 @default.
- W2079392207 hasRelatedWork W4243252198 @default.
- W2079392207 hasVolume "27" @default.
- W2079392207 isParatext "false" @default.
- W2079392207 isRetracted "false" @default.
- W2079392207 magId "2079392207" @default.
- W2079392207 workType "article" @default.