We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …

It is suggested that category theory provides the right level of mathematical abstraction to
address languages for describing software architectures. Contrarily to most other …

A categorical semantics is proposed for the notion of architectural connector in the style
defined by Allen and Garlan which adopts notions of parameterisation similar to those …

A mathematical semantics is proposed for the notion of architectural connector, in the style
defined by Allen and Garlan, that builds on Goguen's categorical approach to General …

Managing complexity in software engineering involves modularisation, grouping design
objects into modules, subsystems, etc. This gives rise to new design objects with new 'use …

We propose an algebraic characterisation of the notion of coordination in the sense of
recently proposed languages and computational models that provide a clear separation …

Parameterisation is an important mechanism for structuring programs and specifications into
modular units. The interplay between parameterisation (of programs and of specifications) …

The necessity to deal simultaneously with different formalisms seems to be intrinsic to the
discipline of Software Engineering, pmticukwly in relation to modularity, reusability and …

Specware supports the systematic construction of formal specifications and their stepwise
refinement into programs. The fundamental operations in Specware are that of composing …

About twenty years ago together with a group of collaborators, some conjectures were
developed about the fundamental principles of a theory of specification. These principles …