DocumentCode :
2587288
Title :
Fourth IEEE International Conference on Software Engineering and Formal Methods - Title
fYear :
2006
fDate :
11-15 Sept. 2006
Abstract :
The following topics were dealt with: software engineering; formal methods; verification; program analysis; program testing; aspects; Web services; requirements engineering
Keywords :
formal verification; object-oriented programming; program diagnostics; program testing; systems analysis; Web services; aspects; formal methods; program analysis; program testing; requirements engineering; software engineering; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on
Conference_Location :
Pune
Print_ISBN :
0-7695-2678-0
Type :
conf
DOI :
10.1109/SEFM.2006.22
Filename :
1698710
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2587288
بازگشت