DocumentCode
1914889
Title
Table of contents
fYear
2010
fDate
14-15 July 2010
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software (QSIC), 2010 10th International Conference on
Conference_Location
Zhangjiajie
ISSN
1550-6002
Print_ISBN
978-1-4244-8078-4
Electronic_ISBN
1550-6002
Type
conf
DOI
10.1109/QSIC.2010.7
Filename
5562936
Link To Document