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

• Abstraction and refinements of features
• Components as coalgebras: the refinement dimension
• Theoretical Aspects of Computing – ICTAC 2005
• Formal Methods for Components and Objects
• On refinement of generic state-based software components

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?)
• Process simulation and refinement
• The semantics of the OCL action clause
• Unifying theories for logic programming

Cited in

(4)

• A trace-based view on operating guidelines
• Refinement of pipe-and-filter architectures
• Abstraction and refinements of features
• 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)