Component Publications and Compositions

DOI10.1007/978-3-642-14521-6_14zbMath1286.68098OpenAlexW1503281761MaRDI QIDQ3585034

Eun-Young Kang, Zhi-Ming Liu, Naijun Zhan

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_14

zbMATH Keywords

compositioncomponentscontractscomponent publications

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Rigorous development of component-based systems using component metadata and patterns ⋮ Unifying Theories of Programming in Isabelle ⋮ Unifying theories of reactive design contracts ⋮ Automated verification of reactive and concurrent programs by calculation

Uses Software

• rCOS

This page was built for publication: Component Publications and Compositions