|
|
|
|
Home / World / Français / Informatique / Programmation / Méthodes
|
|
|
|
Web Sites
|
- 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).
www.multimania.com/falampin
- 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.
uml.free.fr
- 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.
perso.wanadoo.fr/matthieu.vidal/default.htm
- Model-checking - Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.
benoit.parreaux.free.fr
- OMT - OMT est une méthode d'analyse et de conception orientée objet.
groucho.univ-lemans.fr/~alissali/Enseignement/Polys/GL/node78.html#SECTION001400000000000000000
- Prados - Page personnelle, regroupe des informations sur la programmation objet.
perso.club-internet.fr/pprados
- RAD - La méthode RAD (Développement Rapide d'Application).
www.rad.fr
|
|
|
|
|