1. A computer-implemented method for constructing flight procedure criteria, comprising: generating, by a computing device, an adjustable prototype; generating, by the computing device, a dependency tree based on the adjustable prototype, wherein the dependency tree is comprised of a plurality of dependency tree nodes; identifying, by the computing device, one or more predefined elements based on a received flight configuration procedure; modifying, by the computing device, the one or more predefined elements based on a received input; maintaining, by the computing device, a plurality of functional elements represented by dependency relationships between the plurality of dependency tree nodes such that an output of a parent node is provided as an input to a descendant node of the parent node, wherein each functional element has a functional definition stored in a computational library and the functional element defines one or more criteria elements dependent on the modified one or more predefined elements associated with the dependency relationships between the parent node and the descendant node, wherein maintaining the plurality of dependency relationships comprises iteratively testing, validating and updating the plurality of dependency relationships between the plurality of dependency tree nodes when there is a change to a single portion of the generated adjustable prototype; translating, by the computing device, the dependency tree into one or more construction steps, wherein there is a mapping between the one or more dependency tree nodes and the one or more construction steps; and generating, by the computing device, one or more flight procedure criteria specifications based on the one or more construction steps, wherein generating an adjustable prototype further comprises: generating, by the computing device, a visual representation for the adjustable prototype; and updating, by the computing device, the visual representation of the adjustable prototype dynamically based on a change to the adjustable prototype.