Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. D.B.S.S.V.E.

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

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos
Descargar

DBSSVE es un entorno único para utilizar una especificación formal ligera intuitiva en las fases de especificación y prueba del desarrollo de software. También DBSSVE será extensible a otras notaciones de especificación basadas en decisiones e idiomas.

historial de versiones

  • Versión dbssve publicado en 2011-07-23
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-07-23

Detalles del programa

Programas relacionados

  • JFserv Gratis

    JFserv es un IRC-Bot (basado en PircBot http://www.jibble.org/pircbot.php ) que puede utilizar, para compartir archivos en IRC. Se escribe en Java, por lo que debe ejecutarse en cualquier plataforma. JFserv está utilizando la

  • php::xul::lib Gratis

    php::xul::lib es un framework para hacer aplicaciones basadas en web con diseño como una aplicación X, php::xul::lib proporciona capa de abstracción de databse, xul gen, y otros recursos para desarrolladores, el código fuente

  • MDARAD Toolbox Gratis

    Herramientas para EL RAD arquitecta (desarrollo rápido de aplicaciones) basado en un enfoque MDA. La caja de herramientas contiene marcos y generadores para muchos entornos (JAVA, J2EE, Hibernate, .NET, C++, etc.) que permit

  • littlej Gratis

    littlej (pronunciado 'Little Jay') es un conjunto de utilidades Java multiplataforma y de línea de comandos para el desarrollador de Java que programa con un editor de texto sin formato en lugar de un IDE. littlej funciona

  • GPStoEXIF Gratis

    GPStoEXIF une datos GPS de GPX Files with Pictures por su marca de tiempo para tener datos de posición en las imágenes exif meta información. GPStoEXIF utiliza la biblioteca exiv2 para escribir los datos EXIF y expatriados pa

  • ASpider Gratis

    Robusta araña web CLI multiproceso con características utilizando apache commons httpclient v3.0 escrito en java. ASpider descarga los archivos que coincidan con sus tipos de mimo dados desde un sitio web. Intenta reg.exp.

  • Scene3DS Parser Gratis

    Un analizador 3ds extremadamente simple de usar. Simplemente construya el objeto Scene3DS y, a continuación, utilice las funciones de lectura públicas para leer los datos (como objetos de malla .etc).Es un analizador - por

  • Weblogic to JBoss converter Gratis

    weblo2jboss es un script convertidor de Weblogic a JBoss para proyectos JBuilder 7 que utilizan beans CMP y Session.

  • ArhebExtension Gratis

    arheb es una extensión de Firefox que traduce páginas escritas en escritura árabe a escritura hebrea. Todo el contenido de texto de las páginas se traduce automáticamente al script hebreo (como en 'meduberet').

  • Textual Analyzer Gratis

    P.A.N. (Poetry ANalyzer) utiliza reglas gramaticales convencionales para desglosar texto no convencional. Este "Textual Analyzer" le permite examinar un texto de una manera no convencional permitiendo una perspectiv