Atelier et méthode B
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
www.atelierb.societe.com | Détails
Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.
www.atelierb.societe.com | Détails
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 | Détails
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 | Détails
Prados, Philippe
Page personnelle regroupant des informations sur la programmation objet.
www.philippe.prados.name | Détails
Page personnelle regroupant des informations sur la programmation objet.
www.philippe.prados.name | Détails
Model-checking
Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.
benoit.parreaux.free.fr | Détails
Liens vers des sites parlant de méthodes formelles et plus particulièrement de model-checking.
benoit.parreaux.free.fr | Détails
Dessines-moi un cas d'utilisation !
Espace d'échange et de partage autour d'UML.
goarnisson.free.fr | Détails
Espace d'échange et de partage autour d'UML.
goarnisson.free.fr | Détails
