DocumentCode
3532006
Title
[Title page i]
fYear
2008
fDate
10-14 Nov. 2008
Abstract
The following topics are dealt with: software engineering; formal method; abstract interpretation; model checking; embedded system verification; security; software testing; aspect-oriented development; requirement and program analysis; coordination languages; communication, mobile and interactive systems.
Keywords
embedded systems; interactive systems; mobile computing; object-oriented methods; program diagnostics; program testing; security of data; software engineering; abstract interpretation; aspect-oriented development; communication system; coordination language; embedded system verification; formal method; interactive system; mobile system; model checking; program analysis; requirement analysis; security; software engineering; software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Conference_Location
Cape Town
Print_ISBN
978-0-7695-3437-4
Type
conf
DOI
10.1109/SEFM.2008.1
Filename
4685781
Link To Document