This article presents a control flow analysis methodology based on UML 2.0 sequence
diagrams (SD). In contrast to the conventional code-based control flow analysis techniques …

This paper presents a model-driven, stress test methodology aimed at increasing chances of
discovering faults related to network traffic in distributed real-time systems (DRTS). The …

Abstract Models are used for a number of different purposes, from the requirements capture
and design of a new system, to the testing of an existing system. Many different modeling …

This thesis is concerned with operational analysis of UML 2. x sequence diagram
specifications. By operational analysis we mean analysis based on a characterization of the …

Apart from the growing complexity of computer-based systems, their user interfaces, mostly
realized graphically, are becoming more complex. Consequently, the analysis and testing of …

In addition to the growing complexity of computer-based systems, their user interfaces,
mostly realized graphically, are becoming more complex. Consequently, the analysis and …

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs.
Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche …

UML sequence diagrams is a specification language that has proved itself to be of great
value in system development. When put to applications such as simulation, testing and other …

Le langage de modélisation unifié UML est décrit comme un langage universel graphique
de modélisation objets qui est adopté par le standard object management group …

Over the past 30 years, researchers have developed a large variety of semantic models of
object-oriented computations. These include object calculi as well as denotational …