GAMS (General Algebraic Modeling System)
GAMS, short for General Algebraic Modeling System, was created in 1976 by Richard E. Rosenthal and colleagues. GAMS is a high-level modeling system designed for building and solving large-scale mathematical optimization problems, including linear, nonlinear, and mixed-integer programming. It is used in operations research, economics, energy planning, supply chain optimization, and engineering systems.
SCADE
SCADE, short for Safety Critical Application Development Environment, was created by Esterel Technologies (now part of ANSYS) in the early 1990s. SCADE is a model-based development environment used for designing, implementing, and verifying safety-critical embedded systems in avionics, automotive, and railway domains.
Lustre
Lustre, short for Lustre Synchronous Dataflow Programming Language, was created by Jean-Pierre Talpin and Claude Caspi in the 1980s. Lustre is a declarative synchronous dataflow language used for programming reactive and real-time embedded systems, particularly in safety-critical domains such as avionics, automotive, and industrial control systems.