@conference {MBR11, title = {Shacc: A Functional Prototyper for a Component Calculus}, booktitle = {Proceedings of 4th International Conference on Algebra and Coalgebra in Computer Science - CALCO }, series = {Lecture Notes in Computer Science}, volume = {6859}, year = {2011}, month = {September}, pages = {413-419}, publisher = {Springer}, organization = {Springer}, address = {Winchester, UK}, 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.

}, attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/originalcalcotools2011.pdf}, author = {A. Martins and Luis Soares Barbosa and Nuno Rodrigues}, editor = {Andrea Corradini and Bartek Klin and Corina Cirstea} }