scientific article; zbMATH DE number 604886

MaRDI QIDQ4299864zbMATHFDO

Authors Hartmut Ehrig, Fernando Orejas

Publication date 18 April 1995

zbMATH Keywords

dynamic abstract data typessemantics of dynamic operations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1860661
• From static to dynamic abstract data-types: An institution transformation
• scientific article; zbMATH DE number 743582
• Specification of abstract dynamic-data types: A temporal logic approach
• Transition specifications for dynamic abstract data types

Cited in

(14)

• Relations as abstract datatypes: An institution to specify relations between algebras
• scientific article; zbMATH DE number 1696885 (Why is no real title available?)
• Modification of the IOTA method for non-hierarchical types
• Towards a double pushout transformation of algebras
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
• scientific article; zbMATH DE number 1860661 (Why is no real title available?)
• D-oids: a model for dynamic data-types
• scientific article; zbMATH DE number 743582 (Why is no real title available?)
• Swinging types=functions+relations+transition systems
• The uniqueness condition for the double pushout transformation of algebras
• scientific article; zbMATH DE number 1189277 (Why is no real title available?)
• A conceptual and formal framework for the integration of data type and process modeling techniques
• Specification of abstract dynamic-data types: A temporal logic approach
• From static to dynamic abstract data-types: An institution transformation

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 Q4299864)