scientific article; zbMATH DE number 1487737

MaRDI QIDQ4494249zbMATH OpenFDO

Authors M. Große-Rhode

Publication date 10 August 2000

zbMATH Keywords

algebra transformation systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional comparison of formal software specifications using transformation systems.
• Algebra transformation systems as a unifying framework
• scientific article; zbMATH DE number 2079668
• scientific article; zbMATH DE number 743582
• Transition specifications for dynamic abstract data types

Cited in

(5)

• Compositional comparison of formal software specifications using transformation systems.
• Formal concepts for an integrated internal model of the UML
• Algebra transformation systems as a unifying framework
• A graph-based approach to the compositional specification of distributed systems
• Towards a double pushout transformation of algebras

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