A
TLA for
Specification and
Description Language. It's been around since the
70's, but is now really starting to gain in usage.
It's a language used to describe the workings of a large system, mainly software. With the increased power of computers, can be used to make a graphical representation of a system, do MSCs, and in some cases, allow autocoding of part or all of a system.