1. Atelier et méthode B
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
Commentaires   Modifier lien

2. Concepts et langages orientés objets
Ressources du Centre universitaire d'informatique : téléchargement de logiciels, tutoriels et liens.
Commentaires   Modifier lien

3. 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).
Commentaires   Modifier lien

4. 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.
Commentaires   Modifier lien

5. 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.
Commentaires   Modifier lien

6. Model-checking
Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.
Commentaires   Modifier lien

7. OMT
Notes d'un cours proposant une méthode d'analyse et de conception orientée objet.
Commentaires   Modifier lien

8. Prados
Page personnelle, regroupe des informations sur la programmation objet.
Commentaires   Modifier lien

9. RAD
La méthode RAD (Développement Rapide d'Application).
Commentaires   Modifier lien

10. UML Pro
Actualités et articles sur UML.
Commentaires   Modifier lien

11. Votre mission
Les outils et conseils à mettre en place dans le cadre d'un projet informatique.
Commentaires   Modifier lien