Search Results for "report generators"

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

PHP and VB6 classes for generating dynamic PDF reports and forms from XPF files designed with Visual2PDF. PHP class uses TCPDF to generate PDF from Visual2PDF documents. VB6 class uses optimized mjwPDF class to generate PDF.

Jasper Open Servlet is a Java HTTP servlet that provides complex, drillable reports created with Jasper/iReports. It can be encapsulated into a portlal using an iframe portlet to add reporting capabilities to all your web applications - Files released.