Lattice GazetteVol. I · Prior art

Various

Other graphical / visual programming

Diagrams, dataflow, and visual specs outside the two vendor stacks

Before and beside LabVIEW and Simulink, a wide field treated diagrams as programs: real-time multirate code generators, workstations for graphic representations of programs, library-driven block-diagram simulators, immersive visual programming, and evented dataflow.

The 2018-era grants (converting visual diagrams into code; graphical programming with simulation; formal specs from examples; safety-critical model-based development) show the idea never left. If a product draws a graph and emits an executable, these are the non-NI, non-MathWorks neighbors.

US10331415B2 (formal specification generation using examples) is a useful hinge: it sits in “visual programming” but points at the formal-spec family — examples in, spec out, then code.

Members (15)