scientific article
From MaRDI portal
Publication:3995131
zbMath0759.68013MaRDI QIDQ3995131
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (42)
A language for configuring multi-level specifications ⋮ The verification of modules ⋮ Building a Modal Interface Theory for Concurrency and Data ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Algebraic specification and development in geometric modeling ⋮ Petri net modules in the transformation-based component framework ⋮ Structured theories and institutions ⋮ Kernels, in a nutshell ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Action Algebras and Model Algebras in Denotational Semantics ⋮ Program specification and data refinement in type theory ⋮ Structural and behavioural compatibility of graphical service specifications ⋮ Amalgamation of domain specific languages with behaviour ⋮ First order data types and first order logic ⋮ A decade of TAPSOFT ⋮ A model inference system for generic specification with application to code sharing ⋮ On the complexity of specification morphisms ⋮ Parallel high-level replacement systems ⋮ Institutions for SQL database schemas and datasets ⋮ On the weaving process of aspect-oriented product family algebra ⋮ Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ A formal definition of hierarchical predicate transition nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modularising the specification of a small database system in extended ML ⋮ On the correctness of modular systems ⋮ Unnamed Item ⋮ Parallel and distributed derivations in the single-pushout approach ⋮ Categorical principles, techniques and results for high-level-replacement systems in computer science ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Structured Modeling with GRACE ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ Abstractions of data types ⋮ Semantics of multiway dataflow constraint systems ⋮ Denotational semantics of an object-oriented programming language with explicit wrappers ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Unions of non-disjoint theories and combinations of satisfiability procedures ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi ⋮ Formal software specification with refinements and modules of typed graph transformation systems ⋮ Constructing specification morphisms ⋮ OBSCURE, a specification language for abstract data types
This page was built for publication:
