Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984413137> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1984413137 endingPage "211" @default.
- W1984413137 startingPage "202" @default.
- W1984413137 abstract "The author proposes an approach to the development of software systems based on ideas and techniques from the algebraic theory of graph grammars. Given an initial specification, SPEC productions (SPEC is an algebraic specification) are applied sequentially or in parallel to generate another specification: if the productions are the interfaces of module specifications from a library, then the derivation sequence can be translated into a modular system. The results obtained are intended as a formal support for a rule-based (expert) system to aid the systematic development of large software systems from a library of reusable components. The author discusses the notions of derivability and translation of a derivation sequence into an interconnection of modules, and he indicates how to anticipate the application of a production using the parallelism theorem. This equivalence of derivations translates into provably equivalent modular systems. >" @default.
- W1984413137 created "2016-06-24" @default.
- W1984413137 creator A5050990988 @default.
- W1984413137 date "1990-02-01" @default.
- W1984413137 modified "2023-09-26" @default.
- W1984413137 title "A rule-based approach to modular system design" @default.
- W1984413137 cites W1487123027 @default.
- W1984413137 cites W1508002722 @default.
- W1984413137 cites W1532639618 @default.
- W1984413137 cites W1541153481 @default.
- W1984413137 cites W1551368431 @default.
- W1984413137 cites W1568997950 @default.
- W1984413137 cites W1574796876 @default.
- W1984413137 cites W1586116057 @default.
- W1984413137 cites W1608194541 @default.
- W1984413137 cites W174471988 @default.
- W1984413137 cites W1756661417 @default.
- W1984413137 cites W1963498955 @default.
- W1984413137 cites W1967975156 @default.
- W1984413137 cites W2000825654 @default.
- W1984413137 cites W2041356625 @default.
- W1984413137 cites W2046463465 @default.
- W1984413137 cites W2935742735 @default.
- W1984413137 cites W3022519741 @default.
- W1984413137 doi "https://doi.org/10.5555/100296.100324" @default.
- W1984413137 hasPublicationYear "1990" @default.
- W1984413137 type Work @default.
- W1984413137 sameAs 1984413137 @default.
- W1984413137 citedByCount "4" @default.
- W1984413137 crossrefType "proceedings-article" @default.
- W1984413137 hasAuthorship W1984413137A5050990988 @default.
- W1984413137 hasConcept C101468663 @default.
- W1984413137 hasConcept C116253237 @default.
- W1984413137 hasConcept C118615104 @default.
- W1984413137 hasConcept C132525143 @default.
- W1984413137 hasConcept C154945302 @default.
- W1984413137 hasConcept C199360897 @default.
- W1984413137 hasConcept C2777691520 @default.
- W1984413137 hasConcept C2780069185 @default.
- W1984413137 hasConcept C33923547 @default.
- W1984413137 hasConcept C41008148 @default.
- W1984413137 hasConcept C53893814 @default.
- W1984413137 hasConcept C80444323 @default.
- W1984413137 hasConceptScore W1984413137C101468663 @default.
- W1984413137 hasConceptScore W1984413137C116253237 @default.
- W1984413137 hasConceptScore W1984413137C118615104 @default.
- W1984413137 hasConceptScore W1984413137C132525143 @default.
- W1984413137 hasConceptScore W1984413137C154945302 @default.
- W1984413137 hasConceptScore W1984413137C199360897 @default.
- W1984413137 hasConceptScore W1984413137C2777691520 @default.
- W1984413137 hasConceptScore W1984413137C2780069185 @default.
- W1984413137 hasConceptScore W1984413137C33923547 @default.
- W1984413137 hasConceptScore W1984413137C41008148 @default.
- W1984413137 hasConceptScore W1984413137C53893814 @default.
- W1984413137 hasConceptScore W1984413137C80444323 @default.
- W1984413137 hasLocation W19844131371 @default.
- W1984413137 hasOpenAccess W1984413137 @default.
- W1984413137 hasPrimaryLocation W19844131371 @default.
- W1984413137 hasRelatedWork W1532639618 @default.
- W1984413137 hasRelatedWork W1553013962 @default.
- W1984413137 hasRelatedWork W1568997950 @default.
- W1984413137 hasRelatedWork W1574796876 @default.
- W1984413137 hasRelatedWork W1587555185 @default.
- W1984413137 hasRelatedWork W1592321163 @default.
- W1984413137 hasRelatedWork W1603788080 @default.
- W1984413137 hasRelatedWork W174471988 @default.
- W1984413137 hasRelatedWork W1877180621 @default.
- W1984413137 hasRelatedWork W1967975156 @default.
- W1984413137 hasRelatedWork W2011809587 @default.
- W1984413137 hasRelatedWork W2097964206 @default.
- W1984413137 hasRelatedWork W2098971106 @default.
- W1984413137 hasRelatedWork W2102738732 @default.
- W1984413137 hasRelatedWork W2120995755 @default.
- W1984413137 hasRelatedWork W2122715506 @default.
- W1984413137 hasRelatedWork W2126313078 @default.
- W1984413137 hasRelatedWork W2536118580 @default.
- W1984413137 hasRelatedWork W2543408675 @default.
- W1984413137 hasRelatedWork W656556551 @default.
- W1984413137 isParatext "false" @default.
- W1984413137 isRetracted "false" @default.
- W1984413137 magId "1984413137" @default.
- W1984413137 workType "article" @default.