Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …

We examine sequential algorithms and formulate a sequential-time postulate, an abstract-
state postulate, and a bounded-exploration postulate. Analysis of the postulates leads us to …

A philosophical manual of media power for the network age. Evil Media develops a
philosophy of media power that extends the concept of media beyond its tried and trusted …

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering,
organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing …

Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …

More than five years ago, the OMG proposed the Model Driven Architecture (MDA™)
approach to deal with the separation of platform dependent and independent aspects in …

Web Services have added a new level of functionality on top of current Web, enabling the
use and combination of distributed functional components within and across company …

In this paper the abstract state machine (ASM) refinement method is presented. Its
characteristics compared to other refinement approaches in the literature are explained …

In this paper, we give a brief overview on Gröbner bases theory, addressed to novices
without prior knowledge in the field. After explaining the general strategy for solving …