Discussion:Méthode formelle (informatique)
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Moyenne |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
fusion vérification formelle et methodes formelles[modifier le code]
Voir la discussion : Discuter:Vérification formelle. Epommate 13 jun 2005 à 20:44 (CEST)
Matériels[modifier le code]
Pourquoi avoir supprimer la référence à la conception de matériels (hardware) où les méthodes formelles jouent un rôle encore plus important que dans la conception de logiciels? --Pierre de Lyon (d) 28 mai 2013 à 10:44 (CEST)
Bonjour, les méthodes formelles jouent aussi un rôle dans la conception du matériel. Étant donné que la page wiki dont nous parlons traite du domaine "INFORMATIQUE" et des "SYSTEMES" au sens large, je vais remettre cette référence. Merci pour la remarque.