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