A Model of Component-Based Programming

DOI10.1007/978-3-540-75698-9_13zbMath1141.68363OpenAlexW4233525825MaRDI QIDQ3508526

Xin Chen, Naijun Zhan, Jifeng He, Zhi-Ming Liu

Publication date: 1 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_13

zbMATH Keywords

RefinementProtocolsComponentsContractsCompositionApplication ProgramsGlue Codes

Mathematics Subject Classification ID

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

Related Items (5)

Rigorous development of component-based systems using component metadata and patterns ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ Conformance notions for the coordination of interaction components ⋮ Robustness testing for software components ⋮ Modeling and Specification of Real-Time Interfaces with UTP

This page was built for publication: A Model of Component-Based Programming