Title :
Future of Software Engineering - Title page
Abstract :
The following topics are dealt with: software engineering; software testing; formal software analysis; software model checking; software reliability; software design and architecture; programming environment and requirements engineering.
Keywords :
object-oriented programming; reverse engineering; software engineering; formal software analysis; programming environment; requirements engineering; software architecture; software design; software engineering; software model checking; software reliability; software testing;
Conference_Titel :
Future of Software Engineering, 2007. FOSE '07
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7695-2829-5
DOI :
10.1109/FOSE.2007.9