Aller au contenu

« Méthode formelle (informatique) » : historique des versions

Voir les opérations sur cette page (voir le journal des filtrages)

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Légende : (actu) = différence avec la version actuelle - (diff) = différence avec la version précédente - m = modification mineure

actudiff 16:0614 avril 2024 à 16:06‎ Lupin~fr discuter contributions‎ 15 809 octets +304‎ →‎Bibliographie : ajout réf Gaudel Testing can be formal too annuler Balise : Éditeur visuel

actudiff 12:1610 août 2023 à 12:16‎ (:Julien:) discuter contributions‎ m 15 505 octets +2‎ →‎Bibliographie annuler

actudiff 12:5526 octobre 2021 à 12:55‎ Vega discuter contributions‎ m 15 503 octets +5‎ -anglicisme, typo annuler

actudiff 08:122 juillet 2021 à 08:12‎ WikiCleanerBot discuter contributions‎ m 15 498 octets −10‎ v2.04b - Bot T3 - Correction syntaxique (Lien interne avec cible identique au texte) annuler Balise : WPCleaner

actudiff 23:5130 juin 2021 à 23:51‎ Sællifðum discuter contributions‎ m 15 508 octets +25‎ Ajout de l'assistant de preuve Metamath annuler

actudiff 18:2127 février 2021 à 18:21‎ Croquemort Nestor discuter contributions‎ m 15 483 octets +2‎ Notes et références avant palette et portail annuler
actudiff 18:2127 février 2021 à 18:21‎ Croquemort Nestor discuter contributions‎ m 15 481 octets +46‎ Correction : section notes et références manquante annuler

actudiff 16:5026 février 2021 à 16:50‎ Niorito discuter contributions‎ 15 435 octets +315‎ L'outil SMV était lié à une information érronnée. annuler Balise : Éditeur visuel

actudiff 09:1013 octobre 2020 à 09:10‎ PolBr discuter contributions‎ 15 120 octets −15‎ résol homonymie annuler

actudiff 09:131 septembre 2020 à 09:13‎ Jrcourtois discuter contributions‎ 15 135 octets +3‎ lien orphelin annuler

actudiff 14:0310 mai 2019 à 14:03‎ Guiguidu60 discuter contributions‎ m 15 132 octets +60‎ Ajout de la palette "informatique théorique" et ré-organisation de l'annexe annuler Balise : Éditeur visuel

actudiff 13:536 février 2019 à 13:53‎ FreeSis discuter contributions‎ 15 072 octets +42‎ →‎Méthodes formelles ou semi-formelles : Redirection SDL annuler Balise : Éditeur visuel
actudiff 13:516 février 2019 à 13:51‎ FreeSis discuter contributions‎ 15 030 octets +47‎ Ajout redirection LOTOS annuler Balise : Éditeur visuel

actudiff 13:1326 décembre 2018 à 13:13‎ 81.240.144.108 discuter‎ 14 983 octets 0‎ →‎Voir aussi annuler
actudiff 13:1126 décembre 2018 à 13:11‎ 81.240.144.108 discuter‎ 14 983 octets −3‎ →‎Voir aussi annuler

actudiff 20:0121 octobre 2018 à 20:01‎ Pautard discuter contributions‎ m 14 986 octets +2‎ consacré annuler

actudiff 16:0429 juillet 2018 à 16:04‎ Jaipasdepseudo discuter contributions‎ m 14 984 octets +42‎ v1.43 - Homonymies : Correction de 1 lien - Démonstration annuler Balise : WPCleaner

actudiff 15:4515 mai 2018 à 15:45‎ 81.253.7.1 discuter‎ 14 942 octets −1‎ Faute d'orthographe : un "s" en trop à "électronique" annuler Balise : Éditeur visuel

actudiff 16:0923 juin 2017 à 16:09‎ Ploupi1952 discuter contributions‎ m 14 943 octets +64‎ →‎Méthodes formelles ou semi-formelles : assistants de preuve annuler

actudiff 21:0320 janvier 2017 à 21:03‎ WikiCleanerBot discuter contributions‎ m 14 879 octets +8‎ v1.41 - Lien magique ISBN obsolète - Catégorie:Pages utilisant des liens magiques ISBN annuler Balise : WPCleaner

actudiff 15:477 septembre 2016 à 15:47‎ Bromind discuter contributions‎ m 14 871 octets +27‎ →‎Preuves formelles : Clarification de l'indécidabilité de preuve automatique. L'ancienne notation, àmha, pouvait être comprise comme : pour toute propriété P, trouver une preuve de P est indécidable/prend un temps infini. annuler Balise : Éditeur visuel

actudiff 12:0321 septembre 2015 à 12:03‎ 2001:660:5003:411:c53:e427:6fd4:cd8f discuter‎ 14 844 octets +3‎ →‎Catégories : Oublie syntaxique annuler Balise : Éditeur visuel

actudiff 10:5218 mai 2015 à 10:52‎ 85.171.153.191 discuter‎ 14 841 octets −2‎ Typographie, cf. Wikipédia:Conventions typographiques annuler

actudiff 15:301 mai 2015 à 15:30‎ Fabrice Dury discuter contributions‎ 14 843 octets −32‎ →‎Méthodes formelles ou semi-formelles annuler

