Search Results for "esc"

The system is divided into two parts: the client and the server. Clients at different geographic locations in the network connect to a single server by specifying its IPv4 address. The user gets into the system using his/her username and password. Each user has to make an account for himself in the beginning. His account information will be stored on the server machine in persistent form. Server sessions will have no effect on its accounts. The server can be running anywhere on the...

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

GaugeBook displays Gauges of your FSX (with SP2 or Acceleration) and gives you control over a lot of Settings. Change Frequencies, QNH, etc with a few mouse clicks. It's still beta but the new G1000 is a blast. Runs smooth on any notebook.

Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.

phpPOS is a Poin-Of-Sale coded in PHP+AJAX. It supports ESC/POS printers, barcode scanner and customer display.

This project brings color to the java console. To accomplish this task we use JNI for the Windows runtime environments and ESC sequences for the *nix worlds.

ESC - I'm the Key (Developing General Purpose Libraries and Frameworks)