Search Results for "linux tutorial"

maXbox: Precompiled Object Based Scripting Tool maXbox is a free scripter tool with an inbuilt object pascal delphi engine in one exe! It is designed for teaching, develop, test and analyzing apps and algorithms and runs under Win, Mac and Linux (CLX) to set code in a box without installation and no administration. The tool for 32 and 64-bit is based on an educational program with examples and exercises (from biorhythm, REST services , form building to how math works). Pure Code for Object Scripting. Lib Units are precompiled and objects invokable! With a 120 part tutorial for coders.

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