60 citations · 77 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016
Type Annotation for Adaptive Systems
Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this appro…
cs.SE2010★ 2 cited
An Algebraic Formalization of the GoF Design Patterns
Paolo Bottoni, Esther Guerra, Juan de Lara
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based o…