The following pages link to (Q3995131):
Displaying 44 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- On the weaving process of aspect-oriented product family algebra (Q898609) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Modularising the specification of a small database system in extended ML (Q1184686) (← links)
- Denotational semantics of an object-oriented programming language with explicit wrappers (Q1261310) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- The verification of modules (Q1329200) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- On the complexity of specification morphisms (Q1389688) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Kernels, in a nutshell (Q2374308) (← links)
- Abstractions of data types (Q2491212) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- Action Algebras and Model Algebras in Denotational Semantics (Q3184749) (← links)
- Program specification and data refinement in type theory (Q4282807) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- A formal definition of hierarchical predicate transition nets (Q4633163) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Structured Modeling with GRACE (Q4923544) (← links)
- An Abstract Module Concept for Graph Transformation Systems (Q4923549) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Algebraic specification and development in geometric modeling (Q5044726) (← links)
- First order data types and first order logic (Q5096240) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- A model inference system for generic specification with application to code sharing (Q5096762) (← links)
- Graph Rewriting Components (Q6487304) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
