Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

Rigorous theory and real-world applications for modeling and analysis of the behavior of
complex communicating computer systems Complex communicating computer systems …

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) …

We present a computational framework for conceptual blending, a concept invention method
that is advocated in cognitive science as a fundamental and uniquely human engine for …

Design patterns are reusable abstractions in object-oriented software. However, using
current mainstream programming languages, these elements can only be expressed extra …

We develop a formal framework for comparing different versions of ontologies, and apply it
to ontologies formulated in terms of DL-Lite, a family of 'lightweight'description logics …

A multiscale approach including a finite element framework for polycrystal plasticity is used
to model jerky flow, also known as the Portevin–Le Chatelier effect. The local constitutive …

As computers are becoming more and more a part of our everyday life, the vision of Mark
Weiser about ubiquitous computing becomes true. One of the core tasks of such devices is …