SHACC: a functional prototyper for a component calculus

Authors:
André Martins;Luís S. Barbosa;Nuno F. Rodrigues
Affiliations:
DI, CCTC, University of Minho, Braga, Portugal;DI, CCTC, University of Minho, Braga, Portugal;DIGARC, IPCA, Barcelos, Portugal
Venue:
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Year:
2011

Citing 2
Cited 0

Components as coalgebras: the refinement dimension

Theoretical Computer Science - Algebraic methodology and software technology
Transposing partial components: an exercise on coalgebraic refinement

Theoretical Computer Science - Components and objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing.