Publication

Rapid Prototyping of Formally Modelled Distributed Systems

Didier Buchs
1999
Conference Papers

Résumé

This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.

Source officielle

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Didier Buchs
1999
Conference Papers

Résumé

Source officielle

Concepts associés (17)

Prototypage logiciel

Le prototypage logiciel (ou « software prototyping » en anglais) désigne l'ensemble des activités de création de prototypes pour les logiciels, c'est-à-dire des versions incomplètes du programme en cours de développement. Cette activité est donc assez proche de la création et la validation de prototypes, telle qu'on la pratique dans l'industrie. Ainsi, un prototype permet d'explorer de façon interactive des scénarios d'utilisation du produit pour en valider les orientations.

Prototype

vignette|Photographie d'un prototype BMW : la BMW Nazca C2 Dans le domaine de l'industrie et plus généralement de la recherche et développement (R&D), un prototype est selon la définition de l'OCDE , mais il s'agit aussi parfois d'un exemplaire incomplet (et non définitif) de ce que pourra être un produit (éventuellement de type logiciel, ou de type « service »Djellal, F., Gallouj, C., Gallouj, F., Francoz, D., & Jacquin, Y. (2001).

Prototypage rapide

Le prototypage rapide est une méthode de fabrication commandée par ordinateur, généralement par superposition, qui regroupe un ensemble d’outils, lesquels, agencés entre eux, permettent d’aboutir à des projets de représentation intermédiaire de la conception de produits : les modèles numériques (au sens géométrie du modèle), les maquettes, les prototypes et les préséries. Le prototypage rapide peut se définir comme . Le prototypage rapide peut désigner la fabrication additive (couramment appelée « impression 3D »), des méthodes soustractives (par exemple fraisage ou tournage) ou de thermoformage.

Afficher plus