Title :
[Title page i - Vol 1]
Abstract :
The following topics are dealt with: software testing; formal specification; program verification; software development; mobile computing; software architecture; software engineering.
Keywords :
formal specification; mobile computing; program testing; program verification; software architecture; formal specification; mobile computing; program verification; software architecture; software development; software engineering; software testing;
Conference_Titel :
Software Engineering Conference (APSEC), 2014 21st Asia-Pacific
Print_ISBN :
978-1-4799-7425-2
DOI :
10.1109/APSEC.2014.1
