In the early phases of software development it seems profitable to freely mix semi-formal and
formal design techniques. Formal techniques have their strength in their ability to rigorously …

A brief overview is made of the use of temporal logic formalisms for specifying and verifying
concurrent systems in general and information systems in particular. The requirements …

L'emploi des spécifications formelles est d'une grande importance, tout particulièrement
pour le développement de systèmes dits sécuritaires ou critiques. Les spécifications mixtes …

In the context of this dissertation, information systems are viewed as software systems
offering a number of information services based on a typically large data repository. More …

Nautilus is a concurrent anticipatory programming language based on the object‐oriented
language GNOME which is a simplified and revised version of OBLOG. A semantics for …

Traditional information system specifications are fixed: the rules of the system are frozen at
specification time. In practice, most systems have to change their rules in unexpected ways …

Nautilus is a high-level specification and programming language having abstraction
mechanisms not commonly found in other programming languages inspired by its semantic …

A brief overview is made of the use of temporal logic formalisms for specifying and verifying
concurrent systems in general and information systems in particular. The requirements …

Herein, we give algebraic foundations for compositional model checking of Moore
machines. We de ne composition of Moore machines and maximal closing environments as …

We herein deal with mixed speci cation formalisms, ie formalisms dealing both with the static
(data types) and the dynamic (behaviour) parts of the systems such as LOTOS 23], SDL 15] …