Výsledky vyhledávání - "Fernandes Pires, Anthony"

Akademický článek

Goal modelling in aeronautics: Practical applications for aircraft and manufacturing designs

Autor: Chan, Anouck, Fernandes Pires, Anthony, Polacsek, Thomas, Roussel, Stéphanie, Bouissière, François, Cuiller, Claude, Dereux, Pierre-Eric

Publikováno v: In Data & Knowledge Engineering January 2025 155

Zobrazit plný text záznamu

Dissertation/ Thesis

Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'Ingénierie Dirigée par les Modèles

Autor: Fernandes Pires, Anthony

Lors d’un développement logiciel, et plus particulièrement d’un développement d’applications embarquées avioniques, les activités de vérification représentent un coût élevé. Une des pistes prometteuses pour la réduction de ces coûts

Externí odkaz: http://www.theses.fr/2014ESAE0023/document

Zobrazit plný text záznamu

Improvement of software verification processes by combining formal methods with Model Driven Engineering

Autor: Fernandes Pires, Anthony

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=artemis___fr::442b01b55c6d579db75f31ae22657e0d
http://depozit.isae.fr/theses/2014/2014_Fernandes_Pires_Anthony.pdf

Zobrazit plný text záznamu

Use of formal methods in embedded software development: stakes, constraints and proposal

Autor: Fernandes Pires, Anthony, Polacsek, Thomas, Wiels, Virginie, Duprat, Stéphane

Publikováno v: EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014)
EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014), Feb 2014, TOULOUSE, France
ERTS 2014 proceedings
Embedded real-time software and systems (ERTS² 2014)
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France

International audience; In aeronautics, software development is submitted to strong constraints. The DO-178 certification standard specifies development and verification objectives. Moreover, its supplement DO-333 defines guidelines for the use of fo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::213a7913c76663ac925bafb626f8e652
https://hal.archives-ouvertes.fr/hal-01102152/file/DTIM15002.1420710841.pdf

Zobrazit plný text záznamu

USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACK

Autor: Fernandes Pires, Anthony, Duprat, Stéphane, Faure, Tristan, Besseyre, Cédrik, Beringuier, Jack, Rolland, Jean-François

Publikováno v: ERTS 2012 proceedings
Embedded Real Time Software and Systems (ERTS2012)
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France

International audience; In a context where critical embedded systems are more and more difficult to design while ensuring high safety requirements and a non-ambiguous specification, Model Driven Engineering offers opportunities to address such challe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73f93e288f4d0c3ab8373cd3226e4b48
https://hal.archives-ouvertes.fr/hal-02263442

Zobrazit plný text záznamu

Kniha

Formal Software Verification at Model and at Source Code Levels.

Autor: Fernandes Pires, Anthony, Polacsek, Thomas, Duprat, Stéphane

Publikováno v: Model & Data Engineering; 2012, p162-169, 8p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání