Atelier et méthode B

Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
http://www.atelierb.societe.com/

Annuaire Thématique Informatique / Programmation / Méthodes, sites à découvrir

La méthode B

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

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

Merise

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

Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.

OMT

Notes d'un cours proposant une méthode d'analyse et de conception orientée objet.

RAD

La méthode RAD (Développement Rapide d'Application).