scientific article; zbMATH DE number 1569136

MaRDI QIDQ4762665zbMATH OpenFDO

Authors L. S. Barbosa

Publication date 22 February 2001

zbMATH Keywords

software components

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Components as coalgebras: the refinement dimension
• Formal Methods for Components and Objects
• State-based components made generic
• Transposing partial components--an exercise on coalgebraic refinement
• Algebraic Methodology and Software Technology

Cited in

(10)

• Probabilistic mediator: a coalgebraic perspective
• State-based components made generic
• Coalgebraic components in a many-sorted microcosm
• A single complete relational rule for coalgebraic refinement
• Traces for coalgebraic components
• Process Calculi à la Bird-Meertens
• Formal Methods for Components and Objects
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement

This page was built for publication:

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