01854nam 2200457 450 991081649510332120220530031812.01-78406-036-4(CKB)2560000000328363(MiAaPQ)EBC6482552(Au-PeEL)EBL6482552(OCoLC)1239983622(PPN)194585379(EXLCZ)99256000000032836320220530d2014 uy 0freurcnu||||||||txtrdacontentcrdamediacrrdacarrierPrototypage rapide de logiciel pour les systèmes avioniques approches orientées model̀e pour la certification de systèmes complexes /Nicolas Larrieu et Antoine VaretLondon, England :ISTE Editions,[2014]©20141 online resource (116 pages)Collection informatique1-78405-036-9 Includes bibliographical references and index.Intro -- Table des matières -- Introduction -- 1. Evolution des méthodes de conception orientée modèle en génie logiciel -- 2. Méthodologie de prototypage rapide pour un logiciel avionique -- 3. Mise en œuvre de la méthodologie de prototypage pour le développement d'un routeur avionique de nouvelle génération -- Conclusion -- Bibliographie -- Index.Collection informatique (ISTE Editions)AvionicsDesign and constructionAvionicsDesign and construction.629.135Larrieu Nicolas1697036Varet AntoineMiAaPQMiAaPQMiAaPQBOOK9910816495103321Prototypage rapide de logiciel pour les systèmes avioniques4077433UNINA