scientific article; zbMATH DE number 1121419

MaRDI QIDQ4378146zbMATH OpenFDO

Authors Hartmut Ehrig, Fernando Orejas, Hans-Jörg Kreowski

Publication date 11 June 1998

Full work available at URL https://eudml.org/doc/44275

zbMATH Keywords

parameterized specifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Horizontal Composability Revisited
• Publication:4721633
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• Vertical implementation
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(3)

• scientific article; zbMATH DE number 3990846 (Why is no real title available?)
• scientific article; zbMATH DE number 17803 (Why is no real title available?)
• Horizontal Composability Revisited

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