On the complexity of specification morphisms

DOI10.1016/S0304-3975(97)00106-0zbMath0893.68100OpenAlexW2021660020MaRDI QIDQ1389688

Serafino Cicerone, Francesco Parisi-Presicce

Publication date: 30 June 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00106-0

zbMATH Keywords

specification morphism

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Theory blending: extended algorithmic aspects and examples

Cites Work

• Foundations of rule-based design of modular systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the complexity of specification morphisms