Derivation and presentation of an abstract program space for Ada

A visualisation concept called “layering” promises to deal with large software systems, but has to date been exclusively oriented towards the level of concrete code rather than more design level information. The first step in further progress is to derive with some degree of formalism a space of abstract program constructs that can be viewed by layers. Next, iconography for the elements of the space is derived with a similar formal spirit. Finally, the implementation not only allows simultaneous, linked views of concrete and abstract layers, but can also be extended to accommodate any number of subsequent higher level design views that may be envisaged