Abstract :
The following topics are dealt with: software engineering; formal methods; real-time systems; distributed systems; testing/validation; model checking; behaviours and scenario specification; program analysis; and components/database.
Keywords :
database management systems; distributed processing; program diagnostics; real-time systems; software engineering; database; distributed systems; formal method; model checking; program analysis; real-time systems; scenario specification; software engineering; testing; validation;
Conference_Titel :
Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
Conference_Location :
Hanoi
Print_ISBN :
978-0-7695-3870-9
DOI :
10.1109/SEFM.2009.1
