The logical definition of TRAK consists of 3 documents, each of which is an open source project on Sourceforge:

TRAK is a logical definition - it specifies what needs to be shown and minimum acceptable content but does not mandate how you achieve it.

As tools represent an implementation of the logical definition of TRAK they may contain limitations or errors owing to the notation language (architecture description language) used and tool-specific capabilities.

The victim's pre-existing physical susceptibilities are, by logical definition, never an intervening cause.

This is the logical definition for waves generated in a wave flume in the laboratory, or waves moving perpendicular towards a beach.

The AMS helps to establish common and logical definitions of "finished square footage" and "gross living area."

People looking to buy three tons of excess are by definition not practical or even logical.

By exploiting the expressive power of Web Services Description Language, MTOSI interfaces are composed of logical and physical definitions.

Russell took it upon himself to find logical definitions for each of these.

Common knowledge can be given a logical definition in multi-modal logic systems in which the modal operators are interpreted epistemically.