Components as coalgebras: the refinement dimension

DOI10.1016/J.TCS.2005.09.072MaRDI QIDQ820141zbMATH OpenOpenAlexFDO

Authors Sun Meng, L. S. Barbosa

Publication date 6 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/33818

zbMATH Keywords

coalgebrarefinementsoftware components

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic Methodology and Software Technology
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1569136
• State-based components made generic
• Theoretical Aspects of Computing – ICTAC 2005

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1183283 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1569125 (Why is no real title available?)
• scientific article; zbMATH DE number 1886073 (Why is no real title available?)
• A coalgebraic semantic framework for component-based development in UML
• A coalgebraic semantics of subtyping
• Data Refinement
• Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
• Mathematics of Program Construction
• Proof of correctness of data representations
• Simulations in coalgebra
• State-based components made generic
• The B-Book
• The existence of refinement mappings
• Universal coalgebra: A theory of systems

Cited in

(13)

• Service refinement
• A coalgebraic perspective on logical interpretations
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
• A calculus for generic, QoS-aware component composition
• Pre-Galois connection on coalgebras for generic component refinement
• Theoretical Aspects of Computing – ICTAC 2005
• State-based components made generic
• A coalgebraic approach to non-determinism: applications to multilattices
• A formal abstract framework for modelling and testing complex software systems
• A single complete relational rule for coalgebraic refinement
• Transposing partial components--an exercise on coalgebraic refinement
• scientific article; zbMATH DE number 1569136 (Why is no real title available?)
• Formal Methods for Components and Objects

Describes a project that uses

Uses Software

• Z

This page was built for publication: Components as coalgebras: the refinement dimension

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