Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017407866> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2017407866 endingPage "546" @default.
- W2017407866 startingPage "524" @default.
- W2017407866 abstract "PegsSys is an experimental system in which a user formally describes how a program is put together by means of a hierarchically structured collection of pictures, called formal dependency diagrams (FDDs). Icons in an FDD denote a wide range of data and control dependencies among the relatively coarse-grained entities contained in large programs. Dependencies considered atomic with respect to one level in a hierarchy can be decomposed into a number of dependencies at a lower level. Each dependency can be a predefined primitive of the FDD language or it can be defined by a PegaSys user in terms of the primitives. A PegsSys user is given the illusion that logical formulas do not exist, even though PegaSys reasons about them internally. This involves (1) checking whether an FDD is meaningful syntactically, (2) determining whether hierarchical refinements of an FDD are methodologically sound, and (3) deciding whether an FDD hierarchy is logically consistent with the program that it is intended to describe. The techniques used to provide these capabilities are discussed along with the logical properties that enable PegaSys to maintain the user illusion." @default.
- W2017407866 created "2016-06-24" @default.
- W2017407866 creator A5079518832 @default.
- W2017407866 creator A5082543159 @default.
- W2017407866 date "1986-08-01" @default.
- W2017407866 modified "2023-10-17" @default.
- W2017407866 title "The PegaSys System: pictures as formal documentation of large programs" @default.
- W2017407866 cites W1974795494 @default.
- W2017407866 cites W1975825202 @default.
- W2017407866 cites W2058573115 @default.
- W2017407866 cites W2078404830 @default.
- W2017407866 cites W2096506940 @default.
- W2017407866 cites W2133633001 @default.
- W2017407866 cites W2144090327 @default.
- W2017407866 cites W3023216518 @default.
- W2017407866 cites W4238461661 @default.
- W2017407866 doi "https://doi.org/10.1145/6465.6478" @default.
- W2017407866 hasPublicationYear "1986" @default.
- W2017407866 type Work @default.
- W2017407866 sameAs 2017407866 @default.
- W2017407866 citedByCount "19" @default.
- W2017407866 crossrefType "journal-article" @default.
- W2017407866 hasAuthorship W2017407866A5079518832 @default.
- W2017407866 hasAuthorship W2017407866A5082543159 @default.
- W2017407866 hasConcept C154945302 @default.
- W2017407866 hasConcept C162324750 @default.
- W2017407866 hasConcept C169760540 @default.
- W2017407866 hasConcept C184047640 @default.
- W2017407866 hasConcept C19768560 @default.
- W2017407866 hasConcept C199360897 @default.
- W2017407866 hasConcept C31170391 @default.
- W2017407866 hasConcept C34447519 @default.
- W2017407866 hasConcept C41008148 @default.
- W2017407866 hasConcept C80444323 @default.
- W2017407866 hasConcept C86803240 @default.
- W2017407866 hasConceptScore W2017407866C154945302 @default.
- W2017407866 hasConceptScore W2017407866C162324750 @default.
- W2017407866 hasConceptScore W2017407866C169760540 @default.
- W2017407866 hasConceptScore W2017407866C184047640 @default.
- W2017407866 hasConceptScore W2017407866C19768560 @default.
- W2017407866 hasConceptScore W2017407866C199360897 @default.
- W2017407866 hasConceptScore W2017407866C31170391 @default.
- W2017407866 hasConceptScore W2017407866C34447519 @default.
- W2017407866 hasConceptScore W2017407866C41008148 @default.
- W2017407866 hasConceptScore W2017407866C80444323 @default.
- W2017407866 hasConceptScore W2017407866C86803240 @default.
- W2017407866 hasIssue "4" @default.
- W2017407866 hasLocation W20174078661 @default.
- W2017407866 hasOpenAccess W2017407866 @default.
- W2017407866 hasPrimaryLocation W20174078661 @default.
- W2017407866 hasRelatedWork W2013111119 @default.
- W2017407866 hasRelatedWork W2112962394 @default.
- W2017407866 hasRelatedWork W2118300983 @default.
- W2017407866 hasRelatedWork W2382501300 @default.
- W2017407866 hasRelatedWork W3137189469 @default.
- W2017407866 hasRelatedWork W3162240892 @default.
- W2017407866 hasRelatedWork W4235530921 @default.
- W2017407866 hasRelatedWork W4243252198 @default.
- W2017407866 hasRelatedWork W4245713008 @default.
- W2017407866 hasRelatedWork W63071447 @default.
- W2017407866 hasVolume "8" @default.
- W2017407866 isParatext "false" @default.
- W2017407866 isRetracted "false" @default.
- W2017407866 magId "2017407866" @default.
- W2017407866 workType "article" @default.