Data Type Definition System
Readable Lisp/S-expressions with infix, functions, and indentation
Generator for converter code in Java
HATE's an ASN.1 Text Editor.
Electronic design and programming tools suite like Eagle, MpLab
yEdGen can open a flow chart and generate ANSI C code from it.
Synthesizing embedded control software from formal specifications
A multi-purpose extensible self-adaptive evolutionary algorithm
Generating PLC programs from formal specifications
Cress is a comprehensive toolset for graphical service/workflow design