méthode inductive d'assertion

méthode inductive d'assertion

Une preuve de technique de rectitude dans quelles affirmations sont rédigés en décrivant les intrants, extrants et conditions intermédiaires, un ensemble de théorèmes est mis au point concernant la satisfaction des affirmations d'entrée à la satisfaction des assertions de sortie et les théorèmes sont prouvés ou réfuté à l'aide de la preuve par induction.

Ce contenu a été généré automatiquement. Vous pouvez aider à l'améliorer.

0 0

Améliorer

Ajouter une image

Partie du discours : nom
Synonyme(s) :
Blossaire :
Secteur d’activité/Domaine : Informatique; Logiciels
Catégorie : Software engineering
Organization: IEEE Computer Society
Produit :
Acronyme-Abréviation :

Suite

Ajouter à Mon Glossaire

Autres langues :

Suite

Commentaires

Voir les termes similaires

Self-descriptiveness

Informatique; Logiciels; Software engineering

Ces attributs du logiciel qui fournissent une explication de la mise en œuvre d'une fonction.

niveau de la conception

Informatique; Logiciels; Software engineering

La décomposition de la conception de l'élément de logiciel (par exemple, système, sous-système, programme ou module).

proposition de modification technique (ECP)

Informatique; Logiciels; Software engineering

Une proposition de modification technique et de la documentation par laquelle le changement est décrit et suggéré.

atout

Informatique; Logiciels; Software engineering

Officieusement, quelque chose de valeur que l'entreprise possède ou envers d'autres — par exemple, trésorerie, comptes débiteurs ou matériel. Plus formellement, le terme souvent ...

retour sur l'investissement

Informatique; Logiciels; Software engineering

Comme un concept général, il se réfère à obtenir plus de valeur à une entreprise financière qu'il a été mis po Malheureusement, parfois il se réfère au taux de rendement interne, ...

validation

Informatique; Logiciels; Software engineering

Confirmation par examen et dispositions de preuve objective que les exigences particulières pour une utilisation spécifique sont remplies. Dans la conception et de développement, ...

Les termes dans Actualités

Billy Morgan

Sports; Surf des neiges

Le snowboarder britannique Billy Morgan est le premier de toute l'histoire de ce sport à avoir réalisé un quadruple cork 1800. Le représentant de la Grande-Bretagne aux Jeux olympiques d'hiver 2014 à Sotchi se trouvait à Livigno, en Italie, lorsqu'il a réussi cet exploit. Il s'agit d'un saut dans l'axe latéral ou vers le bas avec quatre flips et cinq retournements. ...

Marzieh Afkham

Radiodiffusion et réception; Nouvelles

Madame Marzieh Afkham, première porte-parole du ministère des Affaires étrangères du pays, dirigera une mission en Asie de l'est, a informé l'Agence de presse d'État. Sa nomination n'ayant pas encore été annoncée officiellement, sa destination reste inconnue. Madame Afkham ne sera que la deuxième ambassadrice que l'Iran ait jamais eue. En vertu ...

Paquet hebdomadaire

Langue; Services en ligne; Argot; Internet

Hebdomadaire de paquet ou de « Paquete Semanal » comme on l'appelle à Cuba est un terme utilisé par les Cubains pour décrire les informations collectées à partir de l'internet à l'extérieur de Cuba et sauvegardés sur des disques durs à transporter vers Cuba elle-même. Paquets hebdomadaires sont ensuite vendus à de cubain sans accès à internet, lui permettant ...

Asian Infrastructure Investment Bank (AIIB)

Banque; Services bancaires d'investissement

La Banque asiatique d'investissement Infrastructure (AIIB) est une institution financière internationale mis en place pour répondre aux besoins en Asie pour le développement de l'infrastructure. Selon la Banque asiatique de développement, l'Asie a besoin de $ 800 milliards chaque année pour les routes, de ports, de centrales électriques ou d'autres projets ...

Spartiate

Services en ligne; Internet

Spartan est le nom de code donné au nouveau navigateur de Microsoft Windows 10 qui va remplacer Microsoft Windows Internet Explorer. Le nouveau navigateur sera construit par rapport au sol et ne pas tenir compte de n'importe quel code de la plate-forme de l'IE. Il a un nouveau moteur de rendu qui est conçu pour être compatible avec la façon dont le ...