Methodes

Atelier et méthode B - www.atelierb.societe.com
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.

Concepts et langages orientés objets - cui.unige.ch/~blond/Objets/
Ressources du Centre universitaire d'informatique : téléchargement de logiciels, tutoriels et liens.

La méthode B - membres.lycos.fr/falampin/
Un rapport de DEA sur la méthode B effectué à l'ENSMA : premiere approche de la méthode B, des exemples complets (machines abstraites, raffinements, implémentation, traduction en ADA et documentation).

La page UML - uml.free.fr
La page française de la modélisation objet et d'UML. Présentation d'UML, cours UML, analyse objet, liens web.

Merise - perso.wanadoo.fr/matthieu.vidal/default.htm
Présentée souvent comme une méthode d'analyse informatique, Merise est surtout une démarche pour l'établissement de systèmes d'information.

Model-checking - benoit.parreaux.free.fr
Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.

OMT - groucho.univ-lemans.fr/~alissali/Enseignement/Polys/GL/node78.html
Notes d'un cours proposant une méthode d'analyse et de conception orientée objet.

Prados - perso.club-internet.fr/philippe.prados/
Page personnelle, regroupe des informations sur la programmation objet.

RAD - www.rad.fr
La méthode RAD (Développement Rapide d'Application).

UML Pro - umlpro.online.fr
Actualités et articles sur UML.

Votre mission - www.votremission.com
Les outils et conseils à mettre en place dans le cadre d'un projet informatique.

Index - Informatique - Programmation - Methodes

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor