Abstract :
The following topics are dealt with: formal specification; software service engineering; QoS; service oriented architecture; human-centered process; pervasive computing; quality assurance; design issue and formal verification.
Keywords :
Web services; formal specification; object-oriented programming; program verification; quality of service; software architecture; ubiquitous computing; QoS; design issue; formal specification; formal verification; human-centered process; pervasive computing; quality assurance; service oriented architecture; software service engineering;
Conference_Titel :
Principles of Engineering Service Oriented Systems, 2009. PESOS 2009. ICSE Workshop on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3716-0
DOI :
10.1109/PESOS.2009.5068798
