Traction DBC
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://traction.cvs.sourceforge.net/traction
acerca de Traction DBC
Un marco de diseño por contrato (DBC) para Java 1.5 que utiliza anotaciones para declarar condiciones previas, condiciones posteriores, etc. A diferencia de otros marcos de diseño por contrato, no requiere precompilación, lo que hace que el código sea portátil en sistemas de compilación, IDE y plataformas
Programas relacionados
-
OnGui Gratis
OnGui es una API GUI multiplataforma de código abierto. Los objetivos son ser fáciles de aprender y usar, pequeños y delgados, y usar C++ de una manera elegante. Otro objetivo es ser lo suficientemente compatible con GTK que
-
HyperMammut Gratis
Este programa transforma el sonido o la imagen utilizando una sola ventana FFT grande y permite hacer muchos efectos interesantes y extraños a sonidos e imágenes. Se incluye otro programa que hace extremadamente tiempo-estira
-
matplotlib Gratis
Matplotlib es una biblioteca python para hacer que las gráficas de calidad de publicación utilicen una sintaxis familiar para los usuarios de MATLAB. Matplotlib utiliza numpy para numéricos. Los formatos de salida incluyen PD
-
EasyStudio Gratis
EasyStudio es una galería de fotos en línea de código abierto. Esta galería puede administrar fotos en categorías o por etiquetas, tener funcionalidad para recortar / redimensionar / rotar / marco de cubierta y otra manipulac
-
wpclipart Gratis
Visor/editor de imágenes para una rápida inserción de documentos, junto con la colección completa wpclipart de imágenes (30k imágenes de dominio público a partir de la versión 7.2) Los paquetes están disponibles para Linux y
-
U3D: The real 3d Shmup! Gratis
U3D, una breve introducción:- Un innovador juego Shoot'em-up en 3D.- Control intuitivo cerca de los clásicos arcade.- Sumérgete y participa en (REALLY) grandes combates espaciales.
-
Xconq Gratis
Xconq es un motor para juegos de estrategia por turnos. Variedad de géneros de juegos bajo Xconq: histórico, ciencia ficción, fantasía y moderno. Ais. Juegos de red. Múltiples interfaces de usuario y plataformas. Lenguaje de
-
DSVideoLib Gratis
Un contenedor DirectShow que admite el acceso simultáneo a framebuffers desde varios subprocesos. Es útil para desarrollar aplicaciones que requieren entrada de vídeo en directo desde una variedad de dispositivos de captura (
-
Code Edit Pro Gratis
Editor básico que se basa en la edición de ASM & C para el HCS12 / HCS12X de Freescale. Soporte agregado recientemente para PIC e Intel 8051. También puede editar HTML/XML/SQL/C/x86. Resaltado de sintaxis completo para to
-
NAVIO Gratis
NAVIO es un programa que permite al usuario realizar una navegación virtual de modelos tridimensionales. Incluye cuatro modos de navegación interactiva: FLY, DRIVE, TRACKBALL & PATH. Además, incluye un front-end gráfico m