Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. D.B.S.S.V.E.

D.B.S.S.V.E.

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes
Télécharger

DBSSVE est un environnement unique pour utiliser une spécification formelle intuitive légère dans les phases de spécification et de test du développement de logiciels. DBSSVE sera également extensible à d’autres notations et langues de spécifications basées sur la décision.

historique de la version

  • Version dbssve posté sur 2011-07-23
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-07-23

Détails du programme

Programmes connexes

  • JFserv Gratuit

    JFserv est un IRC-Bot (basé sur PircBot http://www.jibble.org/pircbot.php ) que vous pouvez utiliser, pour partager des fichiers sur IRC. Il est écrit en Java, il devrait donc fonctionner sur n’importe quelle plate-forme. JFs

  • php::xul::lib Gratuit

    php::xul::lib est un cadre pour faire des applications web avec la conception comme une application X, php::xul::lib fournit couche d’abstraction databse, xul gen, et d’autres ressources pour les développeurs, code source est

  • MDARAD Toolbox Gratuit

    Outils pour rad architected (développement rapide d’applications) basés sur une approche MDA. La boîte à outils contient des cadres et des générateurs pour de nombreux environnements (JAVA, J2EE, Hibernate, .NET, C++, etc.)

  • littlej Gratuit

    littlej (prononcé 'Little Jay') est un ensemble d’utilitaires Java multiplateformes et de ligne de commande pour le développeur Java qui programme avec un éditeur de texte clair au lieu d’un IDE. littlej fonctionne très bie

  • GPStoEXIF Gratuit

    GPStoEXIF rejoint les données GPS de GPX Files with Pictures par sa lampe de temps pour avoir des données de position dans les images exif meta informations. GPStoEXIF utilise la bibliothèque exiv2 pour écrire les données EXI

  • ASpider Gratuit

    Robuste fonctionnalité multi-threaded CLI araignée web en utilisant apache commons httpclient v3.0 écrit en java. ASpider télécharge tous les fichiers correspondant à vos types de mime donnés à partir d’un site Web. Essaie

  • Scene3DS Parser Gratuit

    Un paraser 3ds extrêmement simple à utiliser. Il suffit de construire l’objet Scene3DS, puis d’utiliser les fonctions de lecture publique pour lire les données (comme les objets en maille.etc.).C’est un parser - donc c’est

  • Weblogic to JBoss converter Gratuit

    weblo2jboss est un script de convertisseur Weblogic to JBoss pour les projets JBuilder 7 utilisant des haricots CMP et Session.

  • ArhebExtension Gratuit

    arheb est une extension firefox qui traduit des pages écrites en écriture arabe en écriture hébraïque. Tout le contenu textuel des pages est automatiquement traduit en écriture hébraïque (comme dans 'meduberet').

  • Textual Analyzer Gratuit

    P.A.N. (Poetry ANalyzer) utilise des règles grammaticales conventionnelles pour décomposer le texte non conventionnel. Ceci "Textual Analyzer" vous permet d’examiner un texte d’une manière non conventionnelle permet