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

Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …

Modal logic has a good claim to being the logic of choice for describing the reactive
behaviour of systems modelled as coalgebras. Logics with modal operators obtained from …

For lack of general algorithmic methods that apply to wide classes of logics, establishing a
complexity bound for a given modal logic is often a laborious task. The present work is a …

In recent years, a tight connection has emerged between modal logic on the one hand and
coalgebras, understood as generic transition systems, on the other hand. Here, we prove …

The Distributed Ontology, Model and Specification Language – DOL | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …

Modal logic has a good claim to being the logic of choice for describing the reactive
behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so …

State-based systems and modal logics for reasoning about them often heterogeneously
combine a number of features such as non-determinism and probabilities. In this paper, we …

The purpose of this book is to outline some basic principles that enable developers of
computer programs (computer scientists, software engineers, programmers) to more clearly …

Casl is an expressive specification language that has been designed to supersede many
existing algebraic specification languages and provide a standard. Casl consists of several …