Union and actualization of module specifications: Some compatibility results

DOI10.1016/0022-0000(87)90037-7zbMath0623.68017OpenAlexW2041356625MaRDI QIDQ1091801

Francesco Parisi-Presicce

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90037-7

zbMATH Keywords

interfacesimplementationparameterizationinformation hidingabstract data typeparameter specificationalgebraic module specificationmodular development of large software systems

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

Algebraic specification of modules and their basic interconnections ⋮ Compatibility problems in the development of algebraic module specifications

Cites Work

• Compatibility of parameter passing and implementation of parameterized data types
• Algebraic specification of modules and their basic interconnections
• Specification of modular systems
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Union and actualization of module specifications: Some compatibility results