Moteur de recherche et annuaire du web français
|
Liens sponsorisés
|
Liens Informatique / Programmation / Méthodes :
|
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.
La page UML
|
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 méthode B
|
RAD
La méthode RAD (Développement Rapide d'Application).
RAD
|
Model-checking
Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.
Model-checking
|
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.
Merise
|
Atelier et méthode B
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
Atelier et méthode B
|
UML Pro
Actualités et articles sur UML.
UML Pro
|
Prados
Page personnelle, regroupe des informations sur la programmation objet.
Prados
|
Liens sponsorisés
|