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;
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
DOI :
10.1109/SEFM.2008.1
