Jizzle Idioma de especificación de sintaxis de Java con semántica derivada de la notación de Z
Descargar ahora

Jizzle Clasificación y resumen

Jizzle Etiquetas

idioma especificación sintaxis

Jizzle Descripción

Jsizzle (las especificaciones de Java en la extensión de lenguaje Z) es una derivación del idioma Java que permite la especificación del comportamiento del software a un nivel abstracto. El objetivo de Jsizzle es crear una incursión simple y alcanzable de los métodos formales en nuevas áreas de la ingeniería de software convencional al apoyarse en gran medida en la familiaridad de la sintaxis y las herramientas. Jsizzle es una utilidad multiplataforma capaz de funcionar en cualquier sistema operativo que viene con el soporte de Java (por ejemplo, Mac OS X, Windows, Linux).

Jizzle Software relacionado