Formal Methods for Components and Objects

DOI10.1007/11561163MaRDI QIDQ5897451zbMATH OpenOpenAlexFDO

Authors Zhiming Liu, He Jifeng, Xiaoshan Li

Publication date 1 November 2006

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

Full work available at URL https://doi.org/10.1007/11561163

zbMATH Keywords

RefinementConsistencySpecificationComponent-Based DevelopmentObject-Orientation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Refinement and verification in component-based model-driven design
• rCOS: a refinement calculus of object systems
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 2079816
• scientific article; zbMATH DE number 1487473

Cited in

(9)

• Service refinement
• Theoretical Aspects of Computing – ICTAC 2005
• Refinement-preserving plug-in components
• Refinement and verification in component-based model-driven design
• Theoretical Aspects of Computing – ICTAC 2005
• rCOS: a refinement calculus of object systems
• Linking formal methods in software development. A reflection on the development of rCOS
• Harnessing rCOS for Tool Support —The CoCoME Experience
• Jifeng He at Oxford and beyond: an appreciation

This page was built for publication: Formal Methods for Components and Objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897451)