Composants avec Propriétés Temporelles
| Autor: | Saudrais, Sébastien, Barais, Olivier, Plouzeau, Noël |
|---|---|
| Přispěvatelé: | Reliable and efficient component based software engineering (TRISKELL), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Vojtisek, Didier, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique |
| Jazyk: | angličtina |
| Rok vydání: | 2006 |
| Předmět: | |
| Zdroj: | Proceedings of the CAL 2006 Proceedings of the CAL 2006, 2006, Nantes, France, France |
| Popis: | International audience; Cet article propose une approche pour le développement d'applications mettant en avant le support de propriétés temporelles pour les composants logiciels. Notre processus s'adresse aux développeurs qui (1) construisent des applications à partir de composants avec des contraintes de temps et de performance et/ou (2) con{\c c}oivent des composants logiciels pour ce type d'applications. A partir des spécifications temporelles de l'application, le processus vérifie l'assemblage des composants et génère un connecteur en Giotto préservant les pro- priétés temporelles. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|