But formalisé

De Willforge
Aller à : navigation, rechercher
Cette page est une simple ébauche et doit être remaniée.
Qui que vous soyez n'hésitez pas à modifier ce texte en cliquant sur l'onglet modifier
Si vous avez des remarques rédigez-les en cliquant sur l'onglet discussion et en respectant les règles de rédaction

but de cette page[modifier]

  1. définir les mots But formalisé
  2. la définition doit être compréhensible par tous
  3. la définition ne doit comporter aucun terme ambigu

définition[modifier]

Le but formalisé d'un projet a les propriétés suivantes :

  • c'est un ensemble de propositions logiques (axiomes) énonçant les propriétés formelles que le projet doit satisfaire.
  • ces propositions ne doivent comporter aucune ambiguïté d'interprétation.
  • ces propositions ne doivent pas être contradictoires
  • ces propositions doivent former un ensemble complet : chaque élément du texte qui définit comment réaliser le projet doit pouvoir être confronté à au moins une des propositions {(Wfr|axiome}}s du but.
  • si un élément du texte du projet concerne une propriété du projet non définie dans le but, il faut rajouter un axiome pour que cette propriété soit prise en compte par le but.

axiome[modifier]

Un axiome est une des propositions logiques qui constituent le but formalisé.

exemples[modifier]

Un projet d’École E pourrait avoir pour axiomes :

  1. l'école E est gratuite.
  2. l'école E accueille des enfants indépendamment de leur religion.
  3. l'école E dispense un enseignement idéologiquement neutre.

il manque un axiome[modifier]

le texte contient par exemple le paragraphe : Chaque maître doit interroger chaque élève au moins une fois par jour

  1. il manque un axiome sur le nombre d'élève par classe

( trouver un meilleur exemple ! J.H.)

contre-exemples[modifier]

( trouver un contre-exemple ! J.H.)

Rédaction du but formalisé d'un projet[modifier]

  1. chacun commence à écrire les propriétés formelles du projet telles qu'il les désire.
  2. chacun veille à ce que la rédaction des propriétés formelles soient sans aucune ambiguïté, pour cela on utilise la page de discussion associée. Chaque mot doit être défini si son sens n'est pas évident, pour cela on le transforme en lien avec [[...]].
  3. quand les propriétés formelles sont clarifiées on les regroupe par ensembles cohérents (sans contradictions) : chaque ensemble cohérent défini un sous-projet issu de P.

bibliographie[modifier]

Pages liées[modifier]

références[modifier]