infonet-economy

We introduce a model for information systems specification which covers the spaces of data, semantic contexts, events, objects life-cycle, integrity constraints, and operating periods. For each one of these space we define a structure and its interpretation that allow to specify this particular aspect of the system. In this approach data and event structures are independent. It is…

Dans cet article, on tente de cerner les impacts que l'utilisation des instruments de la démocratie directe en Suisse - initiative populaire et référendum - peuvent avoir sur les soi-disant nouveaux mouvements sociaux. Après avoir constaté la faible utilisation de ces opportunités par les mouvements, l'auteur la met en relation avec les coûts élevés que le choix de…

In this paper we address the effective use of the object-oriented programming approach for concurrent programming from a language design viewpoint. We present a set of requirements for the design of concurrent object-oriented languages. We then use a particular language, Hybrid, as a concrete example and examine to what extent its features meet these requirements. We identify the…