• DocumentCode
    3131437
  • Title

    Major threat: from formal methods without tools to tools without formal methods

  • Author

    Steffen, Bernhard

  • Author_Institution
    University of Dortmund
  • fYear
    2004
  • fDate
    16-16 April 2004
  • Firstpage
    15
  • Lastpage
    15
  • Abstract
    Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software engineering, and, in particular, for the future role of formal methods in this area.
  • Keywords
    Analytical models; Logic functions; Logic programming; Mathematical programming; Moore´s Law; Power engineering computing; Software engineering; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering Complex Computer Systems, 2004. Proceedings. Ninth IEEE International Conference on
  • Conference_Location
    Florence, Italy
  • ISSN
    1050-4729
  • Print_ISBN
    0-7695-2109-6
  • Type

    conf

  • DOI
    10.1109/ICECCS.2004.1310899
  • Filename
    1310899
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3131437