Service refinement

DOI10.1007/S11432-008-0061-XMaRDI QIDQ954408zbMATH OpenOpenAlexFDO

Authors Jifeng He

Publication date 10 November 2008

Published in Science in China. Series F (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-008-0061-x

zbMATH Keywords

componentrefinementservice

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2100579
• Components as coalgebras: the refinement dimension
• Theoretical Aspects of Computing – ICTAC 2005
• Formal Methods for Components and Objects
• Algebraic Methodology and Software Technology

Cites work

• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 2085188 (Why is no real title available?)
• Process simulation and refinement
• Unifying theories for logic programming

Cited in

(4)

• A trace-based view on operating guidelines
• scientific article; zbMATH DE number 1487472 (Why is no real title available?)
• scientific article; zbMATH DE number 2100579 (Why is no real title available?)
• Assume-guarantee reasoning for additive hybrid behaviour

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Service refinement

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