Search Results for "smart-exception-java-0.2.1.jar"

...Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size field with padding. Numeric input can be checked against expected values range to be either saturated or to raise an exception. For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings are supported, including wildcard pattern matching, sets and maps of code points, upper/lowercase, and other Unicode categorizations.

...SCOPE has the ability to simulate 64 traffic sensors and 8 pedestrian calls. It has several menu options to facilitate real time logging and debugging. SCOPE is easily ported to any platform and has wireless Android Tablet / Java PC interfaces.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi

WTelecom is a RealTime Software to manage a telecom network. This prototype can be implemented for a production use.