SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles

Julien Deantoni 1 Jean-Philippe Babau 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 EA 3720 - Centre d'Innovation en Télécommunications et Intégration de services
Résumé : Cet article de vulgarisation montre comment utiliser des styles architecturaux afin de permettre l'analyse de modèles à haut niveau d'abstraction.
Type de document :
Article dans une revue
journal du département informatique de l'INSA de Lyon, INSA de lyon, 2009
Liste complète des métadonnées
https://hal.inria.fr/inria-00587097
Contributeur : Team Aoste <>
Soumis le : mardi 19 avril 2011 - 14:08:11
Dernière modification le : mardi 17 novembre 2015 - 17:36:54
Document(s) archivé(s) le : mercredi 20 juillet 2011 - 02:46:41

Fichier

IF_juin_2010_SAIA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00587097, version 1

Collections

I3S | INRIA | UNICE | INRIA-MECSCI | INSA-LYON

Citation

Julien Deantoni, Jean-Philippe Babau. SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles. journal du département informatique de l'INSA de Lyon, INSA de lyon, 2009. <inria-00587097>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

129

Téléchargements du document

221

Contact


archive-ouverte@inria.fr