Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Richa, Elie"'
Autor:
Richa, Elie
Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le code généré fait partie d’un logiciel critique, les standards de sûret
Externí odkaz:
http://www.theses.fr/2015ENST0082/document
Autor:
Richa, Elie M., Kunnavakkam, Rangesh, Godley, Lucy A., Kline, Justin, Odenike, Olatoyosi, Larson, Richard A., Nguyen, Vu, Stock, Wendy, Wickrema, Amittha, Besien, Koen Van, Artz, Andrew S.
Publikováno v:
In Cytotherapy July 2012 14(6):707-715
Autor:
Richa, Elie1 richa@adacore.com, Borde, Etienne2 etienne.borde@telecom-paristech.fr, Pautet, Laurent2 laurent.pautet@telecom-paristech.fr
Publikováno v:
Software & Systems Modeling. Feb2019, Vol. 18 Issue 1, p321-344. 24p.
Autor:
Papari, Mona, Tretiakova, Maria, Fedson, Savitri, Richa, Elie, Husain, Aliya, Baron, Joseph M., Baron, Beverly W.
Publikováno v:
In Transfusion and Apheresis Science 2011 44(3):243-248
Autor:
Richa, Elie, Papari, Mona, Allen, JoAnn, Martinez, Guadalupe, Wickrema, Amittha, Anastasi, John, Van Besien, Koen, Artz, Andrew
Publikováno v:
In Biology of Blood and Marrow Transplantation 2009 15(11):1394-1399
Autor:
Richa, Elie
Publikováno v:
Computational Engineering, Finance, and Science [cs.CE]. Télécom ParisTech, 2015. English. ⟨NNT : 2015ENST0082⟩
In the avionics industry, Automatic Code Generators (ACG) are increasingly used to produce parts of the embedded software. Since the generated code is part of critical software, safety standards require a thorough verification of the ACG called quali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71f5f3ec458b145d26e55d67692cfcc2
https://pastel.archives-ouvertes.fr/tel-01331877
https://pastel.archives-ouvertes.fr/tel-01331877
Publikováno v:
MODELS workshop on Analysis of Model Transformations
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2516c4d2e52ebbb493e19b44543ecc9b
https://hal-imt.archives-ouvertes.fr/hal-01115716
https://hal-imt.archives-ouvertes.fr/hal-01115716
Publikováno v:
AMT@MoDELS
AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
International audience; Complex model-based tools such as code generators are typi- cally designed as chains of model transformations taking as input a model of a software application and transforming it through several intermedi- ate steps and repre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::86f1785820ad551936a8e23ffbd1e9e3
https://hal.telecom-paris.fr/hal-02287272
https://hal.telecom-paris.fr/hal-02287272
Autor:
Bordin, Matteo, Comar, Cyrille, Falis, Ed, Gasperoni, Franco, Moy, Yannick, Richa, Elie, Hugues, Jérôme
It is widely acknowledged that the main source of cost for developing high-integrity software systems is their verification. A significant portion of this verification cost is spent assessing that software complies with its requirements. Over the yea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c5bb1ebe5b322e26fe8ee8a3ab31a9ea
https://hal.science/hal-02272265
https://hal.science/hal-02272265
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.