Matches in SemOpenAlex for { <https://semopenalex.org/work/W89404493> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W89404493 endingPage "188" @default.
- W89404493 startingPage "177" @default.
- W89404493 abstract "For high-level synthesis transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. Because of the importance of visualisation of design-information several kinds of graphs are used as design representations. Transformational design based on graph representation is closely related to rewriting of (sub)graphs. In this paper the formal aspects of transformational design are related to graph rewriting theory. It is shown how a formal framework for transformational design can benefit from graph rewriting theory. Especially preconditions for the application of transformation rules can be based on generally formulated preconditions from graph rewriting theory. Moreover a general graph concept unifies graph representations and a formal framework for transformational design based on this general graphs and their rewriting unifies several transformational design approaches based on different graph representations" @default.
- W89404493 created "2016-06-24" @default.
- W89404493 creator A5002613859 @default.
- W89404493 date "1996-02-12" @default.
- W89404493 modified "2023-09-23" @default.
- W89404493 title "Transformational Design of Digital Systems based on Graph Rewriting" @default.
- W89404493 cites W1520573145 @default.
- W89404493 cites W1532313648 @default.
- W89404493 cites W1557619244 @default.
- W89404493 cites W1576087595 @default.
- W89404493 cites W1600820878 @default.
- W89404493 cites W1765185341 @default.
- W89404493 cites W1787297320 @default.
- W89404493 cites W1832476719 @default.
- W89404493 cites W1971694474 @default.
- W89404493 cites W2133386638 @default.
- W89404493 cites W2141646281 @default.
- W89404493 cites W2145318358 @default.
- W89404493 cites W2148663017 @default.
- W89404493 cites W2157525826 @default.
- W89404493 cites W2166475245 @default.
- W89404493 cites W2171318521 @default.
- W89404493 cites W2372457689 @default.
- W89404493 cites W2914693551 @default.
- W89404493 cites W74806512 @default.
- W89404493 hasPublicationYear "1996" @default.
- W89404493 type Work @default.
- W89404493 sameAs 89404493 @default.
- W89404493 citedByCount "0" @default.
- W89404493 crossrefType "journal-article" @default.
- W89404493 hasAuthorship W89404493A5002613859 @default.
- W89404493 hasConcept C132525143 @default.
- W89404493 hasConcept C154690210 @default.
- W89404493 hasConcept C17744445 @default.
- W89404493 hasConcept C199360897 @default.
- W89404493 hasConcept C38775462 @default.
- W89404493 hasConcept C39549134 @default.
- W89404493 hasConcept C41008148 @default.
- W89404493 hasConcept C55439883 @default.
- W89404493 hasConcept C558772884 @default.
- W89404493 hasConcept C77906462 @default.
- W89404493 hasConcept C80444323 @default.
- W89404493 hasConceptScore W89404493C132525143 @default.
- W89404493 hasConceptScore W89404493C154690210 @default.
- W89404493 hasConceptScore W89404493C17744445 @default.
- W89404493 hasConceptScore W89404493C199360897 @default.
- W89404493 hasConceptScore W89404493C38775462 @default.
- W89404493 hasConceptScore W89404493C39549134 @default.
- W89404493 hasConceptScore W89404493C41008148 @default.
- W89404493 hasConceptScore W89404493C55439883 @default.
- W89404493 hasConceptScore W89404493C558772884 @default.
- W89404493 hasConceptScore W89404493C77906462 @default.
- W89404493 hasConceptScore W89404493C80444323 @default.
- W89404493 hasLocation W894044931 @default.
- W89404493 hasOpenAccess W89404493 @default.
- W89404493 hasPrimaryLocation W894044931 @default.
- W89404493 hasRelatedWork W1482385629 @default.
- W89404493 hasRelatedWork W1483085445 @default.
- W89404493 hasRelatedWork W1485727503 @default.
- W89404493 hasRelatedWork W1489113884 @default.
- W89404493 hasRelatedWork W1496629129 @default.
- W89404493 hasRelatedWork W1512529497 @default.
- W89404493 hasRelatedWork W1534251038 @default.
- W89404493 hasRelatedWork W1541203659 @default.
- W89404493 hasRelatedWork W1550302283 @default.
- W89404493 hasRelatedWork W1580895306 @default.
- W89404493 hasRelatedWork W1582735816 @default.
- W89404493 hasRelatedWork W1594758680 @default.
- W89404493 hasRelatedWork W2096847856 @default.
- W89404493 hasRelatedWork W2132595103 @default.
- W89404493 hasRelatedWork W2146571888 @default.
- W89404493 hasRelatedWork W2758217965 @default.
- W89404493 hasRelatedWork W2778347405 @default.
- W89404493 hasRelatedWork W2969573567 @default.
- W89404493 hasRelatedWork W3149878869 @default.
- W89404493 hasRelatedWork W74806512 @default.
- W89404493 isParatext "false" @default.
- W89404493 isRetracted "false" @default.
- W89404493 magId "89404493" @default.
- W89404493 workType "article" @default.