Méthodes Formelles

Sites de l'annuaire : Méthodes Formelles

• Quadriciel - Partner Development Center (PDC) - Microsoft Dynamics Nav Ax CRM - France
  Quadriciel propose un pack complet (outils et services) spécialement développé pour les partenaires Microsoft Dynamics et basé sur une méthodologie déjà déployée, en collaboration avec Microsoft, dans de nombreux pays. Un pack complet pour le pilotage de votre activité Dynamics : Méthodologies et outils dans les domaines Marketing, Ventes, Management de projets et Management général.
  www.quadriciel.com
• Méthode B : langage B et outils associés
  Présentation de la méthode B, méthode de spécification formelle qui permet, grâce à un langage adéquat, d'exprimer très rigoureusement les propriétés exigées dans un cahier des charges. Le site présente la méthode B, ses outils associés, ainsi que les différents travaux menés dans ce domaine.
  www.methode-b.com

Référencement Méthodes Formelles

Référencer un site dans cette rubrique est gratuit, respectez simplement ces consignes :

• d'abord vérifiez que le site à référencer respecte les règles de l'annuaire
• si votre site est associé à un lieu géographique, inscrivez-le dans la sous-catégorie de : pays, régions, départements ou villes adaptée à la thématique de votre site
• sinon, vous pouvez référencer un site dans l'annuaire (Méthodes Formelles)

Inscrire un site dans l'annuaire Méthodes Formelles
Recherche - Nouveaux sites - FAQ - Contact