Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …

A method for scheduling of flexible manufacturing systems by merging Petri net modeling
and heuristic search is presented. The method uses the Petri net model to generate and …

UML and OCL are largely adopted as a standard to describe the static and the dynamic
aspects of systems and to specify their properties. Model driven engineering (MDE) …

This paper gives an overview of LOTOS-based semantics for compositional UML
statecharts. The purpose of this work is to develop a description of a UML statechart model …

As testing of software systems becomes more and more important and expensive, there is a
trend to automate as much as possible of this task. This article is intended as an attempt to …

A well-founded testing theory encourages the practical application of test case generation
techniques. This aims at overcoming the ever increasing complexity of software-enabled …

In the automotive domain, control functions (eg, ACC or brake booster) are mainly validated
through road tests by means of performing specific driving maneuvers. In many cases …

The use of UML Statechart and Communication diagrams for modeling dynamic behaviors
of systems is very widespread. UML diagrams support developers by means of visual …

The use of UML Statecharts for modeling dynamic behaviors of systems is very widespread.
UML Statechart diagrams support developers by means of graphical notation, but the lack of …

The increasing complexity and widespread use of complex and critical systems require
advanced techniques and tools to address their specification, verification and validation. The …