actudiff 18:5417 février 2015 à 18:54‎ Kwipédl Cyop discuter contributions‎ 14 875 octets +4‎ →‎Méthodes formelles ou semi-formelles : Lien vers une nouvelle page TLA+ annuler Balise : Éditeur visuel

actudiff 15:1214 janvier 2015 à 15:12‎ 217.128.242.74 discuter‎ 14 871 octets −72‎ Elle ne sont certainement pas plus coûteuses niveau matériel, et sont moins coûteuses que des méthodes avec test unitaires. Il serait faux décrire cela sans référence. annuler Balise : Éditeur visuel

actudiff 15:3326 septembre 2014 à 15:33‎ 194.206.152.33 discuter‎ 14 943 octets +5‎ →‎Exemple annuler

actudiff 17:5814 septembre 2014 à 17:58‎ Financial95 discuter contributions‎ m 14 938 octets +32‎ HotCatsMulti : + Catégorie:Logique formelle annuler

actudiff 10:359 septembre 2014 à 10:35‎ Psaxl discuter contributions‎ 14 906 octets +1 415‎ →‎Catégories : Rajout de la notion de "typage" dans les méthodes formelles possibles et autres corrections annuler Balises : Nowiki dans un article Éditeur visuel : basculé

actudiff 15:3113 novembre 2013 à 15:31‎ Epok discuter contributions‎ 13 491 octets +18‎ →‎Méthodes formelles ou semi-formelles : Disamb. annuler

actudiff 14:2228 juin 2013 à 14:22‎ ALADB WIKI discuter contributions‎ 13 473 octets +36‎ Aucun résumé des modifications annuler

actudiff 13:1426 mai 2013 à 13:14‎ ALADB WIKI discuter contributions‎ 13 437 octets −34‎ Reformulation et suppression de la référence à l'électronique. annuler
actudiff 13:0626 mai 2013 à 13:06‎ ALADB WIKI discuter contributions‎ 13 471 octets −20‎ Correction du lien externe http://vl.fmnet.info/ en http://fmnet.info/ + citation d'une échelle d'évaluation de la sûreté en complément de l'EAL. annuler

actudiff 20:3712 mars 2013 à 20:37‎ Addbot discuter contributions‎ m 13 491 octets −422‎ Retrait de 16 liens interlangues, désormais fournis par Wikidata sur la page d:q1049183 annuler

actudiff 17:245 février 2013 à 17:24‎ Pengfei.SUN.0325 discuter contributions‎ 13 913 octets +4‎ →‎Méthodes formelles ou semi-formelles annuler

actudiff 11:5320 novembre 2012 à 11:53‎ Cdang discuter contributions‎ m 13 909 octets +6‎ →‎Catégories : ponctuation annuler
actudiff 11:5220 novembre 2012 à 11:52‎ Cdang discuter contributions‎ m 13 903 octets +5‎ →‎Catégories : francisation annuler

actudiff 11:2719 octobre 2012 à 11:27‎ ZéroBot discuter contributions‎ m 13 898 octets +21‎ r2.7.1) (robot Ajoute : ko:정형 기법 annuler

actudiff 17:2915 juin 2012 à 17:29‎ Conaclos discuter contributions‎ m 13 877 octets +67‎ →‎Méthodes formelles ou semi-formelles annuler

actudiff 23:253 octobre 2011 à 23:25‎ MasterMatt discuter contributions‎ m 13 810 octets −5‎ →‎Exemple annuler
actudiff 23:223 octobre 2011 à 23:22‎ MasterMatt discuter contributions‎ m 13 815 octets +588‎ →‎Exemple annuler

actudiff 11:2920 août 2011 à 11:29‎ Anne Bauval discuter contributions‎ m 13 227 octets +23‎ →‎Catégories : désambig lemme annuler

actudiff 00:4613 août 2011 à 00:46‎ ZéroBot discuter contributions‎ m 13 204 octets +41‎ r2.7.1) (robot Ajoute: ru:Формальные методы annuler

actudiff 10:165 janvier 2011 à 10:16‎ PierreSelim discuter contributions‎ 13 163 octets −1‎ →‎Exemple : typo suppression d'une espace. annuler

actudiff 12:413 janvier 2011 à 12:41‎ PierreSelim discuter contributions‎ m 13 164 octets +24‎ Ajout rapide de {{portail}} : + informatique théorique ; avec BandeauxPortails annuler

actudiff 17:4321 décembre 2010 à 17:43‎ 138.231.176.8 discuter‎ 13 140 octets −16‎ →‎Différentes approches annuler

actudiff 12:5222 mai 2010 à 12:52‎ Loveless discuter contributions‎ m 13 156 octets +21‎ robot Ajoute: id:Metoda formal annuler

actudiff 17:2217 mai 2010 à 17:22‎ Manu1400 discuter contributions‎ 13 135 octets +109‎ - liens rouges annuler

actudiff 22:343 février 2010 à 22:34‎ Vincent Simar discuter contributions‎ m 13 026 octets +26‎ Portail annuler

actudiff 09:232 février 2010 à 09:23‎ Xqbot discuter contributions‎ m 13 000 octets −5‎ robot Modifie: es:Método formal; changement de type cosmétique annuler

Ce document provient de « https://fr.wikipedia.org/wiki/Méthode_formelle_(informatique) ».