Skip to Main content Skip to Navigation
Journal articles

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
Abstract : The paper sketches how architectural styles can be used as a way to make a high abstraction level model suitable to analysis.
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/inria-00587097
Contributor : Team Kairos <>
Submitted on : Tuesday, April 19, 2011 - 2:08:11 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Wednesday, July 20, 2011 - 2:46:41 AM

File

Vignette du document
IF_juin_2010_SAIA.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00587097, version 1

Collections

I3S | INRIA | UNICE | CNRS | INRIA-MECSCI | INSA-LYON | UNIV-COTEDAZUR | CITI | INSA-GROUPE | UDL

Citation

Julien Deantoni, Jean-Philippe Babau. SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles. En vue - Lettre d'information de l'INSA de Lyon, INSA de lyon, 2009. ⟨inria-00587097⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

396

Files downloads

302

 

Contact                    Legal Notice                    Personal Data