splash screen icon Lenndi
splash screen name leendi
N

Nancy Leveson

Auteurplume

En savoir plus sur l'auteur

...plus

Compte non officiel

    N

    Nancy Leveson

    @nancyLeveson

    Les composants très fiables ne sont pas nécessairement sûrs. .

    en cours de vérification

    N

    Nancy Leveson

    @nancyLeveson

    Les accidents liés au logiciel sont généralement causés par des exigences erronées.

    en cours de vérification

    N

    Nancy Leveson

    @nancyLeveson

    Les ingénieurs de fiabilité supposent souvent que la fiabilité et la sécurité sont synonymes, mais cette hypothèse n'est vraie que dans des cas spéciaux.

    en cours de vérification

    N

    Nancy Leveson

    @nancyLeveson

    La sécurité est une propriété émergente de systèmes, pas une propriété composante.

    en cours de vérification

    N

    Nancy Leveson

    @nancyLeveson

    Ce que [le logiciel] ne doit pas faire n'est pas l'inverse de ce qu'il doit faire. .

    en cours de vérification

    N

    Nancy Leveson

    @nancyLeveson

    Exhaustivité des exigences: les exigences sont suffisantes pour distinguer le comportement souhaité du logiciel de celui de tout autre programme indésirable qui pourrait être conçu. .

    en cours de vérification

  • 1