DocumentCode :
2338887
Title :
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) [front matter]
fYear :
2001
fDate :
26-29 Nov. 2001
Abstract :
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
Keywords :
software engineering; automated software engineering; formal specification; high-assurance systems; model checking; model engineering; program testing; program validation; program verification; reverse engineering;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
Conference_Location :
San Diego, CA, USA
ISSN :
1938-4300
Print_ISBN :
0-7695-1426-X
Type :
conf
DOI :
10.1109/ASE.2001.989784
Filename :
989784
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2338887
بازگشت