Defining a discipline of description

In software engineering the description problem appears in heightened form. The computer and its software are formal, the hardware's physical nature does not taint the precision and predictability of its programmed behavior. The interpretation of a program is always unambiguous. What are the elements of this discipline and how can we shape them to bridge the gap between the formal and informal aspects of software engineering? The author presents his personal list of some important topics.