Service refinement

DOI10.1007/S11432-008-0061-XzbMATH Open1154.68365OpenAlexW4245125524MaRDI QIDQ954408FDOQ954408

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

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

zbMATH Keywords

componentrefinementservice

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Unifying theories for logic programming
• Title not available (Why is that?)
• Process simulation and refinement

Cited In (3)

• Title not available (Why is that?)
• A trace-based view on operating guidelines
• Assume-guarantee reasoning for additive hybrid behaviour

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)