scientific article; zbMATH DE number 8763

zbMATH Open0744.68098MaRDI QIDQ3971251

Hartmut Ehrig, Helmut Adametz

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

extension problemcompatibilityparameter passingparametrized specificationstransformations of specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A semi-algorithm for algebraic implementation proofs 👍 👎
• A first step towards implementing dynamic algebraic dependences 👍 👎
• Compatibility problems in the development of algebraic module specifications 👍 👎
• A new complementation algorithm 👍 👎
• Solvability of equivalence problems in a system of algorithmic algebras 👍 👎
• Hybrid implementations of algebraic specifications 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971251)