Accueil / Informatique / Programmation / Méthodes

Informatique / Programmation / Méthodes, Annuaire thématique Informatique / Programmation / Méthodes

Consultez l'annuaire thématique Informatique / Programmation / Méthodes. Sites à découvrir : UML Pro, RAD, Prados, OMT, Model-checking, Merise, La page UML, La méthode B, Atelier et méthode B
 



Publicité

Liens Informatique / Programmation / Méthodes :

UML Pro

Actualités et articles sur UML.

UML Pro

RAD

La méthode RAD (Développement Rapide d'Application).

RAD

Prados

Page personnelle, regroupe des informations sur la programmation objet.

Prados

OMT

Notes d'un cours proposant une méthode d'analyse et de conception orientée objet.

OMT

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

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

Atelier et méthode B

Présentation, à travers des exemples utilisant l'atelier B, de la méthode B.

Atelier et méthode B

Publicité


Annuaire thématique Informatique / Programmation / Méthodes. Référencez gratuitement votre site dans l'annuaire Actimonde.
 
Copyright © Actimania
Actualité Achats Arts Commerce Formation Informatique Jeux Loisirs Maison Références Sciences Santé Sports Régional Voyage Société Destinations Vacances
L'annuaire Actimania référence les meilleurs sites internet de la partie Française de DMOZ.