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 …

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 …

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 …

Develo** secure-critical systems is difficult and there are many well-known examples of
security weaknesses exploitedin practice. Thus a sound methodology supporting secure …

Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …

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

We describe the semantics of statecharts as implemented in the current version of the
Rhapsody tool. In its original 1996 version this was among the first executable semantics for …

This paper discusses shortfalls in relation to the requirements gathering phases of
simulation. While many developments have taken place around supporting the model …

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 …

The Unified Modeling Language (UML) has gained wide acceptance in very short time
because of its variety of well-known and intuitive graphical notations. However, this comes at …