 |
- Atelier et méthode B
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
- Concepts et langages orientés objets
Ressources du Centre universitaire d'informatique : téléchargement de logiciels, tutoriels et liens.
- 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.
- Prados
Page personnelle, regroupe des informations sur la programmation objet.
- RAD
La méthode RAD (Développement Rapide d'Application).
- UML Pro
Actualités et articles sur UML.
- Votre mission
Les outils et conseils à mettre en place dans le cadre d'un projet informatique.
|
|
