Title :
Major threat: from formal methods without tools to tools without formal methods
Author :
Steffen, Bernhard
Author_Institution :
University of Dortmund
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;
Conference_Titel :
Engineering Complex Computer Systems, 2004. Proceedings. Ninth IEEE International Conference on
Conference_Location :
Florence, Italy
Print_ISBN :
0-7695-2109-6
DOI :
10.1109/ICECCS.2004.1310899
