Title :
Table of contents
Abstract :
The paper is talking about: ubiquitous system; software architecture; conformance verification; UML; reachability analysis; formal specification language; Web services; software reusability; software reliability; debugging approach; OWL; and embedded systems.
Keywords :
Web services; computer debugging; conformance testing; embedded systems; formal specification; knowledge representation languages; reachability analysis; software architecture; software quality; software reliability; software reusability; specification languages; ubiquitous computing; OWL; UML; conformance verification; debugging approach; embedded system; formal specification language; reachability analysis; software architecture; software reliability; software reusability; ubiquitous system; web service;
Conference_Titel :
Quality Software (QSIC), 2010 10th International Conference on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-1-4244-8078-4
Electronic_ISBN :
1550-6002
DOI :
10.1109/QSIC.2010.7
