Atelier et méthode B
Langue :
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
http://www.atelierb.societe.com/
|
 |
La méthode B
Langue :
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).
http://membres.lycos.fr/falampin/
|
 |
La page UML
Langue :
La page française de la modélisation objet et d'UML. Présentation d'UML, cours UML, analyse objet, liens web.
http://uml.free.fr
|
 |
Merise
Langue :
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.
http://perso.wanadoo.fr/matthieu.vidal/default.htm
|
 |
Model-checking
Langue :
Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.
http://benoit.parreaux.free.fr
|
 |
OMT
Langue :
Notes d'un cours proposant une méthode d'analyse et de conception orientée objet.
http://groucho.univ-lemans.fr/~alissali/Enseignement/Polys/GL/node78.html
|
 |
Prados
Langue :
Page personnelle, regroupe des informations sur la programmation objet.
http://perso.club-internet.fr/philippe.prados/
|
 |
RAD
Langue :
La méthode RAD (Développement Rapide d'Application).
http://www.rad.fr/
|
 |
UML Pro
Langue :
Actualités et articles sur UML.
http://umlpro.online.fr/
|
 |
