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

Server-side programming is one of the key technologies that support today's WWW
environment. It makes it possible to generate Web pages dynamically according to a user's …

Inspired by the continuation-passing encoding of binary sessions, we describe a simple
approach to embed a hybrid form of session type checking into any programming language …

One of the main advantages of the UML is its possibility to model different views on a system
using a range of diagram types. The various diagrams can be used to specify different …

Over time, basic research tends to lead to specialization–increasingly narrow t-ics are
addressed by increasingly focussed communities, publishing in increasingly con ned …

Scripting languages enjoy great popularity due to their support for rapid and exploratory
development. They typically have lightweight syntax, weak data privacy, dynamic typing …

Reversible debuggers have existed since the early 1970s. A novel approach, URDB, is
introduced based on checkpoint/re-execute. It adds reversibility to a debugger, while still …

We present an extension to Standard ML, called SMLSC, to support separate compilation.
The system gives meaning to individual program fragments, called units. Units may depend …

Many object recognition systems use a small number of pairings of data and model features
to compute the 3D transformation from a model coordinate frame into the sensor coordinate …

In this article, we report about the application of the Cadp verification toolbox to check the
correctness of an industrial protocol for deploying and configuring transparently a large set …