Title :
Defining a discipline of description
Author :
Jackson, Michael
Author_Institution :
AT&T Res., USA
Abstract :
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
Keywords :
formal specification; formal aspects; formal specification; informal aspects; program interpretation; software description; software engineering; Aerospace electronics; Control systems; Glass; Lighting control; Physics computing; Reliability engineering; Roads; Software engineering; Systems engineering and theory; Wheels;
Journal_Title :
Software, IEEE
