Components as coalgebras: the refinement dimension

DOI10.1016/J.TCS.2005.09.072zbMATH Open1086.68031OpenAlexW1971702393MaRDI QIDQ820141FDOQ820141

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

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

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)

Cites Work

• Title not available (Why is that?)
• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Data Refinement
• The existence of refinement mappings
• Proof of correctness of data representations
• Simulations in coalgebra
• The B-Book
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coalgebraic semantic framework for component-based development in UML
• Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
• A coalgebraic semantics of subtyping
• State-based components made generic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematics of Program Construction

Cited In (9)

• A Single Complete Relational Rule for Coalgebraic Refinement
• Title not available (Why is that?)
• A formal abstract framework for modelling and testing complex software systems
• A coalgebraic perspective on logical interpretations
• A calculus for generic, QoS-aware component composition
• Transposing partial components--an exercise on coalgebraic refinement
• 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 coalgebraic approach to non-determinism: applications to multilattices
• Pre-Galois connection on coalgebras for generic component refinement

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)