On Refinement of Generic Software Components

Citation:
Meng S, Barbosa LS.  2004.  On Refinement of Generic Software Components. Proceedings of 10th International Conference on Algebraic Methodology and Software Technology - AMAST. 3116:506–520.

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:

July

Abstract:

This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs.

Citation Key:

MB04

DOI:

10.1007/978-3-540-27815-3_38

PreviewAttachmentSize
refiamast.pdf265.74 KB