Defining a discipline of description
Michael Jackson · IEEE Software · 1998
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.