search

fuhrmanator / log210-ndc-quarto

Source du manuel Analyse et conception de logiciels (Quarto Markdown)
https://fuhrmanator.github.io/log210-ndc-quarto/
8 stars 3 forks source link

Ajout de consignes pour la rédaction des postconditions #133

Closed probitaille closed 5 months ago

probitaille commented 5 months ago

J'ai jugé pertinent d'ajouter des consignes pour la rédaction des postconditions afin d'éviter des erreurs fréquentes que j'ai pu observer. En espérant que le tout soit conforme.