Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Mazza, Eduardo"'
Autor:
Mazza, Eduardo
Malgré les progrès importants effectués en matière de conception de logiciels et l'existence de méthodes de développement éprouvées, il faut reconnaître que les défaillances de systèmes causées par des logiciels restent fréquentes. Il ar
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00800516
http://tel.archives-ouvertes.fr/docs/00/80/05/16/PDF/thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/80/05/16/PDF/thesis.pdf
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.
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.
Autor:
Mazza, Eduardo, Pizzirusso, Martina, Mancusi, Michele, Ciuccio, Antonietta, Miceli, Marianna, D'Ambrosio, Floriana, Gambioli, Stefano, Tamburrano, Andrea, Damiani, Gianfranco, Laurenti, Patrizia, Galletti, Caterina
Publikováno v:
Infermiere Oggi; ott-dic2023, Vol. 33 Issue 4, p15-26, 12p
Autor:
Mazza, Eduardo Alvarez, Vega, Manuel1
Publikováno v:
Memoria de Trabajos de Difusion Cientifica y Técnica. sep2007, Issue 5, p32-56. 25p. 6 Diagrams, 10 Charts, 2 Graphs, 12 Maps.
Autor:
Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Potet, Marie-Laure, Frénot, Stéphane, Valérie Viet Triem Tong, Craipeau, Nicolas, Hardouin, Ronan
Publikováno v:
Communications of the ACM; Apr2011, Vol. 54 Issue 4, p99-106, 8p, 1 Diagram
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Autor:
Gössler, Gregor, Le Métayer, Daniel, Mazza, Eduardo, Potet, Marie-Laure, Astefanoaei, Lacramioara
Publikováno v:
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩
International audience; This paper describes the approach followed by the ANR LISE project to specify formally the liabilities of the parties in a software contract. Two options are presented: the first one relies on the definition of an a priori all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a9df42817d5797d638839653d16a97c2
https://inria.hal.science/hal-01078220
https://inria.hal.science/hal-01078220
Malgré les progrès importants effectués en matière de conception de logiciels et l'existence de méthodes de développement éprouvées, il faut reconnaître que les défaillances de systèmes causées par des logiciels restent fréquentes. Il ar
Externí odkaz:
http://www.theses.fr/2012GRENM022/document
Publikováno v:
Autre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM022⟩
Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very common and one must admit that even critical systems are not immune from that type of e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a089d76dfee8c27d793305ab6894ab2a
https://tel.archives-ouvertes.fr/tel-00767942/document
https://tel.archives-ouvertes.fr/tel-00767942/document