Abstract :
The following topics are dealt with: software engineering; real-time and embedded systems; semantics; model checking; specification and security; software testing; software models; verification and concurrency.
Keywords :
concurrency control; program testing; programming language semantics; real-time systems; security of data; software engineering; concurrency; embedded system; model checking; real-time system; semantics; software engineering; software model; software security; software specification; software testing; software verification;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.1
