Foundations of rule-based design of modular systems
DOI10.1016/0304-3975(91)90042-ZzbMATH Open0753.68069OpenAlexW2011809587MaRDI QIDQ1176249FDOQ1176249
Authors: Francesco Parisi-Presicce 
Publication date: 25 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(91)90042-z
Recommendations
- scientific article; zbMATH DE number 46336
- scientific article; zbMATH DE number 1390331
- A general framework for modular implementations of modular system specifications
- scientific article; zbMATH DE number 3890708
- Compositional synthesis of modular systems
- Applications and Theory of Petri Nets 2004
- Modal specification theories for component-based design
- Logical foundations of rule-based systems
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic specification of modules and their basic interconnections
- Parallelism and concurrency of graph manipulations
- Deriving graphs from graphs by applying a production
- Transformations of structures: An algebraic approach
- Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
- Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. Under the auspices of the European Association for Theoretical Computer Science
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- On the complexity of specification morphisms
- Parallel high-level replacement systems
- An index system for modular fixture design: applied to case-based reasoning
- Design and implementation of derivation rules in information systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Canonical derivations for high-level replacement systems
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Foundations of rule-based design of modular systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176249)
