Awareness and use of agile methods has grown rapidly among the information systems
development (ISD) community in recent years. Like most previous methods, the …

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since
developed into linguistic tools, especially useful in programming languages. The authors' …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

We provide an algebraic formalisation of connectors in BIP. These are used to structure
interactions in a component-based system. A connector relates a set of typed ports. Types …

Collecting information previously scattered throughout the vast literature, including the
author's own research, Stochastic Relations: Foundations for Markov Transition Systems …

This paper introduces a formal approach to constraint-aware model transformation which
supports specifying constraints in the definition of transformation rules. These constraints are …

There are several well established applications of category theory (CT) in theoretical
computer science; typical examples are programming language semantics and concurrency …

The conceptual separation between computation and coordination in distributed computing
systems motivates the use of peculiar entities commonly called connectors, whose task is …

Architectures depict design principles: paradigms that can be understood by all, allow
thinking on a higher plane and avoiding low-level mistakes. They provide means for …

In this paper, we introduce Category Theory as a formal foundation for model-based systems
engineering. A generalised view of the system based on category theory is presented …