We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support “speculative design”, a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of...

It is not an exaggeration to say that we are currently living in the “Age of the Internet”. In the past few years, the Internet has witnessed a phenomenal growth and affected the average man’s life in no ways that were predictable or even dreamed of when the initial designers of the Internet started working on ARPANET (the early conception of the current Internet) in the 60’s. The growth in the...

Many characteristics of a product are evaluated during the development phase, such as function, aesthetics and manufacturing. The conception phase is supported by drawings and computer graphics, followed by physical prototypes that help evaluating the product features. The augmented reality technology has a great potential to assist the designers in this phase, reducing the development process ...

Le design apparaît aujourd’hui comme un champ de pratique dont l’intégration peut contribuer à la compétitivité d’entreprises placées au cœur d’injonctions l’innovation. L’intégration ces pratiques, des méthodes qui les caractérisent et l’imaginaire qu’elles véhiculent sein organisations, représente une évolution majeure dans laquelle agences d’innovation jouent rôle central. Cette contribution...

Since conception is the primary part in the realization of a computer system and in order to help designers describe their software, several languages and tools such the UML modelling language have been proposed in the literature. UML knew an important success for the conception of object oriented systems. In this paper, we propose a new approach of conception and implementation of object orien...