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, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 CITI - CITI Centre of Innovation in Telecommunications and Integration of 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 Kairos <>
Soumis le : mardi 19 avril 2011 - 14:08:11
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
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 | UNIV-COTEDAZUR | INRIA-ROCQ | CITI

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

274

Téléchargements de fichiers

261

Contact


archive-ouverte@inria.fr