scientific article
From MaRDI portal
Publication:3738549
zbMath0602.68021MaRDI QIDQ3738549
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compositionsoftware engineeringuniondata typesCorrectnessR-modulesactualizationequational algebraic specifications
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (5)
Algebraic specification of modules and their basic interconnections ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Parametrization for order-sorted algebraic specification ⋮ Combining data type and recursive process specifications using projection algebras ⋮ Foundations of rule-based design of modular systems
This page was built for publication:
