• DocumentCode
    1426644
  • Title

    Defining a discipline of description

  • Author

    Jackson, Michael

  • Author_Institution
    AT&T Res., USA
  • Volume
    15
  • Issue
    5
  • fYear
    1998
  • Firstpage
    14
  • Lastpage
    17
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.714608
  • Filename
    714608
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1426644