Tools for formally specifying software for real-time systems have strongly improved their
capabilities in recent years. At present, tools have the potential for improving software quality …

The aim of this paper is to define and study pointed and multi-pointed partition posets of type
A and B (in the classification of Coxeter groups). We compute their characteristic …

Two approaches, resource-oriented and constraint-oriented, for structuring telephone
systems specifications, are presented. Both approaches express behaviour by collections of …

Interaction diagrams are graphic representations of concurrent processes with evolving
access capabilities; in particular they illustrate the points of access and relations between …

A multiway synchronization protocol makes it possible for several processes to synchronize
in an environment where communication is asynchronous. We present the design of such a …

Two types of visualization and animation tools for LOTOS execution traces are presented: a
translator from LOTOS traces to message sequence charts and a graphic animator. These …

A Mobile IP allows IP hosts to move between different networks without changing their IP
addresses. Mobile IP systems supporting local registration were introduced to reduce the …

Au fur et à mesure que la complexité s' accroit, il devient nécessaire de définir de nouvelles
méthodes permettant de la gérer. Une des façons de maîtriser cette complexité est d'élever …

A graphical notation for representing Timed CSP (TCSP) specifications is presented. The
notation, which integrates features from a number of existing specification languages …

The report considers the concept of attributed automaton (AA) and its general properties
from the viewpoint of software engineering. The main attention is paid to the possibilities of …