Search Results for "digital library source code"

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...

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

A C++ library for creating textual Domain Specific Languages (DSLs).

A QT based code gen. app for visual php development. Based on a XML XSLT PHP framework that makes it possible to select visual elementsin a WebKit rendered HTML editor and generate PHP that gets the XML and add the XSLT into the current HTML.