Abstract The Inter-Component Communication (ICC) model in Android enables the sharing
of data and services among app components. However, it has been associated with several …

This paper describes a formal semantics for the Event-B specification language using the
theory of institutions. We define an institution for Event-B, EVT, and prove that it meets the …

We propose a framework, syntactic theory functors (STFs), for creating syntactic structuring
mechanisms for specification languages. Good support for common reuse patterns is …

Abstract Model transformation has become an established field, and it is important to
improve the quality of specifications written in transformation languages. Different …

Software artifacts are ubiquitous in our lives being an essential part of home appliances,
cars, cel phones, and even in more critical activities like aeronautics and health sciences. In …

Abstract Theory operators are meta-level operators in logic that map theories to theories.
Often these are functorial in that they can be extended to theory morphisms and possibly …

In this paper we present a mathematical framework tailored for reasoning about
specification/program refinements. The proposed framework uses formal concepts coming …

The theory of institutions, introduced by Goguen and Burstall in 1984, can be thought of as
an abstract formulation of model theory. This theory has been shown to be particularly useful …